Alfons Crespo

Alejandro Alonso

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks.

[BibT_eX]

[DOI]

Sensors, 2011

μDDS: A Middleware for Real-time Wireless Embedded Systems.

[BibT_eX]

[DOI]

Apolinar González

Walter Mata

Luis Villaseñor Pineda

J. Intell. Robotic Syst., 2011

Emotional Contribution Process Implementations on Parallel Processors.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012.

[BibT_eX]

[DOI]

Juan Antonio de la Puente

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

ORK+/XtratuM: An Open Partitioning Platform for Ada.

[BibT_eX]

[DOI]

Ángel Esquinas

Juan Zamorano

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Simulation Fframework for Validation of Emotional Agents.

[BibT_eX]

Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

Design procedure to minimize power consumption and delays in WSAN.

[BibT_eX]

[DOI]

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Enforcing trust in control automotive platforms.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

Control Co-design: Algorithms and Their Implementation.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

2009

Wireless Sensors and Actuators Networks: Characterization and Cases Study for Confined Spaces Healthcare and Control Applications.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2009

Period sensitivity analysis and D-P domain feasibility region in dynamic priority systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Real-time Emotional Agent Architecture Application on Service Mobile Robot Control.

[BibT_eX]

Carlos Domínguez

Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

Simulation Tool Incorporating a Flexible Real-Time Task Model for Mobile Robotic Systems.

[BibT_eX]

Proceedings of the 2009 International Conference on Embedded Systems & Applications, 2009

Implementing Reactive Systems with UML State Machines and Ada 2005.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2009

2008

Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2008

Implementation of a constant-time dynamic storage allocator.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2008

A constant-time dynamic storage allocator for real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2008

Operating System Support for Embedded Real-Time Applications.

[BibT_eX]

[DOI]

Michael González Harbour

Giuseppe Lipari

EURASIP J. Embed. Syst., 2008

Providing Memory QoS Guarantees for Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Wireless Sensor and Actuator Networks: Charecterization and case study for confined spaces healthcare applications.

[BibT_eX]

[DOI]

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Emotional Architecture for Robotic Agents.

[BibT_eX]

Carlos Domínguez

Proceedings of the 2008 International Conference on Artificial Intelligence, 2008

Real-time Embedded Architecture for Advanced Service Robots.

[BibT_eX]

Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008

2007

Analysis of window-constrained execution time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2007

Real-Time Embedded Architecture for Pervasive Robots.

[BibT_eX]

[DOI]

Carlos Domínguez

Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

Memory Resource Management for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

Jitter Evaluation of Real-Time Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

A comparison of memory allocators for real-time applications.

[BibT_eX]

[DOI]

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Dynamic Memory Management for Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Optimal deadline assignment for periodic real-time tasks in dynamic priority systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

2005

Efficient Alternatives for Implementing Fixed-Priority Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technology, 2005

Distributing Criticality Across Ada Partitions.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technology, 2005

2004

Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal.

[BibT_eX]

[DOI]

Real Time Syst., 2004

A Task Model to Reduce Control Delays.

[BibT_eX]

[DOI]

Real Time Syst., 2004

IRIS: A New Reclaiming Algorithm for Server-Based Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

TLSF: A New Dynamic Memory Allocator for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

2003

Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code.

[BibT_eX]

Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Dynamic ceiling priorities in GNAT implementation report.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Communication system architecture to manage a containers terminal.

[BibT_eX]

[DOI]

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Getting System Metrics Using POSIX Tracing Services.

[BibT_eX]

[DOI]

Agustín Espinosa Minguet

Alfons Crespo i Lorente

Proceedings of the Reliable Software Technologies, 2003

Running Ada on Real-Time Linux.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

A Unified Formulation for Massively Parallel Rigid Multibody Dynamics of O (log<sub>2</sub>n) Computational Complexity.

[BibT_eX]

[DOI]

Andrés Jaramillo-Botero

J. Parallel Distributed Comput., 2002

Protected ceiling changes.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Enhancing the Flexibility and the Quality of Service of Autonomous Mobile Robotic Applications.

[BibT_eX]

[DOI]

José E. Simó

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

Schedulability Analysis of Window-Constrained Execution Time Tasks for Real-Time Control.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard.

[BibT_eX]

[DOI]

Agustín Espinosa Minguet

Proceedings of the Reliable Software Technologies, 2002

2001

Integrated Design and Implementation of Digital Controllers.

[BibT_eX]

[DOI]

Pedro Albertos

Proceedings of the Computer Aided Systems Theory, 2001

Improving the quality of service in behavioural-based mobile robotic applications.

[BibT_eX]

[DOI]

José E. Simó

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Offsets for Scheduling Mode Changes.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Complex Task Implementation in Ada.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Control tasks delay reduction under static and dynamic scheduling policies.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A semantics for dynamic ceiling priorities in Ada.

[BibT_eX]

[DOI]

Albert Llamosí

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

RT control scheduling to reduce control performance degrading.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Experiences using Ada in a real-time and distributed laboratory.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

Development of a Host DBMS for Testing Switching System Software.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Environment for the Development and Specification of Real-Time Ada Programs.

[BibT_eX]

[DOI]

Apolinar González

Proceedings of the Reliable Software Technologies, 1999

1998

Towards a Temporal Coherence Management in Real-Time Knowledge-Based Systems.

[BibT_eX]

[DOI]

Vicente J. Botti

Federico Barber

Data Knowl. Eng., 1998

Using exact feasibility tests for allocating real-time tasks in multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1997

Analysis and evaluation of a real-time horticultural autonomous vehicle system.

[BibT_eX]

[DOI]

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996

Improvement in Feasibility Testing for Real-Time Tasks.

[BibT_eX]

[DOI]

Aloysius K. Mok

Real Time Syst., 1996

Strategies for scheduling optional tasks in intelligent real-time environments.

[BibT_eX]

[DOI]

J. Syst. Archit., 1996

Optimal aperiodic scheduling for dynamic-priority systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks.

[BibT_eX]

[DOI]

Juan Echagüe

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

A Dynamic Real-Time Scheduler for Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Using Ada 95 for Prototyping Real-Time Systems.

[BibT_eX]

[DOI]

Agustín Espinosa

Proceedings of the Reliable Software Technologies, 1996

1995

A Temporal Blackboard for a Multi-Agent Environment.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1995

Scheduling algorithms for improving the response in intelligent real-time environments.

[BibT_eX]

[DOI]

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Hard real-time preemptively scheduling with high context switch cost.

[BibT_eX]

[DOI]

Juan Echagüe

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Temporal Reasoning in REAKT: An Environment for Real-Time Knowledge-Based Systems.

[BibT_eX]

[DOI]

AI Commun., 1994

Multiple Access and Coherence Management in a Real-Time Temporal Blackboard.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Real Time Planning in n-dim State Space.

[BibT_eX]

[DOI]

José E. Simó

Proceedings of the Postprint Volume from the IFAC Symposium on Artificial Intelligence in Real-Time Control, 1994

Foreword.

[BibT_eX]

[DOI]