Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Iulian Ober a rédigé la thèse suivante :
Spécification et validation des systèmes temporisés avec des langages de description formelle : étude et mise en oeuvre
par Iulian Ober sous la direction de Bernard Coulette - Toulouse, INPT
Informatique et télécommunications
Soutenue en 2001
Iulian Ober a dirigé les 3 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
Conception et vérification d'exigences de sûreté temporisées à base de contrats dans les modèles SysML
par Iulia Dragomir sous la direction de Iulian Ober et de Christian Percebois . - Toulouse 3
Sureté de logiciel et calcul de haute performance
Soutenue en 2014
Méthodes de diagnostic avancées dans la validation formelle des modèles
par El Arbi Aboussoror sous la direction de Ileana Ober et de Iulian Ober . - Toulouse 3
Réseaux, télécoms, systèmes et architecture
Soutenue en 2013
Iulian Ober a été rapporteur des 3 thèses suivantes :
Latency verification in execution traces of HW/SW partitioning model
par Maysam Zoor sous la direction de Ludovic Apvrille et de Renaud Pacalet . - Institut polytechnique de Paris
Informatique
Soutenue le 08-12-2021
Principe de transduction sémantique pour l’application de théories d’interfaces sur des documents de spécification
par Aurélien Lamercerie sous la direction de Benoît Caillaud et de Annie Foret . - Rennes 1
Informatique
Soutenue le 08-04-2021
Systèmes à base de composants : du design à l'implémentation
par Imane Ben Hafaiedh sous la direction de Susanne Graf - Grenoble
Informatique
Soutenue le 03-02-2011
