DIT-UPM

Menu

Valid XHTML 1.0 Strict

¡CSS Válido!

Publicaciones / Publications

Los enlaces a ficheros PDF locales sólo están accesibles para usuarios autorizados.
Links to local PDF files are only accessible to authorised users

Año de publicación / Year of publication

20162015201420132012201120102009200820072006200520042003200220012000199919981997199619951994199319921991


2016

Elena Gómez, Juan P. Salazar, Miguel A. de Miguel
Performance analysis of persistence technologies for cloud repositories of models,
XXI Jornadas de Ingeniería del Software y Bases de Datos - CEDI 2016 Salamanca, Spain, 2016.

p>

Beatriz Lacruz, Jorge Garrido, Juan Zamorano, Juan A. de la Puente
Análisis de herramientas de generación automática de código.
In J. Javier Gutiérrez, Michael González Harbour (eds.), Actas del V Simposio de Sistemas de Tiempo Real — CEDI 2016. Salamanca, Spain, 2016.

Jorge Garrido, Juan A. de la Puente, Juan Zamorano
MrsP on Semi-Partitioned Systems.
In Sebastian Altmeyer (ed.), WiP Session of the 28th Euromicro Conference on Real-Time Systems — ECRTS16, pp. 4-6. Toulouse, 2016.

Jorge Garrido, Beatriz Lacruz, Juan Zamorano, Juan A. de la Puente
In Support of Extending the Ravenscar Profile.
Ada Letters, 36, 1, pp. 63-67. ACM 2016.
DOI 10.1145/2971571.2971579.

2015

Juan A. de la Puente, Jorge Garrido, Emilio Salazar, Juan Zamorano, Alejandro Alonso
Using Internet-based Technologies in a University Satellite Project.
IFAC Workshop on Internet Based Control Education, IBCE-15
IFAC-PapersOnline, 48/19, pp. 82--86. Elsevier, 2015.
DOI 10.1016/j.ifacol.2015.11.217.

Juan Zamorano, Jorge Garrido.
Schedulability analysis of PWM tasks for the UPMSat-2 ADCS.
In J.A. de la Puente, T. Vardanega (eds.), Reliable Software Technologies — Ada-Europe 2015,
LNCS 9111, pp. 85--99. Springer-Verlag, 2013.
ISBN ISBN 978-3-319-19584-1; DOI 10.1007/978-3-319-19584-1_6

Alejandro Alonso, Juan A. de la Puente, Juan Zamorano, Miguel A. de Miguel, Emilio Salazar, Jorge Garrido.
Safety Concept for a Mixed Criticality On-Board Software System.
2nd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control. IFAC-PapersOnline, 2015 (TBP)

Jorge Garrido, Juan Zamorano, Juan A. de la Puente, Alejandro Alonso, Emilio Salazar.
Ada, the programming language of choice for the UPMSAT-2 satellite.
Data Systems in Aerospace — DASIA 2015. Barcelona, 2015.

2014

Emilio Salazar, Alejandro Alonso,Jorge Garrido.
Mixed-criticality design of a satellite software system.
In E. Boje, X. Xia (eds.), Proceedings of the 19th IFAC World Congress, IFAC-PapersOnLine, 2014
ISBN 978-3-902823-62-5; DOI 10.3182/20140824-6-ZA-1003.02002.

Alfons Crespo, Alejandro Alonso, Marga Marcos, Juan A. de la Puente, Patricia Balbastre.
Mixed Criticality in Control Systems.
In E. Boje, X. Xia (eds.), Proceedings of the 19th IFAC World Congress, IFAC-PapersOnLine, 2014
ISBN 978-3-902823-62-5; DOI 10.3182/20140824-6-ZA-1003.02004.

Juan A. de la Puente, Jorge Garrido, Juan Zamorano, Alejandro Alonso.
Model-Driven Design of Real-Time Software for an Experimental Satellite.
In E. Boje, X. Xia (eds.), Proceedings of the 19th IFAC World Congress, IFAC-PapersOnLine, 2014
ISBN 978-3-902823-62-5; DOI 10.3182/20140824-6-ZA-1003.01967 .

Juan A. de la Puente, Alejandro Alonso, Juan Zamorano, Jorge Garrido, Emilio Salazar, Miguel A. de Miguel.
Experience in spacecraft on-board software development.
Ada User Journal, 35, 1. March 2014.
ISSN 1381-6551.

Juan Zamorano, Juan A. de la Puente.
Memory Isolation in Many-Core Embedded Systems.
2nd Workshop on High-performance and Real-time Embedded SystemsProc. HIRES 2014.

Alejandro Alonso, Emilio Salazar, Miguel A. de Miguel.
A Toolset for the Development of Mixed-Criticality Partitioned Systems.
2nd Workshop on High-performance and Real-time Embedded SystemsProc. HIRES 2014.

Salvador Trujillo, Alfons Crespo, Alejandro Alonso, Jon Pérez.
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems
Microprocessors and Microsystems, 38, 8, Part B, November 2014, Pages 921–932
ISSN: 0141-9331, DOI 10.1016/j.micpro.2014.09.004.

Alejandro Alonso, Emilio Salazar.
Tools for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support
Ada User Journal, 35, 2. June 2014.
ISSN 1381-6551.

Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones, Alejandro Alonso.
Estrategia guiada por modelos para incluir aspectos de seguridad en sistemas empotrados basados en servicios web.
Revista Iberoamericana de Automática e Informática industrial, 11, 1, enero 2014.
ISSN 1697-7912; DOI 10.1016/j.riai.2013.11.006.

