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
- November 25-29 2019 Synchron 2019
Séminaires
Nouvelles publications
- Publications
Récentes
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Maxime Puys: Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
Offres d'emploi et stages
- Offres d'emploi et stages
- 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
