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.
Susanne Graf, Sophie Quinton:
Knowledge-based Construction of Distributed Constrained Systems
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzin, Peter Ryan:
Formal Analysis of Electronic Exams
Emmanuel Pourcelot, Nicolas Mobilia, Alexandre Donzé, Oded Maler, Pascal Mossuz, Eric Fanchon:
Cellular iron regulation in animals: need and use of suitable models
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech:
Formal Verification of e-Reputation Protocols
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza:
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics
A General Approach for Expressing Infeasibility in Implicit Path Enumeration Technique
[funded PhD] Abstract domains for hybrid systems verification
[Funded PhD] Funded Ph.D: Worst-Case Execution Time (WCET) Analysis on Many-core Architectures
[Post Doc] Early simulation of System-on-a-Chip : SystemC/TLM and more
Postdoc or research engineer position in software Security - September 2014
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
Workshops and Conferences
Site created with SPIP 2.1.26
Logged in visitors: