Juan Antonio de la Puente

69 papers A 1B 3C 4Misc 22Journal 10Unranked 28
YearRankTypeTitle / Venue / Authors
2025 J jnl
Model-based Toolchain for Core Flight System (cFS) Embedded Systems.
ACM Trans. Embed. Comput. Syst.
Hugo Valente, Miguel A. de Miguel, Ángel-Grover Pérez-Muñoz, Alejandro Alonso, Juan Zamorano, Juan Antonio de la Puente
2020 J jnl
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.
J. Syst. Softw.
Shuai Zhao, Jorge Garrido, Ran Wei, Alan Burns, Andy J. Wellings, Juan Antonio de la Puente
2018 Misc conf
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.
Ada-Europe
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
2017 J jnl
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Comput. Stand. Interfaces
Marisol García-Valls, Christian Calva-Urrego, Juan Antonio de la Puente, Alejandro Alonso
2017 Misc conf
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.
Ada-Europe
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
2016 Misc conf
Adjusting middleware knobs to suit CPS domains.
SAC
Marisol García-Valls, Cristian Calva-Urrego, Alejandro Alonso, Juan Antonio de la Puente
2015 C conf
Automated Model-based Testing Based on an Agnostic-platform Modeling Language.
MODELSWARD
Concepción Sanz, Alejandro Salas, Miguel A. de Miguel, Alejandro Alonso, Juan Antonio de la Puente, Clara Benac
2015 Misc ed.
Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Ada-Europe
Juan Antonio de la Puente, Tullio Vardanega
2013 Misc conf
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
Ada-Europe
Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan Antonio de la Puente
2013 — conf
Static analysis of WCET in a satellite software subsystem.
WCET
Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente
2012 C conf
A Platform for Real-Time Control Education with LEGO MINDSTORMS.
ACE
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano, Daniel Brosnan
2012 J jnl
A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Gener. Comput. Syst.
Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente
2012 — conf
Analysis of WCET in an experimental satellite software development.
WCET
Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso, Juan Zamorano
2012 J jnl
Application of Deadlock Risk Evaluation of Architectural Models.
Softw. Pract. Exp.
Antonio Monzón, José L. Fernández, Juan Antonio de la Puente
2011 — conf
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model.
EUROMICRO-SEAA
Héctor Pérez, J. Javier Gutiérrez, Esteban Asensio, Juan Zamorano, Juan Antonio de la Puente
2011 Misc conf
ORK+/XtratuM: An Open Partitioning Platform for Ada.
Ada-Europe
Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo
2010 C conf
Design and implementation of real-time distributed systems with the ASSERT Virtual Machine.
ETFA
Juan Zamorano, Juan Antonio de la Puente
2010 — conf
Real-time system development in ada using LEGO® mindstorms® NXT.
SIGAda
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano
2009 Misc conf
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.
Ada-Europe
Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente
2009 C conf
Dynamic adaptation mechanisms in multimedia embedded systems.
INDIN
Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente
2009 — conf
Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
ICESS
Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente
2009 — conf
Time-Predictable Reconfiguration with Contract-Based Resource Management.
AINA Workshops
Marisol García-Valls, Alejandro Alonso Muñoz, Juan Antonio de la Puente
2008 Misc conf
A New Approach to Memory Partitioning in On-Board Spacecraft Software.
Ada-Europe
Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente
2008 — conf
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.
DIPES
Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente
2007 — conf
Ada 2005 code patterns for metamodel-based code generation.
IRTAW
José Antonio Pulido, Juan Antonio de la Puente, Jérôme Hugues, Matteo Bordin, Tullio Vardanega
2007 Misc conf
Handling Temporal Faults in Ada 2005.
Ada-Europe
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente
2007 — ed.
Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007
IRTAW
Juan Antonio de la Puente
2007 — conf
Summary.
IRTAW
Juan Antonio de la Puente, Santiago Urueña
2006 Misc conf
Hierarchical Scheduling with Ada 2005.
Ada-Europe
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente
2006 A conf
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.
IPDPS
Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente
2006 Misc conf
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.
Ada-Europe
Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente
2005 J jnl
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst.
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005 J jnl
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.
Real Time Syst.
Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente
2004 Misc conf
Implementing Execution-Time Clocks for the Ada Ravenscar Profile.
Ada-Europe
Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
2003 Misc conf
A Test Environment for High Integrity Software Development.
Ada-Europe
Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano
2003 — conf
Execution-time clocks and Ravenscar kernels.
IRTAW
Juan Antonio de la Puente, Juan Zamorano
2003 — conf
Session: status and future of the Ravenscar profile.
IRTAW
Brian Dobbing, Juan Antonio de la Puente
2002 — conf
Precise response time analysis for Ravenscar kernels.
IRTAW
Juan Zamorano, Juan Antonio de la Puente
2002 — conf
Session on real-time, fault tolerance, and distribution.
IRTAW
Michael González Harbour, Juan Antonio de la Puente
2002 — conf
Session summary: safety improvements for consideration.
IRTAW
Juan Antonio de la Puente, Luís Miguel Pinho
2002 Misc conf
Using Object Orientation in High Integrity Applications: A Case Study.
Ada-Europe
Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente
2001 Misc conf
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.
Ada-Europe
Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
2001 Misc conf
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.
Ada-Europe
Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
2000 — conf
A First Assessment of Development Processes with Respect to Product Lines and Component Based Development.
IW-SAPF
Rodrigo Cerón, Juan C. Dueñas, Juan Antonio de la Puente
2000 Misc conf
An Open Ravenscar Real-Time Kernel for GNAT.
Ada-Europe
Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano
2000 — conf
Implementation of mode changes with the Ravenscar profile.
IRTAW
Alejandro Alonso, Juan Antonio de la Puente
2000 J jnl
Real-Time Object-Oriented Design and Formal Methods.
Real Time Syst.
Juan Antonio de la Puente
2000 — conf
The design and implementation of the open Ravenscar kernel.
IRTAW
Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García
1999 — conf
Real-time programming with GNAT: specialised kernels versus POSIX threads.
IRTAW
Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona
1999 Misc ed.
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
Ada-Europe
Michael González Harbour, Juan Antonio de la Puente
1998 Misc conf
A Case Study in Quantitative Evaluation of Real-Time Software Architectures.
Ada-Europe
José L. Fernández, Bárbara Álvarez, Francisco J. García Izquierdo, Ángel Pérez, Juan Antonio de la Puente
1998 — conf
A Software Architecture Evaluation Model.
ESPRIT ARES Workshop
Juan C. Dueñas, William Lopes de Oliveira, Juan Antonio de la Puente
1998 — conf
Analysis of Software Architectures.
ESPRIT ARES Workshop
Paul C. Clements, Juan Antonio de la Puente
1998 — conf
Architecture Recovery for Software Evolution.
CSMR
Juan C. Dueñas, William Lopes de Oliveira, Juan Antonio de la Puente
1998 — conf
Assessment of Timing Properties of Family Products.
ESPRIT ARES Workshop
Alejandro Alonso, Marisol García-Valls, Juan Antonio de la Puente
1997 — conf
Components for the implementation of fixed priority real-time systems in ADA.
IRTAW
Alejandro Alonso, Juan Antonio de la Puente, Ken Tindell
1997 B conf
Framework for documenting design decisions in product families development .
ICECCS
Alejandro Alonso, Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente
1997 — conf
Object-oriented design of real-time systems with stereotypes.
RTS
Miguel A. de Miguel, Alejandro Alonso, Juan Antonio de la Puente
1997 — conf
Object-oriented programming and real-time (session summary).
IRTAW
Andy J. Wellings, Juan Antonio de la Puente
1996 B conf
Building Reusable Software Architectures with Ada 95.
ICECCS
Alejandro Alonso, Juan Antonio de la Puente
1996 Misc conf
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries.
Ada-Europe
Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez
1995 B conf
Animation of heterogeneous prototypes of real-time systems.
ICECCS
Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso
1995 — conf
Dynamic replacement of software in hard real-time systems: practical assessment.
RTS
Alejandro Alonso, Ignacio Casillas, Juan Antonio de la Puente
1993 J jnl
Distributed Execution of Specifications.
Real Time Syst.
Juan Antonio de la Puente, Alejandro Alonso, Gonzalo León, Juan C. Dueñas
1993 — conf
Dynamic replacement of software in hard real-time systems.
RTS
Alejandro Alonso, Juan Antonio de la Puente
1993 J jnl
The IPTES Environment: Support for Incremental Heterogeneous and Distributed Prototyping.
Real Time Syst.
Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente, Nabil Zakhama, Alejandro Alonso
1992 — conf
Real time object communication protocol for incremental and distributed prototyping.
RTS
Gonzalo León, Juan C. Dueñas, Juan Antonio de la Puente, Alejandro Alonso
1992 Misc conf
Reusable Executives for Hard Real-Time Systems in Ada.
Ada-Europe
Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso, José L. Fernández
1991 Misc conf
Constructing a Pilot Library of Components for Avionic Systems.
Ada-Europe
José L. Fernández, Juan Antonio de la Puente