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

2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 • 1994 • 1993 • 1992 • 1991

2012

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 (to appear in 2012).
ISSN 0167-739X; DOI 10.1016/j.future.2011.10.005

2011

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

Juan Zamorano, Ángel Esquinas and Juan A. de la Puente.
Ada Real-Time Services and Virtualization.
15th International Real-Time Ada Workshop — IRTAW15
To be published in Ada Letters.

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

Á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

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