Publications

See the group research results at the UPM scientific portal

2021

J. Andión, J.C. Dueñas, F. Cuadrado.
Discrete-Event-Simulation Based on Machine Learning Predictive Agents.
Advances In Intelligent Systems And Computing. 1401 609-619, 2021.
DOI: 10.1007/978-3-030-87869-6_58

P. Rico, F. Cuadrado, J.C. Dueñas, J. Andion, H.A. Parada
Business Process Event Prediction Through Scalable Online Learning.
IEEE Access. 9 136313-136333, 2021.
DOI: 10.1109/ACCESS.2021.3117147

P. Rico, F. Cuadrado, J.C. Dueñas
Online Model Generation for Scalable Predictive Process Monitoring. Proceedings - 2021 International Young Engineers Forum In Electrical And Computer Engineering, Yef-Ece 2021. 7-12
DOI: 10.1109/YEF-ECE52297.2021.9505122

Y. Mateos, J. C. Dueñas and J. Andión.
Constrained-optimization in a 3D bin packing realistic problem. 2021 International Young Engineers Forum (YEF-ECE), 2021, pp. 115-120.
DOI: 10.1109/YEF-ECE52297.2021.9505150

2020

Juan A. de la Puente, Alejandro Alonso, Jorge Garrido, Juan Zamorano
An Embedded Systems Laboratory for Aerospace Students.
IFAC-PapersOnline, 53, 2 (2020), pp. 17338-17343.
DOI: 10.1016/j.ifacol.2020.12.1822.

Zhao, S., Garrido, J., Wei, R., Burns, A., Wellings, A., de la Puente, J.A.
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources.
Journal of Systems and Software, 159, art. no. 110449 (2020).
DOI: 10.1016/j.jss.2019.110449.

2019

Alejandro Alonso, Raúl Torres, Juan Zamorano, Jorge Garrido, Juan A. de la Puente.
El segmento de tierra del satélite UPMSat-2.
XL Jornadas de Automática, pp. 119-125 (2019).
DOI: 10.17979/spudc.9788497497169

E. Hernández-Martín, F. Calle, J.C. Dueñas, M Holgado, A. Gómez-Pérez.
Participation of women in doctorate, research, innovation, and management activities at Universidad Politécnica de Madrid: analysis of the decade 2006–2016.
Scientometrics. 120 (3): 1059-1089, 2019
DOI: 10.1007/s11192-019-03179-9

2018

Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente.
On the effect of protected entry servicing policies on the response time of Ada tasks.
In: Casimiro A., Ferreira P. (eds) Reliable Software Technologies – Ada-Europe 2018.
Lecture Notes in Computer Science, vol 10873., pp. 73-86 Springer (2018).
DOI: 10.1007/978-3-319-92432-8_5

Jorge Garrido, Juan Zamorano, Juan A, de la Puente
On Protocols for Accessing Protected Objects on Multiprocessors.
Ada User Journal, 39 (2), pp. 116-118. (2018)
ISSN: 13816551

Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Timing Analysis of the UPMSat-2 Communications Subsystem.
3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control CESCIT 2018.
IFAC-PapersOnLine, Volume 51, Issue 10, 2018, Pages 217-222.
DOI: 10.1016/j.ifacol.2018.06.265.

J.C. Dueñas, J.M. Navarro, H.A.Parada, J. Andión, F. Cuadrado.
Applying Event Stream Processing to Network Online Failure Prediction.
IEEE Communications Magazine, 56 (1): 166-170, 2018
DOI: 10.1109/MCOM.2018.1601135

J.M. Navarro, J. Andión, J.C. Dueñas.
Optimizing Failure Prediction Time Windows Through Genetic Algorithms and Random Forests.
IEEE Access. 6 58307-58323, 2018
DOI: 10.1109/ACCESS.2018.2874440

J. Andión,J.M. Navarro, G. López, M. Álvarez-Campana, J.C. Dueñas.
Smart Behavioral Analytics over a Low-Cost IoT Wi-Fi Tracking Real Deployment.
Wireless Communications & Mobile Computing. 2018 (3136471)
DOI: 10.1155/2018/3136471

