José F. Ruiz

16 papers C 1Misc 10Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2017 Misc conf
A New Ravenscar-Based Profile.
Ada-Europe
Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi
2014 — conf
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
AMT@MoDELS
Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz
2012 Misc conf
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012.
Ada-Europe
José F. Ruiz, Cyrille Comar, Yannick Moy
2011 Misc conf
Design and Implementation of a Ravenscar Extension for Multiprocessors.
Ada-Europe
Fabien Chouteau, José F. Ruiz
2010 Misc conf
Cache-Aware Development of High-Integrity Systems.
Ada-Europe
Enrico Mezzetti, Adam Betts, José F. Ruiz, Tullio Vardanega
2009 Misc conf
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.
Ada-Europe
Mario Aldea Rivas, Michael González Harbour, José F. Ruiz
2009 J jnl
Open-DO: Open Framework for Critical Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
José F. Ruiz, Cyrille Comar
2007 Misc conf
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.
Ada-Europe
Mario Aldea Rivas, José F. Ruiz
2007 — conf
Introduction.
IRTAW
Tullio Vardanega, José F. Ruiz
2006 C conf
Ada 2005 for High-Integrity Systems.
SSS
José F. Ruiz
2005 Misc conf
GNAT Pro for On-board Mission-Critical Space Applications.
Ada-Europe
José F. Ruiz
2001 Misc conf
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.
Ada-Europe
Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
2000 Misc conf
An Open Ravenscar Real-Time Kernel for GNAT.
Ada-Europe
Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano
2000 — conf
The design and implementation of the open Ravenscar kernel.
IRTAW
Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García
1999 Misc conf
Implementing a New Low-Level Tasking Support for the GNAT Runtime System.
Ada-Europe
José F. Ruiz, Jesús M. González-Barahona
1999 — conf
Real-time programming with GNAT: specialised kernels versus POSIX threads.
IRTAW
Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona