Enric Pastor

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 4

Top Topics

Supervisory Control

Unmanned Aerial Vehicles

Software Architecture

Top Venues

J. Aerosp. Inf. Syst.

Publications

Ender Çetin, Cristina Barrado, Enric Pastor
Countering a Drone in a 3D Space: Analyzing Deep Reinforcement Learning Methods. Sensors 22 (22) (2022)
Ender Çetin, Cristina Barrado, Enric Pastor
Counter a Drone in a Complex Neighborhood Area by Deep Reinforcement Learning. Sensors 20 (8) (2020)
Pablo Royo, Enric Pastor, Miquel Macias, Raul Cuadrado, Cristina Barrado, Arturo Vargas
An Unmanned Aircraft System to Detect a Radiological Point Source Using RIMA Software Architecture. Remote. Sens. 10 (11) (2018)
Esther Salamí, Cristina Barrado, Antonia Gallardo, Enric Pastor
General queuing model for optimal seamless delivery of payload processing in multi-core processors. J. Supercomput. 74 (1) (2018)
Esther Salamí, Cristina Barrado, Enric Pastor
UAV Flight Experiments Applied to the Remote Sensing of Vegetated Areas. Remote. Sens. 6 (11) (2014)
Pablo Royo, Cristina Barrado, Enric Pastor
ISIS+: A Software-in-the-Loop Unmanned Aircraft System Simulator for Nonsegregated Airspace. J. Aerosp. Inf. Syst. 10 (11) (2013)
Salvador Lorite, Adolfo Muñoz, Josep Tornero, Pere Ponsa, Enric Pastor
Supervisory Control Interface Design for Unmanned Aerial Vehicles through GEDIS-UAV. HCI (1) (2013)
Esther Salamí, Cristina Barrado, Enric Pastor, Pablo Royo, Eduard Santamaria
Real-Time Data Processing for the Airborne Detection of Hot Spots. J. Aerosp. Inf. Syst. 10 (10) (2013)
Marc Pérez-Batlle, Enric Pastor, Pablo Royo, Xavier Prats, Cristina Barrado
A taxonomy of UAS separation maneuvers and their automated execution. ATACCS (2012)
Eduard Santamaria, Enric Pastor, Cristina Barrado, Xavier Prats, Pablo Royo, Marc Pérez-Batlle
Flight Plan Specification and Management for Unmanned Aircraft Systems. J. Intell. Robotic Syst. 67 (2) (2012)
Enric Pastor, Pablo Royo, Eduard Santamaria, Xavier Prats, Cristina Barrado
In-Flight Contingency Management for Unmanned Aerial Vehicles. J. Aerosp. Comput. Inf. Commun. 9 (4) (2012)
Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria, Juan López, Xavier Prats, Juan Manuel Lema
Autopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System Applications. J. Aerosp. Comput. Inf. Commun. 8 (7) (2011)
Enric Pastor, Pablo Royo, Eduard Santamaria, Marc P. Batlle, Cristina Barrado, Xavier Prats
An architecture to automate UAS operations in non-segregated airspace. ATACCS (2011)
Enric Pastor, Pablo Royo, Luis Delgado, Marc P. Batlle, Cristina Barrado, Xavier Prats
Depart and approach procedures for UAS in a VFR environment. ATACCS (2011)
Cristina Barrado, Roc Messeguer, Juan López, Enric Pastor, Eduard Santamaria, Pablo Royo
Wildfire Monitoring Using a Mixed Air-Ground Mobile Network. IEEE Pervasive Comput. 9 (4) (2010)
Esther Salamí, Sol Pedre, Patricia Borensztejn, Cristina Barrado, Andres Stoliar, Enric Pastor
Decision Support System for Hot Spot Detection. Intelligent Environments (2009)
Manitra Rakotoarisoa, Enric Pastor
BMC Encoding for Concurrent Systems. SCCC (2008)
Juan López, Pablo Royo, Enric Pastor, Cristina Barrado, Eduard Santamaria
A middleware architecture for unmanned aircraft avionics. Middleware (Demos and Posters) (2007)
Enric Pastor, Juan López, Pablo Royo
An Embedded Architecture for Mission Control of Unmanned Aerial Vehicles. DSD (2006)
Enric Pastor, Marco A. Peña, Marc Solé
TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. CAV (2005)
Marc Solé, Enric Pastor
Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems. ACSD (2004)
Enric Pastor, Marco A. Peña
Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems. CHARME (2003)
Enric Pastor, Marco A. Peña
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. DATE (2003)
Josep Carmona, Jordi Cortadella, Enric Pastor
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. Concurrency and Hardware Design (2002)
Marc Solé, Enric Pastor
Traversal Techniques for Concurrent Systems. FMCAD (2002)
Josep Carmona, Jordi Cortadella, Enric Pastor
A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Informaticae 50 (2) (2002)
Marco A. Peña, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor
A Case Study for the Verification of Complex Timed Circuits: IPCMOS. DATE (2002)
Josep Carmona, Jordi Cortadella, Enric Pastor
A structural encoding technique for the synthesis of asynchronous circuits. ACSD (2001)
Enric Pastor, Jordi Cortadella, Oriol Roig
Symbolic Analysis of Bounded Petri Nets. IEEE Trans. Computers 50 (5) (2001)
Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev
Formal Verification of Safety Properties in Timed Circuits. ASYNC (2000)
Enric Pastor, Jordi Cortadella, Marco A. Peña
Structural Methods to Improve the Symbolic Analysis of Petri Nets. ICATPN (1999)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (9) (1999)
Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig
Structural methods for the synthesis of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (11) (1998)
Enric Pastor, Fermín Sánchez, Anna M. del Corral
A rudimentary machine: experiences in the design of a pedagogic computer. WCAE@ISCA (1998)
Enric Pastor, Jordi Cortadella
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets. DATE (1998)
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)
Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC (1997)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD (1997)
Oriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. DAC (1997)
Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev
Structural Methods for the Synthesis of Speed-Independent Circuits. ED&TC (1996)
Enric Pastor, Jordi Cortadella, Oriol Roig
A new look at the conditions for the synthesis of speed-independent circuits. Great Lakes Symposium on VLSI (1995)
Oriol Roig, Jordi Cortadella, Enric Pastor
Hierarchical gate-level verification of speed-independent circuits. ASYNC (1995)
Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev
Checking signal transition graph implementability by symbolic BDD traversal. ED&TC (1995)
Oriol Roig, Jordi Cortadella, Enric Pastor
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. Application and Theory of Petri Nets (1995)
Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia
Petri Net Analysis Using Boolean Manipulation. Application and Theory of Petri Nets (1994)
Enric Pastor, Jordi Cortadella
Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. ICCAD (1993)
Enric Pastor, Jordi Cortadella
An Efficient Unique State Coding Algorithm for Signal Transition Graphs. ICCD (1993)