José F. Ruiz

According to our database, José F. Ruiz authored at least 16 papers between 1999 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

A New Ravenscar-Based Profile.

Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2014

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.

Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José F. Ruiz

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

2012

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012.

José F. Ruiz, Cyrille Comar, Yannick Moy

Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011

Design and Implementation of a Ravenscar Extension for Multiprocessors.

Fabien Chouteau, José F. Ruiz

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

Cache-Aware Development of High-Integrity Systems.

Enrico Mezzetti, Adam Betts, José F. Ruiz, Tullio Vardanega

Proceedings of the Reliable Software Technologiey, 2010

2009

Open-DO: Open Framework for Critical Systems.

José F. Ruiz, Cyrille Comar

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.

Mario Aldea Rivas, Michael González Harbour, José F. Ruiz

Proceedings of the Reliable Software Technologies, 2009

2007

Introduction.

Tullio Vardanega, José F. Ruiz

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.

Mario Aldea Rivas, José F. Ruiz

Proceedings of the Reliable Software Technologies, 2007

2006

Ada 2005 for High-Integrity Systems.

José F. Ruiz

Proceedings of the Developments in Risk-based Approaches to Safety, 2006

2005

GNAT Pro for On-board Mission-Critical Space Applications.

José F. Ruiz

Proceedings of the Reliable Software Technology, 2005

2001

Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.

Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

The design and implementation of the open Ravenscar kernel.

Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

An Open Ravenscar Real-Time Kernel for GNAT.

Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano

Proceedings of the Reliable Software Technologies, 2000

1999

Real-time programming with GNAT: specialised kernels versus POSIX threads.

Juan Antonio de la Puente, José F. Ruiz, Jesús M. González-Barahona

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Implementing a New Low-Level Tasking Support for the GNAT Runtime System.

José F. Ruiz, Jesús M. González-Barahona

Proceedings of the Reliable Software Technologies, 1999