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.
Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler:
Timed Pattern Matching
Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita:
Weak vs. Self vs. Probabilistic Stabilization
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit:
Self-Stabilizing Leader Election in Polynomial Steps
Sylvain Boulmé, Alexandre Maréchal:
Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra
The Unmet Challenge of Timed Systems
Distributed Implementations of Timed Component-based Systems
Postdoc or research engineer position in software Security - September 2014
Post-Doc position available in Verification of Electronic Circuits
PhD Thesis: Contract-Based Modelling and Design of Cyber-Physical Systems
Post-Doc Position at the Hybrid Systems Group
[Post-doc position] 2015-2016
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.28