Enric Pastor - RankMe

48 papers A* 3A 5B 2C 2Journal 16Unranked 20

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