Hello and Welcome
to
Daniel de Rauglaudre
Research engineer in
Aoste team
,
INRIA Rocquencourt
.
Paper
Vérification formelle de conditions d'ordonnançabilité de tâches temps réel périodiques strictes
- JFLA 2012 (
bib
).
Softwares and Other
Camlp5
, syntactic preprocessor for OCaml (6.08 -
6th Mar 2013
).
Mldiff
, diff in ocaml (1.03 -
26th Feb 2013
).
Taskadd
, scheduler of real-time tasks using Patrick Meumeu's algebra (1.03 -
05 Mar 2012
).
Olibrt
, toolkit+games in ocaml (1.11 -
23rd Feb 2010
).
Ledit
, line editor in ocaml (2.03 -
08th Feb 2010
).
mlrogue
, rogue game in ocaml (1.03 -
21st May 2011
).
IoXML
, XML parsers and printers of ocaml types (0.9 -
16th Dec 2010
).
MLbrot
, Mandelbrot fractals (1.00 -
8th Nov 2010
).
SAS-Dameid
, Simulation of real-time periodic tasks (0.00 -
6th Nov 2011
).
GeneWeb
, a software of genealogy.
My
YouTube
entry.
My first
integer sequence
on
OEIS
(
23rd May 2012
)!
Genealogy site
- database "roglo".
Unicode keyboard
.
PZ Myers
, american biologist and atheist's blog.
Last modified: 6th Mar 2013.
