AUTOSAR  Algorithme évolutionniste  Alias de pointeurs  Analyse de code  Animation  Assistant de preuve  Assistants de preuve  Automatisation  Cadre de l'architecture automobile  Chemins infaisables  Concurrence  Congruence  Conteneurs  Contraintes  Coordination  Coq  Coq, C  Diagnostic  Diagnosticabilité  Détection de défaut  EAST-ADL2  Execution de modèle  Extraction  Exécution symbolique  Fiabilité  Génie logiciel  Génération aléatoire  Génération de tests  Hétérogénéité  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Isabelle/HOL  Langage de programmation  Langages de programmation -- Sémantique  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logique  MARTE  Meta Modèles  Modèle mémoire  Modélisation de défauts  Méthodes formelles  Méthodes formelles  OCL  Optimisation  Ordonnancement  Permissions  Plongements  Preuve de programme  Preuves de théorèmes  Programmation impérative  Réflexion  Régions  SMT  Simulation  Simulation par ordinateur -- Logiciels  Solveurs SAT  Spécification et vérification de logiciels  Surveillance  Synchronie  SysML  Système technologique piloté  Systèmes automobiles  Systèmes distribués  Systèmes temps réel  Sémantique  Sémantique Formelles  Séparation  Temps budget  Temps réel  Test  Test formel  Tests fonctionnels  Théorie des types  Théorèmes -- Démonstration automatique  Typage  UML  UML  Vérification déductive  Vérification formell  

Burkhart Wolff a dirigé les 5 thèses suivantes :


Burkhart Wolff a été président de jury de la thèse suivante :


Burkhart Wolff a été membre de jury des 5 thèses suivantes :

Informatique
Soutenue le 12-12-2012
Thèse soutenue