Error 404
Error in query: No results found.
The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.
Select
previous page
Search
Home
Site Map
New publications
Recent Publications
Stéphane Devismes, Colette Johnen:
Self-Stabilizing Distributed Cooperative Reset
Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit:
Introduction to Distributed Self-Stabilizing Algorithms
Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche:
Compositional strategy synthesis for stochastic games with multiple objectives
Ajoy Kumar Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore:
Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction
Karine Altisen, Pierre Corbineau, Stéphane Devismes:
Squeezing Streams and Composition of Self-Stabilizing Algorithms
Moustapha Lo:
Implementing a Real-time Avionic application on a Many-core Processor
Jobs and internships
Jobs and internships
Certification of Distributed Self-Stabilizing Algorithms Using Coq
Decision Procedure for Equivalence Relations
Exploration of timing anomaly impact on processor execution for critical real-time systems
Models of Distributed Algorithms
Self-Stabilization in TVG
Simulation of Distributed Algorithms
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Teams
Pacss
RSD
Synchrone
Tempo
Contact
Whom to contact
How to reach us
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1367199
English
Français