Alejandro Alonso and Emilio Salazar.
Toolset for Mixed-Criticality Partitioned Systems: Partitioning Algorithm and Extensibility Support Workshop on Mixed Criticality for Industrial Systems (WMCIS'2014)

2013

Salvador Trujillo, Alfons Crespo, Alejandro Alonso.
MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems.
16th Euromicro Conference on Digital System Design — DSD 2013., Santander, Spain, 2013.
ISBN 978-0-7695-5074-9; DOI 10.1109/DSD.2013.37.

Jorge Garrido, Juan A. de la Puente, Juan Zamorano, Alejandro Alonso.
Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.
In Marisol García-Valls, Pablo Basanta (eds.), Actas del IV Simposio de Sistemas de Tiempo Real — CEDI 2013. Madrid, Spain, 2013.
ISBN 978-84-695-8334-0.

Juan Zamorano, Ángel Esquinas, Peter Bradley, Daniel Brosnan, Jorge Garrido, Emilio Salazar, Alejandro Alonso, Juan A. de la Puente.
Arquitectura de tiempo real para el control de actitud en un satélite experimental.
R. Sarrate, J Quevedo (eds.), XXXIV Jornadas de Automática — JA2013. Terrassa, September 2013.
ISBN 978‐84‐616‐5063‐7.

Juan Zamorano, Ángel Esquinas, Juan A.delaPuente.
On real-time partitioned multicore systems.
16th International Real-Time Ada Workshop — IRTAW16.York, April 2013.
Published in Ada Letters, 33, 2, pp. 33--39. August 2013.
ISSN: 1094-3641; DOI 10.1145/2552999.2553003.

Jorge Garrido, Juan Zamorano, Juan A. de la Puente.
Static analysis of WCET in a satellite software subsystem.
12th International Workshop on Worst-Case Execution Time Analysis — WCET’2013.
OpenAccess Series in Informatics (OASIcs), Vol. 30, July 2013.
ISBN 978-3-939897-54-5. DOI 10.4230/OASIcs.WCET.2013.87.

Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan A. de la Puente.
A Model-Based Framework for Developing Real-Time Safety Ada Systems.
In H.B. Keller, E. Plödereder, P. Dencker, H. Klenk (eds.), Reliable Software Technologies — Ada-Europe 2013,
LNCS 7896, pp. 126--141. Springer-Verlag, 2013.
ISBN 978-3-642-38600-8; DOI 110.1007/978-3-642-38601-5_9

Juan Zamorano, Ángel Esquinas, Juan A.delaPuente.
Ada Real-Time Services and Virtualization.
Ada Letters, 33, 1, pp. 128--133. April 2013.
ISSN: 1094-3641; DOI 10.1145/2492312.2492325.

Victor Bos, Peter Mendham, Panu Kauppinen, Niklas Holsti, Alfons Crespo, Miguel Masmano, Juan A. de la Puente, Juan Zamorano.
Time and Space Partitioning the EagleEye Reference Mission.
Data Systems in Aerospace — DASIA 2013. Porto, 2013.

Alejandro Alonso, Emilio Salazar, Juan A. de la Puente.
Design of on-board software for an experimental satellite.
XVI Jornadas de Tiempo Real. Valencia 2103.

Ángel Esquinas, Peter Bradley.
Mejoras al conjunto de herramientas TASTE para el desarrollo de software embarcado..
XVI Jornadas de Tiempo Real. Valencia 2103.

2012

Miguel A. de Miguel, Emilio Salazar, Juan P. Silva, Javier Fernández-Briones.
Reusable Modelling Tool Assets: Deployment of MDA Artefacts.
In J. Rech, C. Bunse (Eds.), Emerging Technologies for the Evolution and Maintenance of Software Models, pp. 371–409.
ISBN 978-1-61350-438-3; DOI 10.4018/978-1-61350-438-3.ch014.

Jorge Garrido, Daniel Brosnan, Juan A. de la Puente, Alejandro Alonso, Juan Zamorano.
Analysis of WCET in an experimental satellite software development.
12th International Workshop on Worst-Case Execution Time Analysis — WCET’2012.
OpenAccess Series in Informatics (OASIcs), July 2012.
ISBN 978-3-939897-41-5. DOI 10.4230/OASIcs.WCET.2012.81.
PDF

Peter J. Bradley, Juan A. de la Puente, Juan Zamorano, Daniel Brosnan.
A Platform for Real-Time Control Education with LEGO MINDSTORMS.
In P. Pakshin (ed.), Proceedings of the 9th IFAC Symposium on Advances in Control Education
IFAC-PapersOnLine, 2012
ISBN 978-3-902661-00-5; DOI 10.3182/20120619-3-RU-2024.00062.
PDF

Francisco Ferrero, Elena Alaña, Ana Isabel Rodríguez, Juan Zamorano, Juan A. de la Puente.
Including Hardware/Software Co-design in the ASSERT Model Driven Engineering Process.
Ada User Journal, 33, 4, December 2012.
PDF

ÁngelEsquinas, Juan Zamorano, Juan A.de la Puente, Miguel Masmano, AlfonsCrespo.
Time and Space Partition Platform for Safe and Secure Flight Software.
Data Systems in Aerospace — DASIA 2012. Dubrovnik, 2012.
PDF

Juan A. de la Puente, Juan Zamorano, Alejandro Alonso, Daniel Brosnan.
A Real-Time Computer Control Platform for an Experimental Satellite.
XV Jornadas de Tiempo Real. Santander 2102.
PDF

Marisol García Valls, Alejandro Alonso, Juan A. de la Puente.
A dual-band priority assignment algorithm for dynamic QoS resource management.
Future Generation Computer Systems, 2012.
ISSN 0167-739X; DOI 10.1016/j.future.2011.10.005

2011

Juan Pedro Silva Gallino, Miguel De Miguel, Javier Fernández Briones, Alejandro Alonso.
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures.
8th International Workshop on Web Services and Formal Methods — WS-FM'11.
Springer LNCS, vol. 7176, 2012, pp. 128–142.
ISBN 978-3-642-29833-2; DOI 10.1007/978-3-642-29834-9_10.

Antonio Monzón, José L. Fernández, Juan A. de la Puente
Application of Deadlock Risk Evaluation of Architectural Models
Software: Practice and Experience, 2011.
ISSN 1097-024X; DOI 10.1002/spe.1118
PDF

Juan Zamorano, Ángel Esquinas and Juan A. de la Puente.
Ada Real-Time Services and Virtualization.
15th International Real-Time Ada Workshop — IRTAW15
Published in Ada-Letters, vol. 33, no.1.
PDF

Peter J. Bradley, Juan A. de la Puente and Juan Zamorano.
Ada User Guide for LEGO MINDSTORMS NXT.
Ada User Journal, 32, no. 3. September 2011.
PDF

Héctor Pérez, J. Javier Gutiérrez, Esteban Asensio, Juan Zamorano, Juan A. de la Puente.
Model-driven development of high-integrity distributed real-time systems using the end-to-end flow model.
37th Euromicro Conference on Software Engineering and Advanced Applications.
ISBN 978-1-4577-1027-8; DOI 10.1109/SEAA.2011.40
PDF

Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones, Alejandro Alonso.
Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures.
IEEE International Conference on Services Computing — SCC 2011, Washington DC, July 2011
ISBN 978-0-7695-4462-5; DOI 10.1109/SCC.2011.102.

Ángel Esquinas, Juan Zamorano, Juan A. de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo.
ORK+/XtratuM: An Open Partitioning Platform for Ada.
In A. Romanovsky and T. Vardanega (eds.), Reliable Software Technologies — Ada-Europe 2011,
LNCS 6652, pp.160–173. Springer-Verlag, 2011.
ISBN 978-3-642-21337-3; DOI 10.1007/978-3-642-21338-0_12
PDF

Francisco Ferrero, Elena Alaña, Ana Isabel Rodríguez, Juan A. de la Puente, Juan Zamorano, Eric Conquet.
Extending ASSERT for HW/SW Co-design.
Data Systems in Aerospace — DASIA 2011. Malta, 2011.
PDF

2010

Peter J. Bradley, Juan A. de la Puente, and Juan Zamorano.
Real-time system development in Ada using LEGO® mindstorms® NXT.
SIGAda'10 Proceedings of the ACM SIGAda annual international conference on SIGAda.
Ada Letters, 30, 3, December 2010.
ISBN 978-1-4503-0027-8; DOI 10.1145/1879063.1879077.

Jorge López, Ángel Esquinas, Juan Zamorano, and Juan Antonio de la Puente.
Experience in programming device drivers with the Ravenscar profile.
Ada User Journal, 31, no. 2. June 2010.
PDF

Juan Zamorano and Juan A. de la Puente
Design and Implementation of Real-Time Distributed Systems with the ASSERT Virtual Machine.
15th IEEE International Conference on Emerging Technologies and Factory Automation — ETFA 2010.
Bilbao, Spain, 2010.
ISBN 978-1-4244-6850-8; DOI 10.1109/ETFA.2010.5641342
PDF

Alejandro Alonso, Emilio Salazar, and Jorge López.
Resource Management for Enhancing Predictability in Systems with Limited Processing Capabilities.
15th IEEE International Conference on Emerging Technologies and Factory Automation, — ETFA 2010.
Bilbao, Spain, 2010.
ISBN 978-1-4244-6850-8; DOI 10.1109/ETFA.2010.5641339

Esteban Asensio, Jorge López, Juan A. de la Puente, and Juan Zamorano.
Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos (in Spanish).
In Alfons Crespo, Joan Vila (eds.), Actas del III Simposio de Sistemas de Tiempo Real — CEDI 2010.
Valencia, Spain, 2010.
ISBN 978-84-92812-64-6.
PDF

Javier F. Briones, Alejandro Alonso, Miguel A. de Miguel, and Juan Pedro Silva.
Evaluating non-functional properties globally. In Alfons Crespo, Joan Vila (eds.), Actas del III Simposio de Sistemas de Tiempo Real — CEDI 2010.
Valencia, Spain, 2010.
ISBN 978-84-92812-64-6.
PDF

José M. del Álamo, Miguel A. Monjas, Juan Carlos Yelmo, Beatriz San Miguel, Rubén Trapero, Antonio M. Fernández
Self- Service Privacy: User-Centric Privacy for Network-Centric Identity. In M. Nishigaki et al. (Eds.), IFIP AICT 321,4th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2010). Iwate, Japan, 2010.
ISBN ; DOI 10.1007/978-3-642-13446-3_2

