Marius Bozga
Marius Bozga a rédigé la thèse suivante :
Vérification symbolique pour les protocoles de communication
par Dorel Marius Bozga sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)
Informatique
Soutenue en 1999
Marius Bozga dirige actuellement la thèse suivante :
Proving Correctness of Dynamically Reconfigurable Distributed Systems
par Lucas Bueri sous la direction de Radu Iosif et de Marius Bozga . - Université Grenoble Alpes
Informatique
En préparation depuis le 01-09-2021
Marius Bozga a dirigé les 10 thèses suivantes :
Un protocole de charge adaptatif pour les batteries Lithium-Ion
par Thusitha Asela Bandara sous la direction de Dorel Marius Bozga , Rachid Yazami et de Rachid Yazami . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 25-10-2018
Information Flow Security in Component-Based Models : From verification to Implementation
par Najah Ben Said sous la direction de Saddek Bensalem et de Dorel Marius Bozga . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 07-11-2016
Compositional verification of component-based real-time systems and applications
par Souha Ben Rayana - Tekaya sous la direction de Saddek Bensalem et de Dorel Marius Bozga . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 04-11-2016
Flot de conception pour le développement rigoureux des systèmes embarqués en réseau
par Alexios Lekidis sous la direction de Dorel Marius Bozga - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 10-12-2015
Rigorous System-level Modeling and Performance Evaluation for Embedded System Design
par Ayoub Nouri sous la direction de Saddek Bensalem , Dorel Marius Bozga et de Axel Legay . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 08-04-2015
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.
par Jean Quilbeuf sous la direction de Dorel Marius Bozga et de Joseph Sifakis . - Grenoble
Informatique
Soutenue le 16-09-2013
On computer-aided design-space exploration for multi-cores
par Jean-Francois Kempf sous la direction de Oded Maler et de Dorel Marius Bozga . - Grenoble
Informatique
Soutenue le 29-10-2012
Modélisation des systèmes synchrones en BIP
par Vasiliki Sfyrla sous la direction de Joseph Sifakis et de Dorel Marius Bozga . - Grenoble
Informatique
Soutenue le 21-06-2011
Stratégies d'ordonnancement conditionnelles utilisant des automates temporisés
par Abdelkarim Aziz Kerbaa sous la direction de Oded Maler et de Dorel Marius Bozga . - Université Joseph Fourier (Grenoble ; 1971-2015)
Informatique
Soutenue en 2006
Une approche basée sur les modèles pour le test de robustesse
par Cyril Alexandre Pachon sous la direction de Jean-Claude Fernandez et de Dorel Marius Bozga . - Université Joseph Fourier (Grenoble ; 1971-2015)
Informatique
Soutenue en 2005
Marius Bozga a été membre de jury des 4 thèses suivantes :
An integrated model-based early validation approach for railway systems
par Ronan Baduel sous la direction de Jean-Michel Bruel et de Iulian Ober . - Toulouse 2
Informatique
Soutenue le 30-09-2019
Modélisation et analyse de systèmes stochastiques et temps réel
par Braham Lotfi Mediouni sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 28-06-2019
Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture
par Rim El Ballouli sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 20-03-2019
Modélisation à base de composants de systèmes temps réel hétérogènes en BIP
par Ananda Shankar Basu sous la direction de Joseph Sifakis - Université Joseph Fourier (Grenoble ; 1971-2015)
Informatique
Soutenue en 2008