2017

Santiago Pindado, Elena Roibas-Millan, Javier Cubas, Andrés García, Ángel Sanz, Sebastián Franchini, Isabel Pérez-Grande, Gustavo Alonso, Javier Pérez-Álvarez, Félix Sorribes-Palmer, Antonio Fernández-López, A., Mikel Ogueta-Gutierrez, Igancio Torralbo, Juan Zamorano, Juan Antonio de la Puente, Alejandro Alonso, Jorge Garrido.
The UPMSat-2 Satellite: An Academic Project within Aerospace Engineering Education
Athens ATINER'S Conference Paper Series, No: ENGEDU2017-2333.

Shuai Zhao, Jorge Garrido, Alan Burns, Andy Wellings
New Schedulability Analysis for MrsP
23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE 2017 .
DOI 10.1109/RTCSA.2017.8046311.

Jorge Garrido, Juan A. de la Puente, Juan Zamorano, Miguel A. de Miguel, Alejandro Alonso
Timing analysis tools in a model-driven development environment
IFAC-PapersOnline, 50, 1, pp. 5875–5880 (2017).
DOI 10.1016/j.ifacol.2017.08.1303.

Juan Zamorano, Jorge Garrido, Javier Cubas, Alejandro Alonso, Juan A. de la Puente
The Design and Implementation of the UPMSAT-2 Attitude Control System
IFAC-PapersOnline, 50, 1, pp. 11245–11250 (2017).
DOI 10.1016/j.ifacol.2017.08.1607.

J. Navarro, J. Andión, J. C. Dueñas, H. Parada.
Root Cause Analysis of network failures using Machine Learning and Summarization Techniques.
IEEE Communications, September 2017.
DOI: 10.1109/MCOM.2017.1700066.

Jorge Garrido, Shiai Zhao, Alan Burns, Andy Wellings
Supporting Nested Resources in MrsP.
In: Blieberger J., Bader M. (eds) Reliable Software Technologies – Ada-Europe 2017.
Lecture Notes in Computer Science, vol 10300. Springer.
DOI 10.1007/978-3-319-60588-3_5.

Marisol García-Valls, Christian Calva-Urregoa, Juan A.de la Puente, AlejandroAlonso
Adjusting middleware knobs to assess scalability limits of distributed cyber-physical systems.
Computer Standards & Interfaces, vol. 51, pp. 95--103 (2017).
DOI 10.1016/j.csi.2016.11.003

Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.
In: Blieberger J., Bader M. (eds) Reliable Software Technologies – Ada-Europe 2017.
Lecture Notes in Computer Science, vol 10300. Springer.
DOI 10.1007/978-3-319-60588-3_1.

J. Andión, J.M. Navarro, M. Álvarez-Campana, J.C. Dueñas.
A passive, non-intrusive, cheap method to identify behaviours and habits in the Campus.
Proceedings of the XIII Jornadas de Ingenieria Telematica - JITEL2017, vol. 40, no. 47, pp. 10–4995, September 2017.
DOI: 10.4995/JITEL2017.2017.6570

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.

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.

Stephen Michell, Juan A. de la Puente
Session Summary: Time Vulnerabilities
Ada Letters, 36, 1, pp. 103-106. ACM 2016.
DOI 10.1145/2971571.2971588.

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, 2015.
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, vol. 48, no. 10, pp. 240--245. 2015
DOI 10.1016/j.ifacol.2015.08.138

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.

B. García, J. C. Dueñas.
Web browsing automation for applications quality control.
Journal of Web Engineering, vol 14 n5-6, pg 474-502. 2015. Rinton Press.
DOI: 10.26421/JWE15.5-6

M. Pérez, A. Navas, H. Parada, J.C. Dueñas,
A tool for the analysis of change management processes in software development cycles
ICEIS 2015, Barcelona, España. 26-28 Abril 2015.

