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.
The Unmet Challenge of Timed Systems
Karine Altisen, Stéphane Devismes, Anaïs Durand:
Concurrency in Snap-Stabilizing Local Resource Allocation
Emmanuel Pourcelot, Nicolas Mobilia, Alexandre Donzé, Oded Maler, Pascal Mossuz, Eric Fanchon:
Cellular iron regulation in animals: need and use of suitable models
Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre:
Self-Stabilizing (f,g)-Alliances with Safe Convergence
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil:
Optimal Torus Exploration by Oblivious Robots
Oded Maler, Irini Eleftheria Mens:
Learning Regular Languages over Large Alphabets
PhD Position: Schedulable Mixed-critical Multi-core Systems Design
Postdoc or research engineer position in software Security - September 2014
PhD Thesis: Contract-Based Modelling and Design of Cyber-Physical Systems
PhD and Post-Doc positions available in Verification of Hybrid Systems
PhD and Post-Doc positions available in Verification of Electronic Circuits
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