title = {{C}ontribution at the {D}efinition and {I}mplementation of {E}-{LOTOS} },
author = {Sighireanu, Mihaela},
year = {1999},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}
bibtex
@phdthesis{Sig99,
title = {{C}ontribution at the {D}efinition and {I}mplementation of {E}-{LOTOS} },
author = {Sighireanu, Mihaela},
year = {1999},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}
title = {{C}ontribution at the {D}efinition and {I}mplementation of {E}-{LOTOS} },
author = {Sighireanu, Mihaela},
year = {1999},
address = {Grenoble, France},
school = {Universit\'e Joseph Fourier},
team = {DCS},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
Séminaires
Nouvelles publications
- Publications
Récentes
- Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
- 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
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
