Adressage calculé  Algorithmes  Algorithmes de concensus  Algorithmes distribués  Algorithmes parallèles  Algorithmique distribuée  Algèbres des relations  Analyse informatique  Analyse statique  Applications distribuées  Applications ponctuelles  Assistant de preuve  Assistants de preuve  Automatisation des preuves  Axiomatique  Axiomatisation  B  Bisimulation  Boucles inobservables  Bureautique  Certification  Certification de résultat  Co-algèbre  Codes malveillants  Communication asynchrone  Compilation  Concurrence  Contingence  Contraintes temporelles paramétrisées  Coordination  Coq  Correction-Par-Construction  Courriels  Design patterns  Dynamiques  Débogage  Déduction  Déduction automatique  Démonstrateur Spike  Démonstration automatique des théorèmes  Dépliages avec contraintes  Détection des comportements des malwares  Event-B  Extraction du format des messages  Glaneur de cellule  Génie logiciel  Hétérogénéité  IEEE 802.15.4  Informations incohérentes  Informations incomplètes  Informatique  Ingénierie des systèmes  Instanciation des quantificateurs  Intelligence artificielle  Isabelle/HOL  Langage algorithmique  Langages de programmation -- Sémantique  Langages formels  Logiciel de certification formelle  Logiciels -- Compatibilité  Logiciels -- Vérification  Logique  Logique de contingence  Logique du premier ordre -- Logiciels  Logique informatique  Logique épistémique dynamique  Logiques modales  Modalité  Mode de transfert asynchrone  Model checking  Model-checking  Modèle de voisinage  Modélisation  Méthode B  Méthodes formelles  Méthodes formelles  Nœuds  Obfuscation des comportements des malwares  Observations partielles  Parallélisation  Parallélisme  Pastry  Petri, Réseaux de  PlusCal-2  Poste à poste  Preuves  Preuves de théorèmes  Preuves par récurrence  Procédure de décision  Production des preuves  Protocole réseau P2P  Protocoles de réseaux d'ordinateurs  QdC  QdS  Raffinement  Rely-Guarantee  Règles de l'Atelier B  Récurrence implicite  Réductionpar ordre partiel  Répartis  Réseau sans fil  Réseaux d'automates temporisés  Réseaux de Petri temporels  Réseaux pair-à-pair  Résolution SMT  Satisfiabilité Modulo Théorie  Simulation  Simulation par ordinateur -- Logiciels  Simulation, Méthodes de  Solveur SMT  Solveurs  Sous-programmes  Spécification et vérification de logiciels  Structures de données  Superdéduction  Supervision  Surveillance  Synchronie  Système contrôlé en réseau  Systèmes  Systèmes de types  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Évaluation  Systèmes répartis  Systèmes répartis temps réel  Systèmes à paramètres répartis  Sémantique  TLA+  Table de hachage distribuée  Tables de hachage distribuées  Temps réel  Test  Test formel  Tests fonctionnels  Théorie  Théorie des ensembles  Théorèmes -- Démonstration automatique  Traitement réparti  Virus informatiques  Vérification  Vérification de compatibilité  Vérification formelle  algorithme sans verrou  preuves  raffinement  

Stephan Merz a dirigé les 9 thèses suivantes :

Informatique
Soutenue le 13-02-2009
Thèse soutenue

Stephan Merz a été président de jury des 4 thèses suivantes :


Stephan Merz a été rapporteur des 7 thèses suivantes :

Sûreté de Logiciel et Calcul à Haute Performance
Soutenue le 22-11-2017
Thèse soutenue
Informatique
Soutenue le 12-12-2012
Thèse soutenue

Stephan Merz a été membre de jury des 3 thèses suivantes :