S. Urueña

Adding new features to the Open Ravenscar Kernel ∗

J. A. Puente, S. Urueña, J. Pulido, 2005 .

Building high-integrity distributed systems with Ravenscar restrictions

S. Urueña, Juan Zamorano, 2007, IRTAW '07.

Hierarchical Scheduling with Ada 2005

Tullio Vardanega, Juan Antonio de la Puente, Juan Zamorano, 2006, Ada-Europe.

A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Juan Antonio de la Puente, Juan Zamorano, Santiago Urueña, 2009, Ada-Europe.

Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements

Juan Antonio de la Puente, Juan Zamorano, Santiago Urueña, 2008, DIPES.

Building high-integrity distributed systems with Ravenscar restrictions

S. Urueña, Juan Zamorano, 2007, IRTAW '07.