Juan Antonio de la Puente

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 5

Top Topics

Database Machines

Educational Modeling Languages

Top Venues

J. Syst. Softw.

Publications

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