Home | Teaching | Research | Publications  
Research Papers  


 

Year 2004

  • .NET as a Platform for Embedded Systems
    E. Pastor, J. López and M.A. Peña,
    IV Jornadas de Computación Reconfigurable y Aplicaciones,  
    Barcelona, Spain, September 2004.

Year 2003

  • TRANSYT: A tool for the verification of asynchornous consurrent systems
    E. Pastor, M.A. Peña and M. Solé,
    Correct Hardware Design and Verification Methods, 

    Lecture Notes in Computer Science, vol. 3576, pages. 424-428, Springer Verlag, 
    L'Aquila, Italy, October 2003.
     
  • Efficient Hybrid Reachability Analysis for Asynchronous concurrent systems
    E. Pastor and M.A. Peña,
    Lecture Notes in Computer Science, vol. 2860, pages. 378-393, Springer Verlag, 
     
  • Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
    E. Pastor and M.A. Peña,
    Design, Automation and Test in Europe (DATE), pages 1158-1159, 
    Munich, Germany, March 2003.
     
  • Relative Timing Based Verification of Concurrent Systems
    M.A. Peña,
    EDAA PhD. Forum, Design, Automation and Test in Europe (DATE), 
    Munich, Germany, March 2003.
    Click here for the abstract.

Year 2002

  • Formal Verification of a Complex Timed Circuit: IPCMOS
    M.A. Peña, J. Cortadella, E. Pastor and A. Smirnov,
    Asynchronous Circuit Design (ACiD)-WG/EXACT Workshop
    Munich, Germany, January 2002.
    Click here for the abstract.
    Slides used in the conference.

Year 2000

  • Formal Verification of Safety Properties in Timed Transition Systems
    M. A. Peña, J. Cortadella, A. Kondratyev and E. Pastor
    Asynchronous Circuit Design (ACiD)-WG/EXACT Workshop,
    Grenoble, France, January 2000.
    Click here for the abstract.

Year 1999

Year 1997

Year 1996

  • Synthesis of Speed-Independent Circuits from STG-Unfolding Segment
    A. Semenov, A. Yakovlev, E. Pastor, M. A. Peña and J. Cortadella,
    Asynchronous Circuit Design (ACiD)-WG/EXACT Workshop,
    Groningen, The Netherlands, September 1996.

Year 1995

 

Home | Teaching | Research | Publications Inicio

Last update: 02.27.2008
Copyright © 2000-2008 Departament d'Arquitectura de Computadors