title = {Modeling and Analysis of Stochastic Real-Time Systems },
author = {Mediouni, Braham Lotfi},
month = {June},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
bibtex
@phdthesis{Med9,
title = {Modeling and Analysis of Stochastic Real-Time Systems },
author = {Mediouni, Braham Lotfi},
month = {June},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
title = {Modeling and Analysis of Stochastic Real-Time Systems },
author = {Mediouni, Braham Lotfi},
month = {June},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
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
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Victor Magron, Alexandre Rocca, Thao Dang: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- 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
- 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
