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},
}

Publication Sections

New publications

Recent Publications
- Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD/ETAPS 2018, Thessaloniki, Greece, 15th April 2018
- Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cass'e, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier: The W-SEPT Project: Towards Semantic-Aware WCET Estimation
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Stabilisation progressive
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
- Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec: TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Acyclic Strategy for Silent Self-stabilization in Spanning Forests

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1128157

CNRS

INP Grenoble