Members
David Decotigny (PhD student),
Isabelle Puaut (Assistant
professor).
Former members
Antoine
Colin (Post-doc, university of York), Pascal
Chevochot (R&D engineer, Sogitec)
Research
Software
For additional information concerning software, contact Isabelle
Puaut.
- Hades : an environment for
the analysis and execution of dependable hard real-time applications
- Heptane
: a static worst-case execution time analyzer for C programs
Publications
See our publications page, and/or
get our bibtex database.
|