José F. Ruiz

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
A New Ravenscar-Based Profile.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2014
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
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.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012

2011
Design and Implementation of a Ravenscar Extension for Multiprocessors.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Cache-Aware Development of High-Integrity Systems.
Proceedings of the Reliable Software Technologiey, 2010

2009
Open-DO: Open Framework for Critical Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.
Proceedings of the Reliable Software Technologies, 2009

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

Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.
Proceedings of the Reliable Software Technologies, 2007

2006
Ada 2005 for High-Integrity Systems.
Proceedings of the Developments in Risk-based Approaches to Safety, 2006

2005
GNAT Pro for On-board Mission-Critical Space Applications.
Proceedings of the Reliable Software Technology, 2005

2001
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
The design and implementation of the open Ravenscar kernel.
Proceedings of the 10th International Workshop on Real-Time Ada, 2000

An Open Ravenscar Real-Time Kernel for GNAT.
Proceedings of the Reliable Software Technologies, 2000

1999
Real-time programming with GNAT: specialised kernels versus POSIX threads.
Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

Implementing a New Low-Level Tasking Support for the GNAT Runtime System.
Proceedings of the Reliable Software Technologies, 1999


  Loading...