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},
}
Home > Verimag > Publications
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},
}
Browsing
News
- Conferences
- Feb. 24, 2020 Workshop CAPITAL
- May 11-15, 2020 AlgoTel et CoRes 2020
- June 22-26, 2020 MOVEP 2020
- Seminars
- 16 December 2019 The seminar by Lélio Brun: is cancelled
- 19 December 2019 Yannick Zakowski: From representing recursive and impure programs in coq to a modular formal semantics (...)
- 19 December 2019 Hang Yu: Towards an efficient parallel parametric linear programming solver (Phd)
- 6 February 2020 Jules Chouquet: Lower bounds for probabilistic k-set agreement through combinatorial (...)
Seminars
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- 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
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
