| 2013 | HCI | Supervisory Control Interface Design for Unmanned Aerial Vehicles through GEDIS-UAV. | Salvador Lorite, Adolfo Muoz, Josep Tornero, Pere Ponsa, Enric Pastor |
| 2007 | Middleware | A middleware architecture for unmanned aircraft avionics. | Juan Lpez, Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria |
| 2006 | DSD | An Embedded Architecture for Mission Control of Unmanned Aerial Vehicles. | Enric Pastor, Juan Lpez, Pablo Royo |
| 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 |
| 2002 | FMCAD | Traversal Techniques for Concurrent Systems. | Marc Sol, Enric Pastor |
| 1998 | DATE | Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. | Enric Pastor, Jordi Cortadella |
| 1998 | WCAE | A rudimentary machine: experiences in the design of a pedagogic computer. | Enric Pastor, Fermn Snchez, Anna M. del Corral |
| 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 |
| 1997 | ICCAD | Decomposition and technology mapping of speed-independent circuits using Boolean relations. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev |
| 1996 | DATE | Structural Methods for the Synthesis of Speed-Independent Circuits. | Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev |
| 1995 | DATE | Checking signal transition graph implementability by symbolic BDD traversal. | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev |
| 1993 | ICCAD | Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. | Enric Pastor, Jordi Cortadella |
| 1993 | ICCD | An Efficient Unique State Coding Algorithm for Signal Transition Graphs. | Enric Pastor, Jordi Cortadella |