Alfons Crespo

Orcid: 0000-0002-6606-7406

Affiliations:
  • Polytechnic University of Valencia, Department of Systems Data Processing and Computers, Spain


According to our database1, Alfons Crespo authored at least 117 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
PI Tracking Control of a Single Link Manipulator.
Proceedings of the 18th IEEE International Conference on Control & Automation, 2024

2022
Schedulability analysis of dynamic priority real-time systems with contention.
J. Supercomput., 2022

2021
Hardware resources contention-aware scheduling of hard real-time multiprocessor systems.
J. Syst. Archit., 2021

Socio-economic and technological impact of a microgrid in isolated communities using Simulation Modeling.
Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

2020
Integer Programming Techniques for Static Scheduling of Hard Real-Time Systems.
IEEE Access, 2020

2019
A hierarchical architecture for time- and event-triggered real-time systems.
J. Syst. Archit., 2019

Networked Control of Unstable Resonant Systems.
Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

Design of Criticality-Aware Scheduling for Advanced Driver Assistance Systems.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems Considering Xtratum-Based SW Partitions.
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2018
Automatic Deployment of an RPAS Mission Manager to an ARINC-653 Compliant System.
J. Intell. Robotic Syst., 2018

Hypervisor-Based Multicore Feedback Control of Mixed-Criticality Systems.
IEEE Access, 2018

Energy Characterization of Real-Time Partitioned Systems.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems.
Microprocess. Microsystems, 2017

Distributed architecture for developing mixed-criticality systems in multi-core platforms.
J. Syst. Softw., 2017

Emotional robot control architecture implementation using FPGAs.
J. Syst. Archit., 2017

2016
Real-time hierarchical systems with arbitrary scheduling at global level.
J. Syst. Softw., 2016

An analysis on the impact and detection of kernel stack infoleaks.
Log. J. IGPL, 2016

Distributed multi-agent architecture for real-time wireless control networks of multiple plants.
Eng. Appl. Artif. Intell., 2016

SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Separation Kernel Robustness Testing: The XtratuM Case Study.
Proceedings of the 2016 IEEE International Conference on Cluster Computing, 2016

Combining Time-Triggered Plans with Priority Scheduled Task Sets.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Multicore and FPGA implementations of emotional-based agent architectures.
J. Supercomput., 2015

Keynote Talks: Requirements on E/E-system architecture for future car concepts - Example eMobility with project RACE.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A TDMA-Based arbitration scheme for mixed-criticality multicore platforms.
Proceedings of the International Conference on Event-based Control, 2015

A highly-automated RPAS mission manager for integrated airspace.
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, 2015

2014
XtratuM hypervisor redesign for LEON4 multicore processor.
SIGBED Rev., 2014

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems.
Microprocess. Microsystems, 2014

Detecting Stack Based Kernel Information Leaks.
Proceedings of the International Joint Conference SOCO'14-CISIS'14-ICEUTE'14, 2014

Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012.
Proceedings of the Reliable Software Technologies, 2014

Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels.
Proceedings of the Reliable Software Technologies, 2014

2013
A hypervisor based platform to support real-time safety critical embedded java applications.
Comput. Syst. Sci. Eng., 2013

Resource management for mobile operating systems based on the active object model.
Comput. Syst. Sci. Eng., 2013

Multicore Parallel Implementation of Agent Emotional Processes.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Developing Embedded Control Systems with XtratuM - Application to Control the Attitude of a Mini-helicopter.
Proceedings of the ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Reykjavík, Iceland, 29, 2013

MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks.
Sensors, 2011

μDDS: A Middleware for Real-time Wireless Embedded Systems.
J. Intell. Robotic Syst., 2011

Emotional Contribution Process Implementations on Parallel Processors.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

ORK+/XtratuM: An Open Partitioning Platform for Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Simulation Fframework for Validation of Emotional Agents.
Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

Real-Time Linux Framework for Designing Parallel Mobile Robotic Applications.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

Design procedure to minimize power consumption and delays in WSAN.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Enforcing trust in control automotive platforms.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.
Proceedings of the Reliable Software Technologiey, 2010

Control Co-design: Algorithms and Their Implementation.
Proceedings of the Reliable Software Technologiey, 2010

2009
Wireless Sensors and Actuators Networks: Characterization and Cases Study for Confined Spaces Healthcare and Control Applications.
Scalable Comput. Pract. Exp., 2009

Period sensitivity analysis and D-P domain feasibility region in dynamic priority systems.
J. Syst. Softw., 2009

Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling.
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.
Proceedings of the 2009 International Conference on Artificial Intelligence, 2009