Laurent-Walter Goix, Luca Lamorte, Paolo Falcarin, Carlos Baladron, Jian Yu, Isabel Ordás, Álvaro Martínez, Rubén Trapero, José M. del Álamo, Michele Stecca, and Massimo Maresca.
Leveraging Context-Awareness for Personalization in a User-Generated Services Platform.
In Q. Sheng, J. Yu and S. Dustdar (Eds.) Enabling Context-Aware Web Services: Methods, Architectures, and Technologies.
Chapman and Hall/CRC, 2010.
ISBN: 978-1-4398-0986-0; DOI 10.1201/EBK1439809853-c11

Juan Pedro Silva, Miguel A. de Miguel, Javier F. Briones, and Alejandro Alonso.
Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.
In Proceedings of the 13th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing — ISORC 2010.
Carmona, Spain, 2010.
ISBN 978-0-7695-4037-5; DOI 10.1109/ISORC.2010.34

Juan Carlos Yelmo, Cristina Martínez, José M, del Álamo, Miguel A. Monjas.
Protection of Personal Information in User-centric Converged Service Platforms.
IEEE Latin America Transactions, vol 8, no 2, pp 127-134, Apr 2010.
ISSN 1548-0992; DOI 10.1109/TLA.2010.5514438

2009

Santiago Urueña, Juan Zamorano, and Juan A. de la Puente.
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.
In Fabrice Kordon, Yvon Kermarrec (Eds.), Reliable Software Technologies – Ada-Europe 2009.
LNCS 5570, pp. 16 29. Springer-Verlag 2009.
ISBN 978-3-642-01923-4; DOI 10.1007/978-3-642-01924-1_2.

M. García-Valls, A. Alonso, and J. A. de la Puente.
Dynamic Adaptation Mechanisms in Multimedia Embedded Systems.
In Proc. of the 7th IEEE International Conference on Industrial Informatics. (IEEE INDIN 09). Cardiff, UK. 24-26 June 2009.
ISBN 978-1-4244-3760-3; DOI 10.1109/INDIN.2009.5195801.
PDF

M. García-Valls, A. Alonso, and J. A. de la Puente.
Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia Systems.
In Proc. of the 6th IEEE International Conference on Embedded Software and Systems. (IEEE ICESS 09). HangZhou, Zhejiang, China. 25-27 May 2009.
ISBN 978-0-7695-3678-1; DOI 10.1109/ICESS.2009.93
PDF

M. García-Valls, A. Alonso, and J. A. de la Puente.
Time-Predictable Reconfiguration with Contract-Based Resource Management.
In International Conference on Advanced Information Networking and Applications Workshops, 2009. WAINA '09
Bradford, UK, 2009
ISBN 978-1-4244-3999-7 ; DOI 10.1109/WAINA.2009.93.
PDF

Alejandro Alonso, Emilio Salazar, and Jorge López.
Improving Predictability in Service Oriented Architectures.
In Proceedings of the 30th IFAC Workshop on Real-Time Programming (WRTP 2009).
Mragowo (Poland),October 2009.

Javier F. Briones, Miguel A. de Miguel, Alejandro Alonso, and Juan Pedro Silva.
Quality of Service Composition and Adaptability of Software Architectures>.
In Proceedings of the 12th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC). Tokyo, Japan, 2009.
ISBN 978-0-7695-3573-9; DOI 10.1109/ISORC.2009.45

Félix Cuadrado, Juan Carlos Dueñas, Rodrigo García, José L. Ruiz.
A model for enabling context-adapted deployment and configuration operations for the banking environment.
IEEE International Conference on Networking and Services — ICNS'09, Velancia, Spain, 2009.
ISBN 978-1-4244-3688-0; DOI 10.1109/ICNS.2009.85

Juan Carlos Dueñas, José L. Ruiz, Félix Cuadrado, Boni García, Hugo Parada.
System Virtualization Tools for Software Development.
IEEE Internet Computing, vol. 13, no. 5, 2009.
ISSN 1089-7801; DOI 10.1109/MIC.2009.115

Philip Krutchen, Rafael Capilla, and Juan Carlos Dueñas.
The Decision View's Role in Software Architecture Practice.
IEEE Software, vol. 26, no. 2, 2009.
ISSN 0740-7459; DOI 10.1109/MS.2009.52

Rafael Capilla, Juan Carlos Dueñas, and Francisco Nava.
Viability for codifying and documenting architectural design decisions with tool support.
Journal of Software Maintenance and Evolution: Research and Practice. Pg: 81-119. 2009. ISSN 0740-7459. ISSN 1532-060XM; DOI 10.1002/smr.419

2008

Santiago Urueña, Juan Zamorano, José A. Pulido, Juan A. de la Puente.
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.
In Bernd Kleinjohann, Lisa Kleinjohann, Wayne Wolf (eds.), Distributed Embedded Systems: Design, Middleware and Resources Springer, Boston, 2008.
ISBN 978-0-387-09660-5; DOI 10.1007/978-0-387-09661-2_15.
PDF

