title = {Modeling Self-configuration In Architecture-based Self-adaptive Systems },
author = {El-Ballouli, Rim},
month = {March},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
Home > Verimag > Publications
bibtex
@phdthesis{El-9,
title = {Modeling Self-configuration In Architecture-based Self-adaptive Systems },
author = {El-Ballouli, Rim},
month = {March},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
title = {Modeling Self-configuration In Architecture-based Self-adaptive Systems },
author = {El-Ballouli, Rim},
month = {March},
year = {2019},
school = {University of Grenoble Alpes},
team = {RSD},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
Seminars
New publications
- Recent Publications
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- 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)
- Alexey Bakhirkin, Nicolas Basset: Specification and Efficient Monitoring Beyond STL
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem: Predictability in Mixed-Criticality Systems
