Error in query: No results found.
The path you have selected does not seem valid. Please return to the previous page and verify the information provided.
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech:
Formal Verification of e-Reputation Protocols
The Unmet Challenge of Timed Systems
Static Analysis by Abstract Interpretation and Decision Procedures
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae:
Timing analysis enhancement for synchronous program
Claire Maiza, Christine Rochange, Pascal Raymond:
Estimation of Execution Time and Delays
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzin, Peter Ryan:
Formal Analysis of Electronic Exams
PhD and Post-Doc positions available in Verification of Hybrid Systems
PhD and Post-Doc positions available in Verification of Electronic Circuits
Postdoc or research engineer position in software Security - September 2014
PhD Thesis: Contract-Based Modelling and Design of Cyber-Physical Systems
Registering with the site
You can take an active part in this website and write your own articles by registering below. You will then receive immediately an email giving you an access code to the private area of the site.
How to reach us
Jobs and Internships
SpaceEx: the State Space Explorer
Workshops and Conferences
Site created with SPIP 2.1.26
Visitors logged in: