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
Seminars
- Seminars
- 22 November 2018 Analyse et verif. legeres Une journee de reflexion: Lightweight analysis and verification techniques
- 29 November 2018 Sylvain Boulmé: Importation d'oracles ml impératifs dans du code coq vérifié
- 6 December 2018 Joseph Sifakis: On the nature of autonomy – a rigorous architectural characterization
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Petit Franck: Gradual Stabilization
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture
- Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton: A Generalized Digraph Model for Expressing Dependencies
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: \emphS BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M2 internship] Self-Stabilization in TVG
- [Postdoc positions] Coq Developments
