Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. - Enric Pastor; Jordi Cortadella (ICCAD, 1993)

An Efficient Unique State Coding Algorithm for Signal Transition Graphs. - Enric Pastor; Jordi Cortadella (ICCD, 1993)

Petri Net Analysis Using Boolean Manipulation. - Enric Pastor; Oriol Roig; Jordi Cortadella; Rosa M. Badia (Application and Theory of Petri Nets, 1994)

Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. - Oriol Roig; Jordi Cortadella; Enric Pastor (Application and Theory of Petri Nets, 1995)

Hierarchical gate-level verification of speed-independent circuits. - Oriol Roig; Jordi Cortadella; Enric Pastor (ASYNC, 1995)

Checking signal transition graph implementability by symbolic BDD traversal. - Alex Kondratyev; Jordi Cortadella; Michael Kishinevsky; Enric Pastor; Oriol Roig; Alexandre Yakovlev (ED&TC, 1995)

A new look at the conditions for the synthesis of speed-independent circuits. - Enric Pastor; Jordi Cortadella; Oriol Roig (Great Lakes Symposium on VLSI, 1995)

Partial order based approach to synthesis of speed-independent circuits. - Alexei L. Semenov; Alexandre Yakovlev; Enric Pastor; Marco A. Peña; Jordi Cortadella; Luciano Lavagno (ASYNC, 1997)

Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. - Oriol Roig; Jordi Cortadella; Marco A. Peña; Enric Pastor (DAC, 1997)

Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. - Alexei L. Semenov; Alexandre Yakovlev; Enric Pastor; Marco A. Peña; Jordi Cortadella (DAC, 1997)

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. - Enric Pastor; Jordi Cortadella (DATE, 1998)

A rudimentary machine: experiences in the design of a pedagogic computer. - Enric Pastor; Fermín Sánchez; Anna M. del Corral (WCAE@ISCA, 1998)

