title = { Causality Problem in Real-Time Calculus },
author = {Altisen, Karine and Moy, Matthieu},
year = {2016},
journal = {Formal Methods in System Design},
number = {1},
pages = {1--45},
volume = {48},
team = {SYNC},
}
Home > Verimag > Publications
bibtex
@article{AM16a,
title = { Causality Problem in Real-Time Calculus },
author = {Altisen, Karine and Moy, Matthieu},
year = {2016},
journal = {Formal Methods in System Design},
number = {1},
pages = {1--45},
volume = {48},
team = {SYNC},
}
title = { Causality Problem in Real-Time Calculus },
author = {Altisen, Karine and Moy, Matthieu},
year = {2016},
journal = {Formal Methods in System Design},
number = {1},
pages = {1--45},
volume = {48},
team = {SYNC},
}
Browsing
News
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
- Seminars
- 21 November 2019 Sophie Tourret: Stronger higher-order automation
- 25 November 2019 Moshe Vardi: Technology is driving the future, but who is steering?
New publications
- Recent Publications
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
