Skip to Main content Skip to Navigation

hal-00702665v2  Conference papers
Nicolas AyacheRoberto M. AmadioYann Régis-Gianas. Certifying and reasoning on cost annotations in C programs
FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, Aug 2012, Paris, France
hal-01957504v1  Poster communications
Loïc FejozLionel HavetAurélien DidierBenoit ViaudAnh-Toan Bui Long et al.  Time4Sys – Integrating Timing Verification in your Engineering Practices
RTSS@Work 2018 - 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. 2018