Publications
- Certifying and reasoning on cost annotations in C programs,
par Nicolas Ayache, Roberto
M. Amadio, et
Yann
Régis-Gianas. À Formal Methods for
Industrial Critical Systems (FMICS 2012), pages 32-46, Paris, France, 2012. Springer Berlin Heidelberg. Prix du meilleur article.
[ HAL | bib ]
- Synthesis of certified cost bounds,
par Nicolas Ayache. En cours de
soumission, Université Paris Diderot
(Paris 7), Laboratoire PPS.
[ pdf | bib ]
- Certifying Cost Annotations in Compilers,
par Roberto
M. Amadio, Nicolas Ayache,
Yann Régis-Gianas,
et Ronan
Saillard. Rapport Technique, Université Paris Diderot
(Paris 7), Laboratoire PPS, Octobre 2010.
[ HAL | bib ]
- Scenarios for Validating SystemC Descriptions,
par Nicolas Ayache, Loïc Correnson, et Franck Védrine.
À ICC'08: Proceedings of the 12th WSEAS international conference
on Circuits
(DATICS
2008), pages 468-473, Heraklion, Grèce, 2008. World Scientific and Engineering Academy and Society (WSEAS).
[ pdf | bib ]
- Verifying SystemC with Scenario,
par Nicolas Ayache, Loïc Correnson, et Franck Védrine.
Au 2nd International Workshop on Verification and Evaluation of
Computer and Communication Systems (VECoS 2008), Leeds, UK, 2008. eWiC, British Computer Society.
[ pdf | bib ]
- Vérification formelle, compositionnelle et automatique de
systèmes de composants,
par Nicolas Ayache. Manuscrit de
thèse. 2009. [ pdf ]
- Coopération d'outils de preuve interactifs et
automatiques, par Nicolas
Ayache. Rapport de stage de Master M2. 2005. [ pdf ]
Présentations
