Marco A. Pea
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1997–2005
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CAV | TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. | Enric Pastor, Marco A. Pea, Marc Sol |
| 2003 | DATE | Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. | Enric Pastor, Marco A. Pea |
| 2002 | DATE | A Case Study for the Verification of Complex Timed Circuits: IPCMOS. | Marco A. Pea, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor |
| 1997 | DAC | Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. | Oriol Roig, Jordi Cortadella, Marco A. Pea, Enric Pastor |
| 1997 | DAC | Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. | Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Pea, Jordi Cortadella |