Juan A. de la Puente, Juan Zamorano, José A. Pulido, Santiago Urueña.
The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems.
In Myung Jin Chung, Pradeep Misra (eds.), Proceedings of the 17th IFAC World Congress.
IFAC-PapersOnLine, 2008
ISBN 978-3-902661-00-5; DOI 10.3182/20080706-5-KR-1001.3469.
PDF

Santiago Urueña, José A. Pulido, Jorge López, Juan Zamorano, Juan A. de la Puente.
A New Approach to Memory Partitioning in On-board Spacecraft Software.
In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies — Ada-Europe 2008,
LNCS 5026, pp.1–14. Springer-Verlag, 2008. Best paper award
ISBN 978-3-540-68621-7; DOI 10.1007/978-3-540-68624-8_1
PDF 

Juan Zamorano, Juan A. de la Puente, José A. Pulido, Santiago Urueña.
The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.
Data Systems in Aerospace — DASIA 2008. Palma de Mallorca, Spain, 2008.
PDF

2007

José A. Pulido, Juan A. de la Puente, Matteo Bordin, Tullio Vardanega, Jérôme Hugues.
Ada 2005 Code Patterns for Metamodel-Based Code Generation.
13th International Real-Time Ada Workshop — IRTAW13
Ada Letters, XXVII, 2, August 2007.
BibTeX  PDF

Santiago Urueña, Juan Zamorano.
Building High-Integrity Distributed Systems with Ravenscar Restrictions
13th International Real-Time Ada Workshop — IRTAW13
Ada Letters, XXVII, 2, August 2007.
BibTeX  PDF

Santiago Urueña, José A. Pulido, José Redondo, Juan Zamorano.
Implementing the new Ada 2005 real-time features on a bare board kernel.
13th International Real-Time Ada Workshop — IRTAW13
Ada Letters, XXVII, 2, August 2007.
BibTeX  PDF

Vanesa Sánchez, Daniel Berjón, Juan Zamorano, Santiago Urueña.
Evaluación del protocolo de comunicaciones AR-TP (in Spanish). In Alejandro Alonso, José Luis Villarroel (eds.), Actas del II Simposio de Sistemas de Tiempo Real — CEDI 2007. Zaragoza, Spain, 2007.
ISBN 978-84-9732-608-7.
PDF

José Redondo, José A. Pulido, Santiago Urueña, Juan A. de la Puente.
Implementación de los servicios temporales de Ada 2005 en un núcleo de tiempo real (in Spanish). In Alejandro Alonso, José Luis Villarroel (eds.), Actas del II Simposio de Sistemas de Tiempo Real — CEDI 2007. Zaragoza, Spain, 2007.
ISBN 978-84-9732-608-7.
PDF

Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel.
Serialización en sistemas distribuidos de tiempo real crítico (in Spanish). In Alejandro Alonso, José Luis Villarroel (eds.), Actas del II Simposio de Sistemas de Tiempo Real — CEDI 2007. Zaragoza, Spain, 2007.
ISBN 978-84-9732-608-7.
PDF

Juan Zamorano, Juan A. de la Puente, Jérôme Hugues, Tullio Vardanega.
Run-time mechanisms for property preservation in high-integrity real-time systems..
OSPERT 2007 — Workshop on Operating Systems Platforms for Embedded Real-Time applications. Pisa, Italy, July 2007.
BibTeX  PDF

José A. Pulido, Santiago Urueña, Juan Zamorano, Juan A. de la Puente.
Handling Temporal Faults in Ada 2005.
In Nabil Abdennadher and Fabrice Kordon (eds.), Reliable Software Technologies — Ada-Europe 2007,
LNCS 4498, pp.15–28. Springer-Verlag, 2007.
BibTeX  PDF

Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel.
RMI-HRT: Remote Method Invocation – Hard Real Time.
In Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems. Vienna, Austria. ACM International Conference Proceeding Series, ISBN: 978-59593-813-8, pp: 113–120, 2007.

Javier Fernández-Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso.
Application of Safety Analysis in Model Driven Development.
In R. Obermaisser, Y. Nah, P.Puschner, F.J. Rammig (eds.) 5th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems — SEUS 2007.
LNCS 4761, Springer Verlag, ISBN: 978-3-540-75663-7, pp.93–104, May 2007.

Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel.
Predictable Serialization in Java.
In 10th IEEE International Symposium on Object/component/service-Oriented Real-Time Distributed Computing — ISORC 2007. IEEE Computer Society, pp.102–110, May 2007.

Juan C. Dueñas, Hugo A. Parada G., Félix Cuadrado, Manuel Santillán, José L. Ruiz.
An exploration of open source project incubators.
IEEE Software. November, 2007.

Francisco Nava, Rafael Capilla, Juan C. Dueñas.
Processes for Creating and Exploiting Architectural Design Decisions with Tool Support.
European Conference on Software Architecture 200.
LNCS 4758, Springer-Verlag, pp.321–324, 2007.

Rafael Capilla, Alejandro Sánchez, Juan C. Dueñas.
An Analysis of Variability Modeling and Management Tools for Product Line Development.
In T. Männistö, E .Niemelä, and M Raatikainen (eds.), Software and Services Variability Management Workshop — Concepts, Models and Tools. Helsinki, Finland, April 2007. Pg: 32–47. ISBN: 978-951-22-8747-5

Rafael Capilla, Francisco Nava, Juan C. Dueñas.
Modeling and Documenting the Evolution of Architectural Design Decisions-
2nd Workshop on Sharing and Reusing Architectural Knowledge (ICSE Workshop). Minneapolis, USA, May 2007. ISBN: 0-7695-2830-9. IEEE Computer Society. 2007.

Juan C. Yelmo, Rubén Trapero, José M. del Álamo, Juergen Sienel, Marc Drewniok, Isabel Ordás, Kathleen McCallum.
User-Driven Service Lifecycle Management – Adopting Internet Paradigms in Telecom Services.
LNCS 4749, Springer-Verlag, pp.342–352, 2007.

Francisco Nava, Rafael Capilla, Juan C. Dueñas.
Processes for Creating and Exploiting Architectural Design Decisions with Tool Support.
European Conference on Software Architecture 2007. LNCS 4758, Springer-Verlag, pp.321–324, 2007.

2006

José A. Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan A. de la Puente.
Hierarchical Scheduling with Ada 2005.
In Luís Miguel Pinho, Michael González Harbour (eds.), Reliable Software Technologies — Ada-Europe 2006.
LNCS 4006, pp.1–12. Springer-Verlag, 2006. ISBN 3-540-34663-5.
BibTeX  PDF

Santiago Urueña, Juan Zamorano, Daniel Berjón, José A. Pulido, Juan A. de la Puente
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.
In Luís Miguel Pinho, Michael González Harbour (eds.), Reliable Software Technologies — Ada-Europe 2006.
LNCS 4006, pp.215–226. ISBN 3-540-34663-5, 2006.
BibTeX  PDF

Juan A. de la Puente, Juan Zamorano
ORK: Tecnología de software fiable para sistemas de tiempo real.
Revista Iberoamericana de Automática e Informática Industrial, vol. 3, no. 2, abril 2006, pp.19–27.
BibTeX  PDF 

