Juan Zamorano

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 6

Top Topics

Static Analysis

Top Venues

Comput. Electr. Eng.

Publications

Ángel Grover Pérez Muñoz, José Carlos Gamazo-Real, David González-Bárcena, Juan Zamorano
Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach. CoRR (2024)
Ángel Grover Pérez Muñoz, José Carlos Gamazo-Real, David González-Bárcena, Juan Zamorano
Design and implementation of a real-time onboard system for a stratospheric balloon mission using commercial off-the-self components and a model-based approach. Comput. Electr. Eng. 111 (Part B) (2023)
Ana Isabel Soria-Carro, Elena Roibás-Millán, Javier Pérez-Álvarez, Javier Cubas, Juan Zamorano, José Miguel Álvarez, Daniel Alfonso-Corcuera, Santiago Pindado
Analysis of results from PIRAMIDE educational innovation project (short paper). CINAIC (2021)
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks. Ada-Europe (2018)
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. Ada-Europe (2017)
Juan Zamorano, Jorge Garrido
Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS. Ada-Europe (2015)
Jorge Garrido, Juan Zamorano, Juan Antonio de la Puente
Static analysis of WCET in a satellite software subsystem. WCET (2013)
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano, Daniel Brosnan
A Platform for Real-Time Control Education with LEGO MINDSTORMS. ACE (2012)
Jorge Garrido, Daniel Brosnan, Juan Antonio de la Puente, Alejandro Alonso, Juan Zamorano
Analysis of WCET in an experimental satellite software development. WCET (2012)
Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo
ORK+/XtratuM: An Open Partitioning Platform for Ada. Ada-Europe (2011)
Héctor Pérez, J. Javier Gutiérrez, Esteban Asensio, Juan Zamorano, Juan Antonio de la Puente
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model. EUROMICRO-SEAA (2011)
Peter J. Bradley, Juan Antonio de la Puente, Juan Zamorano
Real-time system development in ada using LEGO® mindstorms® NXT. SIGAda (2010)
Juan Zamorano, Juan Antonio de la Puente
Design and implementation of real-time distributed systems with the ASSERT Virtual Machine. ETFA (2010)
Antonio Pérez, Maria Isabel García, Manuel Nieto, José Luis Pedraza, Santiago Rodríguez, Juan Zamorano
Argos: An Advanced In-Vehicle Data Recorder on a Massively Sensorized Vehicle for Car Driver Behavior Experimentation. IEEE Trans. Intell. Transp. Syst. 11 (2) (2010)
Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. Ada-Europe (2009)
Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente
A New Approach to Memory Partitioning in On-Board Spacecraft Software. Ada-Europe (2008)
Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente
Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. DIPES (2008)
Santiago Urueña, Juan Zamorano
Building high-integrity distributed systems with Ravenscar restrictions. IRTAW (2007)
Santiago Urueña, José Antonio Pulido, José Redondo, Juan Zamorano
Implementing the new Ada 2005 real-time features on a bare board kernel. IRTAW (2007)
Santiago Rodríguez, Juan Zamorano, Francisco Rosales, Antonio García Dopico, José Luis Pedraza
A framework for lab work management in mass courses. Application to Low Level Input/Output without hardware. Comput. Educ. 48 (2) (2007)
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente
Handling Temporal Faults in Ada 2005. Ada-Europe (2007)
Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems. Ada-Europe (2006)
Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente
Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems. IPDPS (2006)
José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente
Hierarchical Scheduling with Ada 2005. Ada-Europe (2006)
Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. Real Time Syst. 29 (1) (2005)
Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
Implementing Execution-Time Clocks for the Ada Ravenscar Profile. Ada-Europe (2004)
Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano
A Test Environment for High Integrity Software Development. Ada-Europe (2003)
Juan Antonio de la Puente, Juan Zamorano
Execution-time clocks and Ravenscar kernels. IRTAW (2003)
Juan Zamorano, Juan Antonio de la Puente
Precise response time analysis for Ravenscar kernels. IRTAW (2002)
Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels. Ada-Europe (2001)
Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García
The design and implementation of the open Ravenscar kernel. IRTAW (2000)
Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano
An Open Ravenscar Real-Time Kernel for GNAT. Ada-Europe (2000)
Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso, José L. Fernández
Reusable Executives for Hard Real-Time Systems in Ada. Ada-Europe (1992)