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
- Autonomous Cyber-Physical Systems and Digital Trust: Design, modeling, validation, implementations, certification Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
- Conferences
- Feb. 24, 2020 Workshop CAPITAL
- May 11-15, 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
Seminars
New publications
- Recent Publications
- Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu: SL-COMP: Competition of Solvers for Separation Logic
- Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
Jobs and internships
- Jobs and internships
- Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
- 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