Navarro, José M, Parada, Hugo A., Dueñas, Juan C.
Classification in sparse, high-dimensional environments applied to distributed systems failure prediction.
14th International Conference on Artificial Intelligence and Soft Computing. Polish Neural Network Society. Zakopane, Polonia. 14-18 June 2015.
Artificial Intelligence and Soft Computing, Springer, 2015 pg 714-726. ISBN: 978-3-319-19369-4.

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, vol. 47, no. 3. 2014
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, vol. 47, no. 3. 2014
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, vol. 47, no. 3. 2014
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. pp. 55-60.
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 Systems 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 Systems 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
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, 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, vol. 11, no. 1, enero 2014.
DOI 10.1016/j.riai.2013.11.006.

Navas, Alvaro; Capelastegui, Pedro; Huertas, Francisco; Alonso-Rodriguez, Pablo; Dueñas, Juan C.
REST service testing based on inferred XML schemas.
Network Protocols and Algorithms,vol 6, num 2, pgs 6-21, 2014, ISSN: 1943-3581.

F. Cuadrado, A. Navas, J. C. Dueñas, L. M. Vaquero.
Research Challenges for Cross-Cloud Applications.
IEEE INFOCOM Workshop on Cross-Cloud Systems, 28-30 March 2014. Ottawa, Canadá.

Navarro, JM, Parada, H., Dueñas, JC.
System Failure Prediction Through Rare-Events Elastic-Net Logistic Regression.
AIMS 2014, Second International Conference on Artificial Intelligence, Modeling and Simulation, pg 120-126, 2014, IEEE. ISBN: 978-1-4799-7599-0

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.
DOI 10.1109/DSD.2013.37.

Q. Gu, F. Cuadrado, P. Lago, J.C. Dueñas.
3D architecture viewpoints on service automation.
Journal of Systems and Software, 2013.
DOI: 10.1016/j.jss.2012.12.035

R. Capilla, J. C. Dueñas, R. Ferenc.
A retrospective view of software maintenance and reengineering research.
Journal of Software: Evolution and Process, 2013.
DOI: 10.1002/smr.548

R. García-Carmona, F. Cuadrado, A. Navas, A. Celorio, J. C. Dueñas.
A Multi-level Monitoring Approach for the Dynamic Management of Private IaaS Platforms.
Journal of Internet Technology, 2013.
DOI: 10.6138/JIT.2013.14.4.05

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.

R. García-Carmona, M. Peirano, J. C. Dueñas, A. Navas
An Architecture for a Heterogeneous Private IaaS Management System.
Cloud Computing 2013 : The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization. May 27-31, 2013. Valencia, Spain.

P. Capelastegui, A. Navas, F. Huertas, R. García-Carmona, J. C. Dueñas,
An online failure prediction system for private IaaS platforms.
Second International Workshop on Dependability Issues in Cloud Computing, DISCCO 2013, September 30, 2013. Braga, Portugal.

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.

Juan Zamorano, Ángel Esquinas, Juan A.delaPuente.
On real-time partitioned multicore systems.
Ada Letters, 33, 2, pp. 33--39. August 2013.
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.
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.
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.
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.

A. Navas, P. Capelastegui, F. Huertas, P. Alonso-Rodriguez, J. C. Dueñas.
Sistema de pruebas de servicios REST mediante análisis de esquemas inferidos.
XI Jornadas de Ingeniería Telemática, JITEL 2013, 28-39 Octubre 2013. Granada, España.

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.
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.
DOI 10.4230/OASIcs.WCET.2012.81.

Peter J. Bradley, Juan A. de la Puente, Juan Zamorano, Daniel Brosnan.
A Platform for Real-Time Control Education with LEGO MINDSTORMS.
IFAC Proceedings Volumes, 45, 11 (2012)
DOI 10.3182/20120619-3-RU-2024.00062.

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.

