title = { From {MITL} to Timed Automata },
author = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
year = {2006},
booktitle = {FORMATS 2006},
pages = {274-289},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
bibtex
@inproceedings{MNP06,
title = { From {MITL} to Timed Automata },
author = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
year = {2006},
booktitle = {FORMATS 2006},
pages = {274-289},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
title = { From {MITL} to Timed Automata },
author = {Maler, Oded and Nickovic, Dejan and Pnueli, Amir},
year = {2006},
booktitle = {FORMATS 2006},
pages = {274-289},
publisher = {Springer},
series = {LNCS},
volume = {4202},
team = {TEMPO},
}
Navigation
Actualités
- Conférences
- Feb. 24, 2020 Workshop CAPITAL
- 11-15 mai 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
- Séminaires
- 16 décembre 2019 Lélio Brun: Verified compilation of the lustre modular reset
- 19 décembre 2019 Yannick Zakowski: From representing recursive and impure programs in coq to a modular formal semantics (...)
- 19 décembre 2019 Hang Yu: Towards an efficient parallel parametric linear programming solver (Phd)
- 6 février 2020 Jules Chouquet: Lower bounds for probabilistic k-set agreement through combinatorial (...)
Séminaires
Nouvelles publications
- Publications
Récentes
- Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu: The Verified Polyhedron Library: an overview
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
