Home > Verimag > Publications

bibtex

@inproceedings{MLS97,
    title = {{T}owards {E}fficient {M}odelchecking {S}tatecharts },
    author = {Mikk, Erich and Lakhnech, Yassine and Siegel, Michael},
    month = {April},
    year = {1997},
    booktitle = {STATEMATE Anwenderforum 97},
    team = {DCS},
}

Publication Sections

New publications

Recent Publications
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Programming Dynamic Reconfigurable Systems
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Radu Iosif, Xiao Xu: Abstraction Refinement for Emptiness Checking of Alternating Data Automata
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, R?y Boutonnet: Improving WCET Evaluation using Linear Relation Analysis

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

info visites 1171119

CNRS

INP Grenoble