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},
}
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},
}
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},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
