BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × Germany
1 × Sweden
1 × Switzerland
2 × Spain
2 × United Kingdom
Collaborated with:
M.A.Rivas J.Zamorano J.A.d.l.Puente F.Chouteau J.M.González-Barahona C.Comar Y.Moy M.G.Harbour E.Richa E.Borde L.Pautet M.Bordin
Talks about:
implement (5) gnat (5) time (4) real (4) ada (4) transform (2) ravenscar (2) kernel (2) model (2) task (2)

Person: José F. Ruiz

DBLP DBLP: Ruiz:Jos=eacute=_F=

Contributed to:

AMT 20142014
Ada-Europe 20122012
Ada-Europe 20112011
Ada-Europe 20092009
Ada-Europe 20072007
Ada-Europe 20052005
Ada-Europe 20012001
Ada-Europe 20002000
Ada-Europe 19991999

Wrote 9 papers:

AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AdaEurope-2012-RuizCM #ada #development #source code
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.
AdaEurope-2011-ChouteauR #design #implementation #multi
Design and Implementation of a Ravenscar Extension for Multiprocessors (FC, JFR), pp. 31–45.
AdaEurope-2009-RivasHR #ada #implementation
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.
AdaEurope-2007-RivasR #ada #implementation #realtime
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.
GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.
AdaEurope-2001-ZamoranoRP #ada #implementation #kernel #realtime
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.
AdaEurope-2000-PuenteRZ #kernel #realtime
An Open Ravenscar Real-Time Kernel for GNAT (JAdlP, JFR, JZ), pp. 5–15.
AdaEurope-1999-RuizG #implementation #low level #runtime
Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.