default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuan Antonio de la Puente
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j9]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)
2010 – 2019
- 2018
- [c56]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: 73-86 - 2017
- [j8]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: 95-103 (2017) - [c55]Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente:
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. Ada-Europe 2017: 3-17 - 2016
- [c54]Marisol García-Valls, Cristian Calva-Urrego, Alejandro Alonso, Juan Antonio de la Puente:
Adjusting middleware knobs to suit CPS domains. SAC 2016: 2027-2030 - 2015
- [c53]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: 239-246 - [e3]Juan Antonio de la Puente, Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings. Lecture Notes in Computer Science 9111, Springer 2015, ISBN 978-3-319-19583-4 [contents] - 2013
- [c52]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: 127-142 - [c51]Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente:
Static analysis of WCET in a satellite software subsystem. WCET 2013: 87-96 - 2012
- [j7]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): 902-912 (2012) - [j6]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): 1137-1163 (2012) - [c50]Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano, Daniel Brosnan:
A Platform for Real-Time Control Education with LEGO MINDSTORMS. ACE 2012: 112-117 - [c49]Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso, Juan Zamorano:
Analysis of WCET in an experimental satellite software development. WCET 2012: 81-90 - 2011
- [c48]Á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: 160-173 - [c47]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: 209-216 - 2010
- [c46]Juan Zamorano, Juan Antonio de la Puente:
Design and implementation of real-time distributed systems with the ASSERT Virtual Machine. ETFA 2010: 1-7 - [c45]Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano:
Real-time system development in ada using LEGO® mindstorms® NXT. SIGAda 2010: 37-40
2000 – 2009
- 2009
- [c44]Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. Ada-Europe 2009: 16-29 - [c43]Marisol García-Valls, Alejandro Alonso Muñoz, Juan Antonio de la Puente:
Time-Predictable Reconfiguration with Contract-Based Resource Management. AINA Workshops 2009: 494-499 - [c42]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: 221-230 - [c41]Marisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente:
Dynamic adaptation mechanisms in multimedia embedded systems. INDIN 2009: 188-193 - 2008
- [c40]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: 1-14 - [c39]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: 151-160 - 2007
- [c38]José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
Handling Temporal Faults in Ada 2005. Ada-Europe 2007: 15-28 - [c37]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: 53-58 - [c36]Juan Antonio de la Puente, Santiago Urueña:
Summary. IRTAW 2007: 96-97 - [e2]Juan Antonio de la Puente:
Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007. ACM 2007, ISBN 978-1-4503-7840-6 [contents] - 2006
- [c35]José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente:
Hierarchical Scheduling with Ada 2005. Ada-Europe 2006: 1-12 - [c34]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: 215-226 - [c33]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 - 2005
- [j5]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): 59-89 (2005) - [j4]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): 587-611 (2005) - 2004
- [c32]Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente:
Implementing Execution-Time Clocks for the Ada Ravenscar Profile. Ada-Europe 2004: 132-143 - 2003
- [c31]Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano:
A Test Environment for High Integrity Software Development. Ada-Europe 2003: 359-267 - [c30]Brian Dobbing, Juan Antonio de la Puente:
Session: status and future of the Ravenscar profile. IRTAW 2003: 55-57 - [c29]Juan Antonio de la Puente, Juan Zamorano:
Execution-time clocks and Ravenscar kernels. IRTAW 2003: 82-86 - 2002
- [c28]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: 357-366 - [c27]Juan Zamorano, Juan Antonio de la Puente:
Precise response time analysis for Ravenscar kernels. IRTAW 2002: 53-57 - [c26]Juan Antonio de la Puente, Luís Miguel Pinho:
Session summary: safety improvements for consideration. IRTAW 2002: 120-122 - [c25]Michael González Harbour, Juan Antonio de la Puente:
Session on real-time, fault tolerance, and distribution. IRTAW 2002: 123-124 - 2001
- [c24]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: 317-327 - [c23]Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente:
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. Ada-Europe 2001: 392-404 - 2000
- [j3]Juan Antonio de la Puente:
Real-Time Object-Oriented Design and Formal Methods. Real Time Syst. 18(1): 79-83 (2000) - [c22]Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano:
An Open Ravenscar Real-Time Kernel for GNAT. Ada-Europe 2000: 5-15 - [c21]Alejandro Alonso, Juan Antonio de la Puente:
Implementation of mode changes with the Ravenscar profile. IRTAW 2000: 27-32 - [c20]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: 85-90 - [c19]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: 158-167
1990 – 1999
- 1999
- [c18]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: 73-77 - [e1]Michael González Harbour, Juan Antonio de la Puente:
Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1622, Springer 1999, ISBN 3-540-66093-3 [contents] - 1998
- [c17]José L. Fernández, Bárbara Álvarez, Francisco J. 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: 213-224 - [c16]Paul C. Clements, Juan Antonio de la Puente:
Analysis of Software Architectures. ESPRIT ARES Workshop 1998: 140-142 - [c15]Juan C. Dueñas, William Lopes de Oliveira, Juan Antonio de la Puente:
A Software Architecture Evaluation Model. ESPRIT ARES Workshop 1998: 148-157 - [c14]Alejandro Alonso, Marisol García-Valls, Juan Antonio de la Puente:
Assessment of Timing Properties of Family Products. ESPRIT ARES Workshop 1998: 161-169 - [c13]Juan C. Dueñas, William Lopes de Oliveira, Juan Antonio de la Puente:
Architecture Recovery for Software Evolution. CSMR 1998: 113-120 - 1997
- [c12]Miguel A. de Miguel, Alejandro Alonso, Juan Antonio de la Puente:
Object-oriented design of real-time systems with stereotypes. RTS 1997: 216-223 - [c11]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: 206-211 - [c10]Andy J. Wellings, Juan Antonio de la Puente:
Object-oriented programming and real-time (session summary). IRTAW 1997: 16-17 - [c9]Alejandro Alonso, Juan Antonio de la Puente, Ken Tindell:
Components for the implementation of fixed priority real-time systems in ADA. IRTAW 1997: 18-23 - 1996
- [c8]Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez:
Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries. Ada-Europe 1996: 78-88 - [c7]Alejandro Alonso, Juan Antonio de la Puente:
Building Reusable Software Architectures with Ada 95. ICECCS 1996: 467-472 - 1995
- [c6]Alejandro Alonso, Ignacio Casillas, Juan Antonio de la Puente:
Dynamic replacement of software in hard real-time systems: practical assessment. RTS 1995: 26-33 - [c5]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: 47-54 - 1993
- [j2]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): 153-171 (1993) - [j1]Juan Antonio de la Puente, Alejandro Alonso, Gonzalo León, Juan C. Dueñas:
Distributed Execution of Specifications. Real Time Syst. 5(2-3): 213-234 (1993) - [c4]Alejandro Alonso, Juan Antonio de la Puente:
Dynamic replacement of software in hard real-time systems. RTS 1993: 76-81 - 1992
- [c3]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: 104-115 - [c2]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: 79-84 - 1991
- [c1]José L. Fernández, Juan Antonio de la Puente:
Constructing a Pilot Library of Components for Avionic Systems. Ada-Europe 1991: 362-371
Coauthor Index
aka: Alejandro Alonso Muñoz
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
