Enric Pastor

Sensors, 2022

2020

Counter a Drone in a Complex Neighborhood Area by Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Ender Çetin

Sensors, 2020

2018

General queuing model for optimal seamless delivery of payload processing in multi-core processors.

[BibT_eX]

[DOI]

J. Supercomput., 2018

An Unmanned Aircraft System to Detect a Radiological Point Source Using RIMA Software Architecture.

[BibT_eX]

[DOI]

Remote. Sens., 2018

2014

UAV Flight Experiments Applied to the Remote Sensing of Vegetated Areas.

[BibT_eX]

[DOI]

Esther Salamí

Remote. Sens., 2014

2013

Real-Time Data Processing for the Airborne Detection of Hot Spots.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., 2013

ISIS+: A Software-in-the-Loop Unmanned Aircraft System Simulator for Nonsegregated Airspace.

[BibT_eX]

[DOI]

Pablo Royo

J. Aerosp. Inf. Syst., 2013

Supervisory Control Interface Design for Unmanned Aerial Vehicles through GEDIS-UAV.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

2012

Flight Plan Specification and Management for Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2012

In-Flight Contingency Management for Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2012

A taxonomy of UAS separation maneuvers and their automated execution.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012

2011

Autopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System Applications.

[BibT_eX]

[DOI]

J. Aerosp. Comput. Inf. Commun., 2011

An architecture to automate UAS operations in non-segregated airspace.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, 2011

Depart and approach procedures for UAS in a VFR environment.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, 2011

2010

Wildfire Monitoring Using a Mixed Air-Ground Mobile Network.

[BibT_eX]

[DOI]

IEEE Pervasive Comput., 2010

2009

Decision Support System for Hot Spot Detection.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Environments 2009 - Proceedings of the 5th International Conference on Intelligent Environments, 2009

2008

BMC Encoding for Concurrent Systems.

[BibT_eX]

[DOI]

Manitra Rakotoarisoa

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

2007

A middleware architecture for unmanned aircraft avionics.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2007, 2007

2006

An Embedded Architecture for Mission Control of Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Juan López

Pablo Royo

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

2005

TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.

[BibT_eX]

[DOI]

Marc Solé

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems.

[BibT_eX]

[DOI]

Marc Solé

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Combining Simulation and Guided Traversal for the Verification of Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

A structural encoding technique for the synthesis of asynchronous circuits.

[BibT_eX]

[DOI]

Josep Carmona

Fundam. Informaticae, 2002

Traversal Techniques for Concurrent Systems.

[BibT_eX]

[DOI]

Marc Solé

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

A Case Study for the Verification of Complex Timed Circuits: IPCMOS.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.

[BibT_eX]

[DOI]

Josep Carmona

Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002

2001

Symbolic Analysis of Bounded Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2001

2000

Formal Verification of Safety Properties in Timed Circuits.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

1999

Decomposition and technology mapping of speed-independent circuits using Boolean relations.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Structural Methods to Improve the Symbolic Analysis of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Structural methods for the synthesis of speed-independent circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

A rudimentary machine: experiences in the design of a pedagogic computer.

[BibT_eX]

[DOI]

Fermín Sánchez

Anna M. del Corral

Proceedings of the 1998 workshop on Computer architecture education, 1998

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

1997

Synthesis of Speed-Independent Circuits from STG-Unfolding Segment.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits.

[BibT_eX]

[DOI]

Proceedings of the 34st Conference on Design Automation, 1997

Partial order based approach to synthesis of speed-independent circuits.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1995

A new look at the conditions for the synthesis of speed-independent circuits.

[BibT_eX]

[DOI]

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

Checking signal transition graph implementability by symbolic BDD traversal.

[BibT_eX]

[DOI]

Proceedings of the 1995 European Design and Test Conference, 1995

Hierarchical gate-level verification of speed-independent circuits.

[BibT_eX]

[DOI]

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

Petri Net Analysis Using Boolean Manipulation.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

An Efficient Unique State Coding Algorithm for Signal Transition Graphs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs.

[BibT_eX]

[DOI]