| 2005 |
|---|
| 9 | EE | Enric Pastor,
Marco A. Peña,
Marc Solé:
TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.
CAV 2005: 424-428 |
| 2003 |
|---|
| 8 | EE | Enric Pastor,
Marco A. Peña:
Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems.
CHARME 2003: 378-393 |
| 7 | EE | Enric Pastor,
Marco A. Peña:
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems.
DATE 2003: 11158-11159 |
| 2002 |
|---|
| 6 | EE | Marco A. Peña,
Jordi Cortadella,
Alexander B. Smirnov,
Enric Pastor:
A Case Study for the Verification of Complex Timed Circuits: IPCMOS.
DATE 2002: 44-53 |
| 2000 |
|---|
| 5 | EE | Marco A. Peña,
Jordi Cortadella,
Enric Pastor,
Alex Kondratyev:
Formal Verification of Safety Properties in Timed Circuits.
ASYNC 2000: 2-11 |
| 1999 |
|---|
| 4 | EE | Enric Pastor,
Jordi Cortadella,
Marco A. Peña:
Structural Methods to Improve the Symbolic Analysis of Petri Nets.
ICATPN 1999: 26-45 |
| 1997 |
|---|
| 3 | EE | Alexei L. Semenov,
Alexandre Yakovlev,
Enric Pastor,
Marco A. Peña,
Jordi Cortadella,
Luciano Lavagno:
Partial order based approach to synthesis of speed-independent circuits.
ASYNC 1997: 254- |
| 2 | EE | Alexei L. Semenov,
Alexandre Yakovlev,
Enric Pastor,
Marco A. Peña,
Jordi Cortadella:
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.
DAC 1997: 16-21 |
| 1 | EE | Oriol Roig,
Jordi Cortadella,
Marco A. Peña,
Enric Pastor:
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits.
DAC 1997: 620-625 |