Structural methods for the synthesis of speed-independent circuits. - Enric Pastor; Jordi Cortadella; Alex Kondratyev; Oriol Roig (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Structural Methods to Improve the Symbolic Analysis of Petri Nets. - Enric Pastor; Jordi Cortadella; Marco A. Peña (ICATPN, 1999)

Decomposition and technology mapping of speed-independent circuits using Boolean relations. - Jordi Cortadella; Michael Kishinevsky; Alex Kondratyev; Luciano Lavagno; Enric Pastor; Alexandre Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Formal Verification of Safety Properties in Timed Circuits. - Marco A. Peña; Jordi Cortadella; Enric Pastor; Alex Kondratyev (ASYNC, 2000)

Symbolic Analysis of Bounded Petri Nets. - Enric Pastor; Jordi Cortadella; Oriol Roig (IEEE Trans. Computers, 2001)

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. - Josep Carmona 001; Jordi Cortadella; Enric Pastor (Concurrency and Hardware Design, 2002)

A Case Study for the Verification of Complex Timed Circuits: IPCMOS. - Marco A. Peña; Jordi Cortadella; Alexander B. Smirnov; Enric Pastor (DATE, 2002)

Traversal Techniques for Concurrent Systems. - Marc Solé; Enric Pastor (FMCAD, 2002)

A structural encoding technique for the synthesis of asynchronous circuits. - Josep Carmona 001; Jordi Cortadella; Enric Pastor (Fundam. Informaticae, 2002)

Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems. - Enric Pastor; Marco A. Peña (CHARME, 2003)

Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. - Enric Pastor; Marco A. Peña (DATE, 2003)

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. - Marc Solé; Enric Pastor (ACSD, 2004)

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. - Enric Pastor; Marco A. Peña; Marc Solé (CAV, 2005)

An Embedded Architecture for Mission Control of Unmanned Aerial Vehicles. - Enric Pastor; Juan López; Pablo Royo (DSD, 2006)

A middleware architecture for unmanned aircraft avionics. - Juan López; Pablo Royo; Enric Pastor; Cristina Barrado; Eduard Santamaria (Middleware (Demos and Posters), 2007)

BMC Encoding for Concurrent Systems. - Manitra Rakotoarisoa; Enric Pastor (SCCC, 2008)

Decision Support System for Hot Spot Detection. - Esther Salamí; Sol Pedre; Patricia Borensztejn; Cristina Barrado; Andres Stoliar; Enric Pastor (Intelligent Environments, 2009)

Wildfire Monitoring Using a Mixed Air-Ground Mobile Network. - Cristina Barrado; Roc Messeguer; Juan López; Enric Pastor; Eduard Santamaria; Pablo Royo (IEEE Pervasive Comput., 2010)

Depart and approach procedures for UAS in a VFR environment. - Enric Pastor; Pablo Royo; Luis Delgado; Marc P. Batlle; Cristina Barrado; Xavier Prats (ATACCS, 2011)

An architecture to automate UAS operations in non-segregated airspace. - Enric Pastor; Pablo Royo; Eduard Santamaria; Marc P. Batlle; Cristina Barrado; Xavier Prats (ATACCS, 2011)

Autopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System Applications. - Pablo Royo; Enric Pastor; Cristina Barrado; Eduard Santamaria; Juan López; Xavier Prats; Juan Manuel Lema (J. Aerosp. Comput. Inf. Commun., 2011)

A taxonomy of UAS separation maneuvers and their automated execution. - Marc Pérez-Batlle; Enric Pastor; Pablo Royo; Xavier Prats; Cristina Barrado (ATACCS, 2012)

In-Flight Contingency Management for Unmanned Aerial Vehicles. - Enric Pastor; Pablo Royo; Eduard Santamaria; Xavier Prats; Cristina Barrado (J. Aerosp. Comput. Inf. Commun., 2012)

Flight Plan Specification and Management for Unmanned Aircraft Systems. - Eduard Santamaria; Enric Pastor; Cristina Barrado; Xavier Prats; Pablo Royo; Marc Pérez-Batlle (J. Intell. Robotic Syst., 2012)

Supervisory Control Interface Design for Unmanned Aerial Vehicles through GEDIS-UAV. - Salvador Lorite; Adolfo Muñoz; Josep Tornero; Pere Ponsa; Enric Pastor (HCI (1), 2013)

ISIS+: A Software-in-the-Loop Unmanned Aircraft System Simulator for Nonsegregated Airspace. - Pablo Royo; Cristina Barrado; Enric Pastor (J. Aerosp. Inf. Syst., 2013)

Real-Time Data Processing for the Airborne Detection of Hot Spots. - Esther Salamí; Cristina Barrado; Enric Pastor; Pablo Royo; Eduard Santamaria (J. Aerosp. Inf. Syst., 2013)

UAV Flight Experiments Applied to the Remote Sensing of Vegetated Areas. - Esther Salamí; Cristina Barrado; Enric Pastor (Remote. Sens., 2014)

An Unmanned Aircraft System to Detect a Radiological Point Source Using RIMA Software Architecture. - Pablo Royo; Enric Pastor; Miquel Macias; Raul Cuadrado; Cristina Barrado; Arturo Vargas (Remote. Sens., 2018)

General queuing model for optimal seamless delivery of payload processing in multi-core processors. - Esther Salamí; Cristina Barrado; Antonia Gallardo; Enric Pastor (J. Supercomput., 2018)

Counter a Drone in a Complex Neighborhood Area by Deep Reinforcement Learning. - Ender Çetin; Cristina Barrado; Enric Pastor (Sensors, 2020)

Countering a Drone in a 3D Space: Analyzing Deep Reinforcement Learning Methods. - Ender Çetin; Cristina Barrado; Enric Pastor (Sensors, 2022)

Analyzing deep reinforcement learning model decisions with Shapley additive explanations for counter drone operations. - Ender Çetin; Cristina Barrado; Esther Salamí; Enric Pastor (Appl. Intell., 2024)