Santiago Urueña, Juan Zamorano, Daniel Berjón, José Pulido, Juan Antonio de la Puente.
Schedulability Analysis of AR-TP, a Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
In Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006)
IEEE Computer Society Press, ISBN 1-4244-0054-6, Apr. 2006.
BibTeX  PDF  Presentation

2005

Juan C. Dueñas, José L. Ruiz, Manuel Santillán.
An End-to-End Service Provisioning Scenario for the Residential Environment.
IEEE Communications, Sept. 2005.

José A. Pulido, Santiago Urueña, Juan A. de la Puente, and Juan Zamorano.
Using an Architecture Description Language to Model Real-Time Kernels.
In J.A. de la Puente (ed.), I Simposio sobre sistemas de tiempo real (CEDI 2005).
Thomson-Paraninfo. ISBN 84-9732-448-X.
BibTeX  PDF

Juan C. Dueñas, Manuel Santillán, Jose L. Ruiz.
JMX Redux.
Dr. Dobb's Journal, nº 374, July 2005, pg 50–58.. ISSN 1044-789X.

Santiago Urueña, José A. Pulido, Juan Zamorano, and Juan A. de la Puente.
Adding new features to the Open Ravenscar Kernel.
1st International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, OSPERT 2005.
Palma de Mallorca, Spain, July 6–8, 2005.
BibTeX PDF

Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso.
Two Alternative RMI Models for Real-Time Distributed Applications.
In 8th IEEE Object-Oriented Real-Time Distributed Computing, ISORC2005.
IEEE Computer Society. ISBN 0-7695-2356-0. May 2005.

Rodrigo Cerón, Juan C. Dueñas, Enrique Serrano, Rafael Capilla.
A Meta-model for Requirements Engineering in System Family Context for Software Process Improvement using CMMI.
In Bomarius, Frank; Komi-Sirviö, Seija (Eds.) Product Focused Software Process Improvement 6th International Conference, PROFES 2005.
LNCS 3547. Springer-Verlag, 2005. ISBN: 3-540-26200-8.

Juan C. Dueñas, R. Capilla .
The Decision View of Software Architecture.
R. Morrison, F. Oquendo, eds. Software Architecture, 2nd European Workshop EWSA 2005, Pisa Italia.
LNCS 3527. pp.222–230. Springer-Verlag. 2005. ISSN 0302-9743, ISBN 3-540-26275-X

Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente.
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels
Real-Time Systems, 29, 1, Jan. 2005, pp.59–89.
BibTeX  PDF

2004

Alejandro Alonso, Alejandro Sánchez-Rico, Miguel Lobo, José Ruíz.
Portable Components for Resource Management.
In W.A. Halang (ed.), 28th IFAC/IFIP Workshop on Real-Time Programming, 2004.
Elsevier Science, 2004. ISBN: 0080445829

Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente.
Implementing Execution-Time Clocks for the Ada Ravenscar Profile
In Albert Llamosí and Alfred Strohmeier (Eds.), Reliable Software Technologies — Ada-Europe 2004
LNCS 3063, ISBN 3-540-22011-9, 2004.
BibTeX  PDF

R. Caplilla, J.C. Dueñas.
Evolution and Maintenance of Web Sites: A Product Line Model.
In Khaled Khan, Yan Zhang (eds.), Managing Corporate Information Systems Evolution and Maintenance.
IDEA group, USA. ISBN 1-59140-366-9. 2004.

Rodrigo Cerón, José L. Arciniegas, José L. Ruiz, Juan C. Dueñas, Jesús Bermejo, Rafael Capilla.
Architectural Modelling in Product Family Context.
In F. Oquendo, B. Warboys, R. Morrison (Eds.), Software Architecture, First European Workshop, EWSA 2004.
Springer-Verlag, LNCS 3047, pp.25–43. 2004.

José L. Ruiz, José L. Arciniegas, Rodrigo Cerón, Jesús Bermejo, Juan C. Dueñas.
A framework for resolution of deployment dependencies in Java-enabled service gateways.
In N. Guelfi, E. Astesiano, G. Reggio (Eds.), Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003.
Springer-Verlag, LNCS 2952, pp.1–11, 2004.

2003

Juan A. de la Puente, Juan Zamorano.
Execution-time clocks and Ravenscar kernels.
Ada Letters, XXIII, 4, December 2003.
BibTeX  PDF

C.M. Otero Perez, L. Steffens, P. van der Stok, S. van Loo, A. Alonso, J.E. Ruiz, R.J. Bril, M. García-Valls.
QoS-based resource management for ambient intelligence.
In Twan Basten, Marc Geilen, Harmke de Groot (Eds.), Ambient Intelligence: Impact on Embedded System Design.
Kluwer Academic Publishers, ISBN 1-4020-7668-1, pp.159–182, November 2003.
BibTeX  PDF

Nikolaos Voros, Luis Sánchez, Alejandro Alonso, Alexios Birbas, Michael Birbas, Ahmed Jerraya.
Hardware/software co-design of complex embedded systems.
Design Automation for Embedded Systems, vol. 8, no. 1, pp.5–49, 2003.
BibTeX  PDF

J.L. Ruiz, C. Acuña, J. Bermejo, J. C. Dueñas.
OSGi Service Platform in Integrated Management Environments.
OSGi Alliance World Congress.
Barcelona, 2004.

J.C. Dueñas, J. Mellado, R. Cerón, J.L. Arciniegas, J.L. Ruiz, R. Capilla.
Model driven testing in Product Family Context.
First European Workshop Model Driven Architecture with Emphasis on Industrial Applications.
Enschede, The Netherlands, 2004.

Ruth Tolosa, José P. Mayo, Miguel A. de Miguel, Alejandro Alonso, Teresa Higuera.
Container model based on RTSJ services.
In Robert Meersman, Zahir Tari et al. (eds.), On the Move to Meaningful Internet Systems: The First Workshop on Java Technologies for Real-Time and Embedded Systems.
Springer-Verlag, LNCS 2889, ISBN 3-540-20494-6, pp.385–396, 2003
BibTeX  PDF

Rodrigo Cerón, Francisco Valsera, Jose L. Arciniegas, Jose L. Ruiz, Juan C. Dueñas.
Tools Requirements for Requirements Engineering in System Family Context.
International Workshop on Requirements Reuse in System Families, IWREQFAM (at ICSR8).
Madrid, 2004.

Antonio Monzón, Juan C. Dueñas.
Experience-based Approach to Requirements Reuse in Product Families with DOORS.
International Workshop on Requirements Reuse in System Families, IWREQFAM (at ICSR8).
Madrid, 2004.

Rodrigo Cerón, Jose L. Arciniegas, Jose L. Ruiz, Juan C. Dueñas.
A Meta-model for Requirements Engineering in System Family Context.
International Workshop on Requirements Reuse in System Families, IWREQFAM (at ICSR8).
Madrid, 2004.

Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano.
A test environment for high integrity software development.
In Jean-Pierre Rosen, Alfred Strohmeier (eds.), Reliable Software Technologies, Ada-Europe 2003.
Springer-Verlag, LNCS 2655, ISBN 3-540-403760, pp.359–367, 2003.
BibTeX  PDF