Simulation Tool Incorporating a Flexible Real-Time Task Model for Mobile Robotic Systems.
Proceedings of the 2009 International Conference on Embedded Systems & Applications, 2009

Implementing Reactive Systems with UML State Machines and Ada 2005.
Proceedings of the Reliable Software Technologies, 2009

2008
Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems.
IEEE Trans. Computers, 2008

Implementation of a constant-time dynamic storage allocator.
Softw. Pract. Exp., 2008

A constant-time dynamic storage allocator for real-time systems.
Real Time Syst., 2008

Operating System Support for Embedded Real-Time Applications.
EURASIP J. Embed. Syst., 2008

Providing Memory QoS Guarantees for Real-Time Applications.
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.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

Emotional Architecture for Robotic Agents.
Proceedings of the 2008 International Conference on Artificial Intelligence, 2008

Real-time Embedded Architecture for Advanced Service Robots.
Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008

2007
Analysis of window-constrained execution time systems.
Real Time Syst., 2007

Real-Time Embedded Architecture for Pervasive Robots.
Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

Memory Resource Management for Real-Time Systems.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006
Jitter Evaluation of Real-Time Control Systems.
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.
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

Dynamic Memory Management for Embedded Real-Time Systems.
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.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

2005
Efficient Alternatives for Implementing Fixed-Priority Schedulers.
Proceedings of the Reliable Software Technology, 2005

Distributing Criticality Across Ada Partitions.
Proceedings of the Reliable Software Technology, 2005

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

A Task Model to Reduce Control Delays.
Real Time Syst., 2004

IRIS: A New Reclaiming Algorithm for Server-Based Real-Time Systems.
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.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Dynamic Ceiling Priorities: A Proposal for Ada0Y.
Proceedings of the Reliable Software Technologies, 2004

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.
Proceedings of the Reliable Software Technologies, 2004

2003
Evaluating Reasons for Unexpected Results When Measuring Execution Time of Code.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Dynamic ceiling priorities in GNAT implementation report.
Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Communication system architecture to manage a containers terminal.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Getting System Metrics Using POSIX Tracing Services.
Proceedings of the Reliable Software Technologies, 2003

Running Ada on Real-Time Linux.
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.
J. Parallel Distributed Comput., 2002

Protected ceiling changes.
Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Enhancing the Flexibility and the Quality of Service of Autonomous Mobile Robotic Applications.
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.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard.
Proceedings of the Reliable Software Technologies, 2002

2001
Integrated Design and Implementation of Digital Controllers.
Proceedings of the Computer Aided Systems Theory, 2001

Improving the quality of service in behavioural-based mobile robotic applications.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Offsets for Scheduling Mode Changes.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Complex Task Implementation in Ada.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules.
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.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A semantics for dynamic ceiling priorities in Ada.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

RT control scheduling to reduce control performance degrading.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999
Experiences using Ada in a real-time and distributed laboratory.
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

Development of a Host DBMS for Testing Switching System Software.
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.
Proceedings of the Reliable Software Technologies, 1999

1998
Towards a Temporal Coherence Management in Real-Time Knowledge-Based Systems.
Data Knowl. Eng., 1998

Using exact feasibility tests for allocating real-time tasks in multiprocessor systems.
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.
IEEE Trans. Software Eng., 1997

Analysis and evaluation of a real-time horticultural autonomous vehicle system.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996
Improvement in Feasibility Testing for Real-Time Tasks.
Real Time Syst., 1996

Strategies for scheduling optional tasks in intelligent real-time environments.
J. Syst. Archit., 1996

Optimal aperiodic scheduling for dynamic-priority systems.
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.
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.
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

Using Ada 95 for Prototyping Real-Time Systems.
Proceedings of the Reliable Software Technologies, 1996

1995
A Temporal Blackboard for a Multi-Agent Environment.
Data Knowl. Eng., 1995

Scheduling algorithms for improving the response in intelligent real-time environments.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

Hard real-time preemptively scheduling with high context switch cost.
Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994
Temporal Reasoning in REAKT: An Environment for Real-Time Knowledge-Based Systems.
AI Commun., 1994

Multiple Access and Coherence Management in a Real-Time Temporal Blackboard.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Real Time Planning in n-dim State Space.
Proceedings of the Postprint Volume from the IFAC Symposium on Artificial Intelligence in Real-Time Control, 1994

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

1993
Sharing Temporal Knowledge by Multiple Agents.
Proceedings of the Database and Expert Systems Applications, 4th International Conference, 1993


  Loading...