Ángel Esquinas, 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.

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.

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.
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.
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, 42, 9 (2011)
DOI 10.1002/spe.1118

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

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.

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.
DOI 10.1109/SEAA.2011.40

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, July 2011
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.
DOI 10.1007/978-3-642-21338-0_12

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.

2010 and before

Peter J. Bradley, Juan A. de la Puente, and Juan Zamorano.
Real-time system development in Ada using LEGO® mindstorms® NXT.
Ada Letters, 30, 3, December 2010.
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.

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.
DOI 10.1109/ETFA.2010.5641342

Alejandro Alonso, Emilio Salazar, and Jorge López.
Resource Management for Enhancing Predictability in Systems with Limited Processing Capabilities.
15th IEEE International Conference on Emerging Technologies and Factory Automation, — ETFA 2010.
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.

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.

José M. del Álamo, Miguel A. Monjas, Juan Carlos Yelmo, Beatriz San Miguel, Rubén Trapero, Antonio M. Ferná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.
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.
DOI 10.1109/ISORC.2010.34

Juan Carlos Yelmo, Cristina Martí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.
DOI 10.1109/TLA.2010.5514438

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.
DOI 10.1109/INDIN.2009.5195801.

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.
DOI 10.1109/ICESS.2009.93

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
DOI 10.1109/WAINA.2009.93.

Alejandro Alonso, Emilio Salazar, and Jorge López.
Improving Predictability in Service Oriented Architectures.
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, Valencia, 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

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, 2008. ISBN 978-0-387-09660-5; DOI 10.1007/978-0-387-09661-2_15.

Juan A. de la Puente, Juan Zamorano, José A. Pulido, Santiago Urueña.
The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems.
IFAC Proceedings Volumes, 41, 2 (2008), pages 10680 – 10685
DOI 10.3182/20080706-5-KR-1001.01810.

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

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.

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.
Ada Letters, XXVII, 2, August 2007.
DOI 10.1145/1316003.1316013

Santiago Urueña, Juan Zamorano.
Building High-Integrity Distributed Systems with Ravenscar Restrictions.
Ada Letters, XXVII, 2, August 2007.
DOI 10.1145/1316003.1316008

Santiago Urueña, José A. Pulido, José Redondo, Juan Zamorano.
Implementing the new Ada 2005 real-time features on a bare board kernel.
Ada Letters, XXVII, 2, August 2007.
DOI 10.1145/1316003.1316016

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

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 Alejandro Alonso, José Luis Villarroel (eds.), Actas del II Simposio de Sistemas de Tiempo Real — CEDI 2007. Zaragoza, Spain, 2007.

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

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.

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.
DOI 10.1007/978-3-540-73230-3_2

Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel.
RMI-HRT: Remote Method Invocation – Hard Real Time.
5th international workshop on Java technologies for real-time and embedded systems. Vienna, Austria. pp: 113–120, 2007.
DOI 10.1145/1288940.1288957

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, pp.93–104, May 2007.
DOI 10.1007/978-3-540-75664-4_10

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.
DOI 10.1109/ISORC.2007.48

Juan C. Dueñas, Hugo A. Parada G., Félix Cuadrado, Manuel Santillán, José L. Ruiz.
Apache and Eclipse: Comparing Open Source Project Incubators.
IEEE Software. November, 2007.
DOI 10.1109/MS.2007.157

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.
DOI 10.1007/978-3-540-75132-8_34

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.
DOI 10.1109/SHARK-ADI.2007.9

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.
DOI 10.1007/978-3-540-74974-5_28

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.
DOI 10.1007/978-3-540-75132-8_34

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.

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.

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.

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 20^th International Parallel and Distributed Processing Symposium (IPDPS 2006)
IEEE Computer Society Press, ISBN 1-4244-0054-6, Apr. 2006.

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.

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.

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.

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.

R. Capilla, 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.

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

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.

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.

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

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.

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.

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

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.

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.

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.

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.

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.

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.

Á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.

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).

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

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).

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).

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.

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).

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.

Á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).

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).

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).

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.

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

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.

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).

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.

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).

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.

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).

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.

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).

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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