A. Alonso, M. Lobo, A. Sánchez, J. Zamorano.
Resource Management in Linux to Provide CPU Reserves.
Fith Real-Time Linux Workshop,
Valencia, 2003.

M.A. de Miguel, J.C. Yelmo.
QoS Specification for Component Infrastructures and Mobile Web Services.
Middleware 2003.
Rio de Janeiro, Brasil, 2003.

M.A. de Miguel.
QoS Modeling Language for High Quality Systems.
8th IEEE International Workshop on Object-oriented Real-time.
Guadalajara México, 2003.

R. Capilla, J..C. Dueñas.
Light-weight product-lines for evolution and maintenance of web sites.
Software Maintenance and Reengineering, IEEE Computer Society.
Benevento, Italia, 2003.

A. Alonso, M.A. de Miguel.
Advanced Operating Systems Services for Improving the Support to Quality of Service Frameworks.
International Workshop on Advanced Real-Time Operating Systems Services.
Porto, Portugal, 2003.

2002

Juan Zamorano, Juan A. de la Puente.
Precise response time analysis for Ravenscar kernels.
Ada Letters, XXII, 4, December 2002, pp.53–57.
PDF

José L. Fernández, Bill Mason.
A process for architecting real-time systems.
15 th International Conference on Software and Systems Engineering (ICSSEA). Paris, December 2002.
PDF

T. Higuera, M.A. de Miguel, J. Resano.
Dynamic detection of access errors and ilegal references in RTSJ.
Proceedings of the 8th IEEE Real-Time Embedded Technology and Applications Symposium — RTAS2002.
IEEE Communications Society, 2002.
PDF

M.A. de Miguel.
Elements of QoS-aware specification languages.
Proceedings of the Workshop Components-Based Software Engineering and Modeling Non-Functional Aspects. SIVOES-MONA2002, Dresden, 2002.
PDF

M.A. de Miguel, D. Exertier, S. Salicki.
Specification of model transformations based on meta templates.
Proceedings of the Workshop on Model Software Engineering — WiSME2002, Dresden 2002.
PDF

Miguel A. de Miguel, Jean Jourdan, Serge Salicki.
Practical experiences in the application of MDA.
UML 2002 — The Unified Modeling Language. 5th International Conference, Dresden 2002.
Springer-Verlag, LNCS 2460.
PDF

Juan Zamorano, José F. Ruiz.
GNAT/ORK: An open cross-development environment for embedded Ravenscar-Ada software.
In E.F. Camacho, L. Basañez, J.A. de la Puente (eds.), Proceedings of the 15th IFAC World Congress.
Elsevier Press, ISBN 0-08-044184-X, 2002.
PDF

Ángel M. Groba, Alejandro Alonso, José A. Rodríguez, Marisol García-Valls.
Response time of streaming chains: analysis and results.
14th Euromicro Conference on Real Time Systems.
IEEE Computer Society Press, 2002.
PDF

José F. Ruiz, Alejandro Alonso, Ángel M. Groba, Marisol García-Valls.
QoS and resource management in a distributed platform.
WIP Session of the 14th Euromicro Conference on Real-Time Systems — ECRTS 2002. Viena, 2002.

Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente.
Using object orientation in high integrity applications: A case study.
In J. Blienberger and A. Strohmeier (Eds.),Reliable Software Technologies — Ada-Europe 2002.
Springer-Verlag, LNCS 2361 (2002).
PDF

M.A. de Miguel.
Integration of QoS facilities into component container architectures.
5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing — ISORC 2002.
IEEE Computer Society, May 2002
PDF

Miguel A. de Miguel, José F. Ruiz, Marisol García-Valls.
QoS-aware component frameworks.
10th International Workshop on Quality of Service — IWQoS 2002.
IEEE Communications Society (2002).
PDF

Marisol García-Valls, Alejandro Alonso, José F. Ruiz, Ángel Groba.
An architecture for a quality of service resource manager middelware for flexible multimedia embedded systems.
International Workshop on Software Engineering and Middleware — SEM 2002.
Orlando, Florida (2002).
PDF

2001

José L. Fernández, Antonio Monzón.
Extending UML for real-time component based architectures.
14 th International Conference on Software and Systems Engineering (ICSSEA).
Paris, December 2001.
PDF

Alejandro Alonso, Roberto López, Juan A. de la Puente, Bárbara Álvarez, Andrés Iborra.
Using Linux and Ada in the development of distributed computer control systems.
IFAC Conference on New Technologies for Computer Control, NTCC'01. Hong-Kong, November 2001.
Elsevier Press, ISBN 0-08-043700 (2002).
PDF

José F. Ruiz, Juan A. de la Puente, Juan Zamorano, Ramón Fernández-Marina.
Exception support for the Ravenscar profile.
Ada Letters, XXI, 3, September 2001.
PDF

Ángel M. Groba, Alejandro Alonso.
Response time analysis of periodic streaming chains.
WIP Session of the 22nd IEEE Real-Time Systems Symposium — RTSS 2001.
IEEE Computer Society (2001).
PDF

Juan Zamorano, José F. Ruiz, Juan A. de la Puente.
Implementing Ada.Real_Time.Clock and absolute delays in real-time kernels.
In D. Craeynest and A. Strohmeier (eds.), Reliable Software Technologies. Ada-Europe 2001.
Springer-Verlag, LNCS 2043 (2001).
PDF

Tullio Vardanega, Rodrigo García, Juan A. de la Puente.
An application case for Ravenscar technology: Porting OBOSS to GNAT/ORK.
In D. Craeynest and A. Strohmeier (eds.), Reliable Software Technologies. Ada-Europe 2001.
Springer-Verlag, LNCS 2043 (2001).
PDF

Bárbara Álvarez, Andrés Iborra, Alejandro Alonso, Juan A. de la Puente.
Reference architecture for robot teleoperation: Development details and practical use.
Control Engineering Practice, (9) 4, April 2001.
PDF

Alejandro Alonso, Juan Antonio de la Puente.
Implementation of mode changes with the Ravenscar profile.
Ada Letters, XXI, 1, March 2001.
PDF

Juan A. de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García.
The design and implementation of the Open Ravenscar Kernel.
Ada Letters, XXI, 1, March 2001.
PDF

2000

Juan A. de la Puente, José F. Ruiz, Juan Zamorano.
An open Ravenscar real-time kernel for GNAT.
In Hubert B. Keller and Erhard Plödereder (eds.), Reliable Software Technologies. Ada-Europe 2000.
Springer-Verlag, LNCS 1845 (2000).
PDF

Juan Carlos Dueñas, Alejandro Alonso, William Lopes de Oliveira, Marisol García Valls, Juan A. de la Puente, Gonzalo León.
Software architecture assessment.
In Mehdi Jazayeri, Alexander Ran, Frank van der Linden (eds.), Software Architecture for Product Families.
Addison-Wesley, 2000.

