Saddek Bensalem
Saddek Bensalem a rédigé la thèse suivante :
Algèbre de programmes dans un univers type
par Saddek Bensalem sous la direction de Didier Bert - Grenoble INPG
Informatique
Soutenue en 1985
Saddek Bensalem dirige actuellement la thèse suivante :
Sémantique et outils institutionnels pour le UML
par Tobias Rosenberger sous la direction de Saddek Bensalem et de Markus Roggenbach . - Université Grenoble Alpes
Informatique
En préparation depuis le 18-04-2018
Saddek Bensalem a dirigé les 18 thèses suivantes :
Modélisation et vérification formelle des performances des systèmes de réseau
par Siham Khoussi sous la direction de Saddek Bensalem et de Abdella Battou . - Université Grenoble Alpes
Informatique
Soutenue le 03-12-2021
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
Schedulability in Mixed-criticality Systems
par Rany Kahil sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 26-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
Formal methods for distributed real-time systems
par Mahieddine Dellabani sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 31-10-2018
Finding constancy in linear routines
par Steven De Oliveira sous la direction de Saddek Bensalem - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 28-06-2018
Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception
par Hela Guesmi sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 27-10-2017
Surveillance de systèmes à composants multi-threads et distribués
par Hosein Nazarpour sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 26-06-2017
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
Scheduling of certifiable mixed-criticality systems
par Dario Socci sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 09-03-2016
Distributed Implementations of Timed Component-based Systems
par Ahlem Triki sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 09-06-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
Quantitative Verification and Synthesis
par Christian Von Essen sous la direction de Saddek Bensalem et de Barbara Jobstmann . - Grenoble
Informatique
Soutenue le 28-04-2014
Programmation efficace et sécurisé d'applications à mémoire partagée
par Emmanuel Sifakis sous la direction de Saddek Bensalem et de Laurent Mounier . - Grenoble
Informatique
Soutenue le 06-05-2013
Rigorous Design Flow for Programming Manycore Platforms
par Paraskevas Bourgos sous la direction de Saddek Bensalem - Grenoble
Informatique
Soutenue le 09-04-2013
Vérification Constructive des Systèmes à base de Composants
par Thanh-Hung Nguyen sous la direction de Saddek Bensalem - Grenoble
Informatique
Soutenue en 2010
Test de systèmes temps-réel à base de modèle
par Moez Krichen sous la direction de Saddek Bensalem et de Stavros Tripakis . - Université Joseph Fourier (Grenoble ; 1971-2015)
Informatique
Soutenue en 2007
Saddek Bensalem a été président de jury des 2 thèses suivantes :
ParTraP : un langage pour la spécification et vérification à l'exécution de propriétés paramétriques
par Yoann Blein sous la direction de Yves Ledru et de Lydie du Bousquet . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 15-04-2019
Vérification à l'exécution de spécifications décentralisées hiérarchiques
par Antoine El hokayem sous la direction de Yliès Carlo Falcone - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 18-12-2018
Saddek Bensalem a été rapporteur des 2 thèses suivantes :
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof
par Guillaume Dupont sous la direction de Yamine Aït-Ameur et de Neeraj Kumar Singh . - Toulouse, INPT
Informatique et Télécommunication
Soutenue le 14-01-2021
Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines
par Ivan Llopard sous la direction de Albert Cohen et de Christian Fabre . - Paris 6
Informatique
Soutenue le 26-04-2016
Saddek Bensalem a été membre de jury des 3 thèses suivantes :
Pattern Matching with Time : Theory and Applications
par Dogan Ulus sous la direction de Oded Maler - Université Grenoble Alpes (ComUE)
Mathématiques et Informatique
Soutenue le 15-01-2018
Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
par Amira Methni sous la direction de Kamel Barkaoui et de Serge Haddad . - Paris, CNAM
Informatique
Soutenue le 07-07-2016
Validation d’architectures temps-réel pour la robotique autonome
par Nicolas Gobillot sous la direction de Charles Lesire et de David Doose . - Toulouse, ISAE
Robotique et Informatique
Soutenue le 29-04-2016
