| Hierarchical scheduling with Ada 2005 JA Pulido, S Urueña, J Zamorano, T Vardanega, JA de la Puente Reliable Software Technologies–Ada-Europe 2006, 1-12, 2006 | 26 | 2006 |
| Implementing the new Ada 2005 real-time features on a bare board kernel S Urueña, JA Pulido, J Redondo, J Zamorano ACM SIGAda Ada Letters 27 (2), 61-66, 2007 | 17 | 2007 |
| The ASSERT Virtual Machine: A predictable platform for real-time systems JA de la Puente, J Zamorano, JA Pulido, S Urueña IFAC World Congress 17 (1), 10680-10685, 2008 | 16 | 2008 |
| Handling temporal faults in Ada 2005 JA Pulido, S Urueña, J Zamorano, JA de la Puente Reliable Software Technologies–Ada Europe 2007, 15-28, 2007 | 14 | 2007 |
| A new approach to memory partitioning in on-board spacecraft software S Urueña, JA Pulido, J Lopéz, JR Zamorano, JA de la Puente Alfaro 13th International Conference on Reliable Software Technologies - Ada-Europe …, 2008 | 11 | 2008 |
| Building high-integrity distributed systems with Ravenscar restrictions S Urueña, J Zamorano ACM SIGAda Ada Letters 27 (2), 29-36, 2007 | 8 | 2007 |
| The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems S Urueña, J Zamorano, D Berjón, JA Pulido, JA de la Puente Reliable Software Technologies–Ada-Europe 2006, 215-226, 2006 | 6 | 2006 |
| Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems. S Urueña, J Zamorano, D Berjón, JA Pulido, JA de la Puente IPDPS 2006 - IEEE International Parallel & Distributed Processing Symposium, 2006 | 5 | 2006 |
| The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties. J Zamorano, JA de la Puente, JA Pulido, S Urueña DASIA 2008 - Data Systems In Aerospace, 2008 | 4 | 2008 |
| Adding new features to the Open Ravenscar Kernel S Urueña, JA Pulido, J Zamorano, JA de la Puente 1st International Workshop on Operating Systems Platforms for Embedded Real …, 2005 | 4 | 2005 |
| A reference architecture for space systems E Alaña, J Herrero, S Urueña, K Macioszek, D Silveira Proceedings of the 12th European Conference on Software Architecture …, 2018 | 3 | 2018 |
| A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems S Urueña, J Zamorano, JA de la Puente Reliable Software Technologies–Ada-Europe 2009, 16-29, 2009 | 3 | 2009 |
| Arquitectura Software de Comunicaciones para Sistemas Distribuidos Críticos con Requisitos de Tiempo Real Estrictos S Urueña, J Zamorano Doctoral Dissertation, Universidad Politécnica de Madrid, 2011 | 2 | 2011 |
| Guaranteeing Timing Requirements in the IXV On-Board Software S Urueña, N Pérez, BN Calvo, C Flores, A Jung Reliable Software Technologies–Ada-Europe 2015, 100-115, 2015 | 1 | 2015 |
| Software Integrity Analysis Applied to IRIO EPICS Device Support Based on FPGA Real-Time DAQ Systems D Sanz, A Bustos, J Autrán, M Fernandez, S Urueña, M Ruiz, ... 20th IEEE Real Time Conference (RT2016), 2016 | | 2016 |
| Certification Aspects in Critical Embedded Software Development with Model Based Techniques: Detection of Unintended Functions A Atencia Yepez, J Autrán Cerqueira, S Urueña, R Jurado 5th IAASS Conference: A Safer Space for a Safer World 699, 2011 | | 2011 |
| Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements S Urueña, JR Zamorano, JA Pulido, JA de la Puente IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES …, 2008 | | 2008 |
| Una máquina virtual para sistemas de tiempo real críticos A Juan, J Zamorano, S Uruena, JA Pulido Jornadas de Tiempo Real 11, 2008 | | 2008 |
| Evaluación del protocolo de comunicaciones AR-TP V Sánchez, J Zamorano, D Berjón, S Urueña II Simposio de Sistemas de Tiempo Real — CEDI 2007, 2007 | | 2007 |
| Implementación de los servicios temporales de Ada 2005 en un núcleo de tiempo real J Redondo, JA Pulido, S Urueña, JA de la Puente II Simposio de Sistemas de Tiempo Real — CEDI 2007, 2007 | | 2007 |
Juan Antonio de la PuenteProfessor Emeritus of Computer Science, Technical University of Madrid (UPM)Verified email at upm.es