Juan A. de la Puente, José F. Ruiz, Juan Zamorano, Rodrigo García, Ramón Fernández-Marina.
ORK: An open source real-time kernel for on-board software systems.
Data Systems in Aerospace — DASIA 2000. Montreal, Canada, 2000.
PDF

Bárbara Álvarez, Andrés Iborra, Alejandro Alonso, Juan Antonio de la Puente.
Reference architecture for robot teleoperation: Development details and practical use.
In V. Hernández and G. Irwin (eds.), AARTC'2000 — 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control. Palma de Mallorca, 2000.
Elsevier Science ISBN 0-08-043685-4 (2000).
PDF

Alejandro Alonso, Ramón F. Alfonso, José F. Ruiz, Marisol García-Valls.
On the use of a railroad model for real-time systems teaching and experimenting.
In A. Crespo and J. Vila (eds.), WRTP'2000 — 25th IFAC/IFIP Workshop on Real-Time Programming. Palma de Mallorca, Spain, May 2000.
Elsevier Science, ISBN 0-08-043686-2 (2000).

Bárbara Álvarez, Andrés Iborra,Alejandro Alonso, Juan A. de la Puente, Juan Ángel Pastor.
Developing multi-application remote systems.
Nuclear Engineering International, vol. 45, no. 548, March 2000; pp 24–28.

Juan A. de la Puente.
Real-time object-oriented design and formal methods.
Real-Time Systems, vol. 18, no. 1, January 2000; pp.79–83.
PDF

Rodrigo Cerón, Juan Carlos Dueñas, Juan A. de la Puente.
A first assessment of development processes with respect to product lines and component based development.
In Frank van der Linden (ed.), Software Architectures for Product Families.
Springer-Verlag, LNCS 1951 (2000).

Julio Mellado, Manuel Sierra, Ana Romera, Juan Carlos Duedñaas.
Railway-control product families: The Alcatel TAS platform experience.
In Frank van der Linden (ed.), Software Architectures for Product Families.
Springer-Verlag, LNCS 1951 (2000).

1999

C. Delgado Kloos, S. Pickin, L. Sánchez, and A. Groba.
High-level specification languages for embedded system design.
In A. Jerraya, J.P. Mermet (eds.), System Level Synthesis.
Kluwer Academic Publishers (NATO Science Series), 1999. ISBN 0-7923-5749-3

Alejandro Alonso, Luis Sánchez, Angel Groba, Simon Pickin, Natividad Martínez, Juan A. de la Puente.
Development of computer control systems with hardware-software codesign
In Chen, Cheng, and Zhang (eds.), Proceedings of the 14th IFAC World Congress, 1999.
Elsevier Science (1999). ISBN 0-08-043248-4.

Juan A. de la Puente , José F. Ruiz, Jesús M. González-Barahona.
Real-Time Programming with GNAT: Specialised Kernels versus POSIX Threads.
Ada Letters, XIX, 2, June 1999; pp.73–77.
PDF

José F. Ruiz, Jesús M. González-Barahona.
Implementing a new low-level tasking support for for the GNAT runtime system.
In M. González Harbour, Juan A. de la Puente (eds.), Reliable Software Technologies. Ada-Europe'99
Springer-Verlag, LNCS 1622 (1999).
PDF

Luis Sánchez, Simon Pickin, Ángel Groba, Alejandro Alonso, Natividad Martínez.
UF: Architectural language for multiformalism descriptions
Forum on Design Languages — FDL'99. Lyon, 1999.

1998

Juan A. de la Puente, Alejandro Alonso, Marisol Garcíaa-Valls, José F. Ruiz.
Teaching Real-Time Systems at DIT/UPM.
IEEE Workshop on Real-Time Education, 1998
IEEE Computer Society Press (1999) ISBN 0-7695-0134-6

Juan Carlos Dueñas, Juan A. de la Puente, Gonzalo León.
Reuse of Architectural Artifacts.
European Reuse Workshop, ERW'98, Madrid, 1998

Alejandro Alonso, Marisol García-Valls, Juan Antonio de la Puente.
Time Response Analysis of Complex Systems
In F. De Paoli and I.M. MacLeod (eds.), DCCS98 — 15th IFAC Workshop on Distributed Computer Control Systems, 1998.
Elsevier Science (1998). ISBN 0-08-043242-5

José L. Fernández.
An architectural style for object-oriented real-time systems.
5th International Conference on Software Reuse.
IEEE, 1998.
PDF

Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso, Juan Carlos Dueñas, Miguel Ángel de Miguel, Álvaro Rendón.
Advanced software engineering techniques for real-time systems.
In G. Morel (ed.), Advances in Industrial Engineering. Proceedings of the 9th IFAC Symposium on Information Control in Manufacturing, INCOM'98.
Elsevier Science (1998). ISBN 0-08-042928-9

José Luis Fernández, Bárbara Álvarez, Francisco García, Ángel Pérez, Juan Antonio de la Puente.Computer Science
A case study in quantitative evaluation of real-time software architecture.
In L. Asplund (ed.), Reliable Software Technologies — Ada-Europe'98
Springer-Verlag, LNCS 1411, 1998. ISSN 0302-9743.

Bárbara Álvarez , Alejandro Alonso, Juan Antonio de la Puente.
Timing analysis of a generic robot teleoperation software architecture.
Control Engineering Practice, vol. 6, no. 3, March 1998. pp.409–416.
PDF

Juan Carlos Dueñas, William Lopes de Oliveira, Juan Antonio de la Puente.
Architectural recovery for software evolution.
CSMR'98 — 2nd Euromicro Conference on Software Maintenance and Reengineering, 1998.
IEEE Computer Society Press (1998). ISBN 0-8186-8421-6.

Alejandro Alonso, Marisol García-Valls, Juan Antonio de la Puente.
Assessment of timing properties of family products.
2nd International Workshop On Development and Evolution of Software Architectures for Product Families, 1998.
Springer-Verlag, LNCS 1429 (1998).

Juan Carlos Dueñas, William Lopes de Oliveira, Juan Antonio de la Puente.
A software architecture evaluation model.
2nd International Workshop On Development and Evolution of Software Architectures for Product Families, 1998.
Springer-Verlag, LNCS 1429 (1998).

José L. Fernández, Juan A. de la Puente.
Architecture modeling at preliminary design of real-time systems.
European Reuse Workshop.
Madrid. European Software Institute 1998.
PDF

1997

Alejandro Alonso, Juan Antonio de la Puente and Ken Tindell.
Components for the implementation of fixed priority real-time Systems in Ada.
Ada Letters, XVII, 5, September/October 1997; pp.18–23.

Juan Zamorano, Alejandro Alonso and Juan Antonio de la Puente.
Building safety critical real-time systems with reusable cyclic executives.
Control Engineering Practice, vol. 5, no. 7, July 1997.

Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente.
Automatic generation of cyclic schedules.
WRTP'97 — 22nd IFAC/IFIP Workshop on Real-Time Programming 1997.
Elsevier Science (1998). ISBN 0 08 043045 7.

