title = {Rigorous Implementation of Real-Time Systems },
author = {Abdellatif, Tesnim},
year = {2012},
school = {Universi\'e de Grenoble, France},
team = {DCS},
}
Home > Verimag > Publications
bibtex
@phdthesis{Abd12a,
title = {Rigorous Implementation of Real-Time Systems },
author = {Abdellatif, Tesnim},
year = {2012},
school = {Universi\'e de Grenoble, France},
team = {DCS},
}
title = {Rigorous Implementation of Real-Time Systems },
author = {Abdellatif, Tesnim},
year = {2012},
school = {Universi\'e de Grenoble, France},
team = {DCS},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
New publications
- Recent Publications
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- David Monniaux: On the decidability of the existence of polyhedral invariants in transition systems
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Self-Stabilization in TVG
