Home > Verimag > Publications

bibtex

@inproceedings{Don10,
    title = {Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems },
    author = {Donz\'e, Alexandre},
    year = {2010},
    booktitle = {CAV},
    pages = {167-170},
    team = {TEMPO},
}

Publication Sections

New publications

Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Stabilisation progressive
- Remy Boutonnet, Nicolas Halbwachs: Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton: A Generalized Digraph Model for Expressing Dependencies
- Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler: Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
- Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: L-Exclusion autostabilisante revisitée

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1129044

CNRS

INP Grenoble