Accueil > Verimag > Publications

Technical Reports

Imene Ben-Hafaiedh, Susanne Graf and Sophie Quinton
Building Distributed Controllers for Systems with Priorities (2010)

TR-2010-15.pdf

Keywords: Distributed systems, Memoryless Controllers, Priorities

Abstract:

Nouvelles publications

Quelques Publications Récentes
- Marius Bozga, Radu Iosif, Joseph Sifakis: Verification of component-based systems with recursive architectures
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna: Model Checking of Distributed Algorithms using Synchronous Programs
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159461

UGA

CNRS

INP Grenoble