Alejandro Alonso, Gonzalo León, Juan Carlos Dueñas, Juan Antonio de la Puente.
Framework for documenting design decisions in product families development.
3rd IEEE International Conference on the Engineering of Complex Computer Systems, ICECCS'97..
IEEE Computer Society Press, 1996. ISBN 0-8186-8126-8.

Miguel Ángel de Miguel, Alejandro Alonso, Juan Antonio de la Puente.
Object-oriented design of real-time systems with stereotypes.
9th Euromicro Workshop on Real-Time Systems.
IEEE Computer Society Press, 1997. ISBN 0-8186-8034-2

Juan Carlos Dueñas, Álvaro Rendón, Miguel Ángel de Miguel.
Integrated validation of real-time system models.
9th Euromicro Workshop on Real-Time Systems, 1997.
IEEE Computer Society Press, 1997. ISBN 0-8186-8034-2.

Alejandro Alonso, Bárbara Álvarez, Juan A. Pastor, Juan Antonio de la Puente, Andrés Iborra.
Software architecture for a robot teleoperation system.
4th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 1997.
Elsevier Science (1997). ISBN 0-08-042930-0

José L. Fernández
A taxonomy of coordination mechanisms used by real-time processes.
Ada Letters, March 1997.

1996

Juan Zamorano, Alejandro Alonso and Juan Antonio de la Puente.
Building safety critical real-time systems with reusable cyclic executives.
WRTP'96 — 21st IFAC/IFIP Workshop on Real-Time Programming, 1996.
Elsevier Science (1997). ISBN 0-08-042614-X.

Alejandro Alonso, Juan Antonio de la Puente, Ángel Álvarez.
Building reusable software architectures in Ada.
2nd IEEE International Conference on the Engineering of Complex Computer Systems, ICECCS'96.
IEEE Computer Society Press (1996). ISBN 0-8186-7614-0.

Miguel Ángel de Miguel, Juan Carlos Dueñas, Álvaro Rendón, Juan Antonio de la Puente, Alejandro Alonso, Gonzalo León.
Early validation of real-time systems by model execution.
In J. Gertler, J.B. Cruz, M. Peshkin (eds.), Proceedings of the 13th IFAC World Congress.
Elsevier Science (1996) ISBN 0-08-042605-0

Juan Antonio de la Puente, Alejandro Alonso, Ángel Álvarez.
Mapping HRT-HOOD designs to Ada 95 hierarchical libraries.
In A. Strohmeier (ed.) Reliable Software Technologies — Ada-Europe'96.
Springer-Verlag, LNCS 1088 (1996). ISBN 3-540-61317-X.

1995

Alejandro Alonso, Juan Antonio de la Puente.
Practical issues in the implementation of fixed priority real-time systems.
WRTP'95 — 2Oth IFAC/IFIP Workshop on Real Time Programming 1995.
Elsevier Science (1996). ISBN 0-08-042590-9.

A. Rendón, J.C. Dueñaas, M.A. de Miguel, J. Leskela, J.A. de la Puente, G. León, A. Alonso.
Animation of heteregoneous prototypes of real-time systems.
1st IEEE International Conference on the Engineering of Complex Computer Systems, ICECCS'95.
IEEE Computer Society Press (1995). ISBN 0-8186-7401-6.

A. Alonso, J.C. Dueñas, G. León, J. A. de la Puente.
An environment for distributed prototyping of real-time systems.
Control Engineering Practice, 3, 6 (June 1995).

Alejandro Alonso, Ignacio Casillas, Juan A. de la Puente.
Dynamic replacement of software in hard real-time systems: Practical assessment.
7th Euromicro Workshop on Real-Time Systems.
IEEE Computer Society Press (1995). ISBN 0-8186-7112-2.

Hanne Christensen, Alejandro Alonso, Luciano Bresi, Marko Heikkinen.
IDERS: An integrated environment for the development of real-time systems.
7th Euromicro Workshop on Real-Time Systems, 1995.
IEEE Computer Society Press (1995). ISBN 0-8186-7112-2.

1994

Nabil Zakhama, Juan A. de la Puente.
A target code model for incremental prototyping.
DCCS94 — 12th IFAC Workshop on Distributed Computer Control Systems, 1994.
Elsevier Science (1994). ISBN 0-08-042237-3

A. Alonso, J.C. Dueñas, G. León, J. A. de la Puente.
An environment for distributed prototyping of real-time systems.
WRTP'94 — 19th IFAC Workshop on Real-Time Programming, 1994.
Elsevier Science (1995). ISBN 0-08-042372-8.

1993

Juan A. de la Puente.
Real-time systems development: A perspective.
In G.C. Goodwin and R.J. Evans (eds.), Proceedings of the 12th IFAC World Congress (1993).
Elsevier Science (1994) ISBN 0-08-042211-X.

Juan A. de la Puente,Alejandro Alonso, Gonzalo León, Juan Carlos Dueñas.
Distributed simulation of discrete event systems modelled by Time Petri Nets.
2nd European Control Conference — ECC'93.
University of Gröningen (1993). ISBN 90-367-0374-3.

G. León, J.C. Dueñas, J.A. de la Puente, N. Zakhama, A. Alonso.
The IPTES environment: Support for incremental, heterogeneous and distributed prototyping.
Real-Time Systems, 5, 2/3, (1993), pp.153–171.

J.A. de la Puente, A. Alonso, G. León, J.C. Dueñas.
Distributed execution of specifications.
Real-Time Systems, 5, 2/3, (1993), pp.213–234.

1992

A. Alonso, J. A. de la Puente.
Implementing mode changes and fault recovery for hard real-time systems in Ada.
WRTP'92 — 18th IFAC/IFIP Workshop on Real-Time Programming, 1992.
Pergamon Press (1992). ISBN 0-08-042015-X.

J. A. de la Puente, J. Zamorano, A. Alonso, J.L. Fernández.
Reusable executives for hard real-time systems in Ada.
In J. van Katwijk (ed.), Ada: Moving Towards 2000 — Ada-Europe'92.
Springer-Verlag, LNCS 603 (1992). ISBN 3-540-55585-4.

G. León, J.C. Dueñas, J. A. de la Puente, A. Alonso.
Real time object communication protocol for incremental and distributed prototyping.
4th Euromicro Workshop on Real-Time Systems, 1992.
IEEE Computer Society Press (1992). ISBN 0-8186-2815-4.

A. Alonso, J. A. de la Puente.
Reusable real-time executive in Ada: design issues.
Ada Letters, XIII, 2 (1992), pp.44–53. Also in AdaUser , 13 (1992), pp.63–67.

1991

J.A. de la Puente, G. León, M.A. Ruz, E.W. Sink.
An architecture for incremental prototyping of distributed real-time systems.
DCCS'91 — 10th IFAC Worklshop on Distributed Control Systems, 1991.
Pergamon Press (1992). ISBN 0-08-0417086-H.

J.L. Fernández, J.A. de la Puente.
Constructing a pilot library of components for avionics systems.
In D. Christodoulakis (ed.), Ada: The Choice for '92 — Ada-Europe'91.
Springer-Verlag, LNCS 499 (1991). ISBN 3-540-54092-X