Adressage calculé  Algorithmes  Algorithmes de concensus  Algorithmes distribués  Algorithmes parallèles  Algorithmique distribuée  Algèbres des relations  Allocateur de mémoire dynamique  Analyse informatique  Analyse statique  Applications distribuées  Applications ponctuelles  Arbres  Arbres de défaillances  Assistant de preuve  Assistants de preuve  Automatisation des preuves  Axiomatique  Axiomatisation  B  Bisimulation  Boucles inobservables  Bureautique  CPM  Calcul graphique  Certification  Certification de résultat  Co-algèbre  Codes malveillants  Communication asynchrone  Compilation  Complétude  Complétude, Théorème de  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  Fiabilité  Formes normales  Formes normales  Glaneur de cellule  Génie logiciel  Hétérogénéité  IEEE 802.15.4  Informations incohérentes  Informations incomplètes  Informatique  Informatique omniprésente  Informatique quantique  Ingénierie des systèmes  Instanciation des quantificateurs  Intelligence artificielle  Interprétation abstraite  Intervalles de confiance  Isabelle/HOL  Langage algorithmique  Langages de programmation -- Sémantique  Langages formels  Logiciel de certification formelle  Logiciels -- Compatibilité  Logiciels -- Vérification  Logiciels  Logique  Logique de contingence  Logique du premier ordre  Logique informatique  Logique épistémique dynamique  Logiques modales  Modalité  Mode de transfert asynchrone  Model checking  Model-checking  Modèle de voisinage  Modélisation  Mécanique quantique catégorique  Méthode B  Méthodes formelles  Méthodes formelles  Nœuds  Obfuscation des comportements des malwares  Observations partielles  Orchestration de services  PERT, Méthode  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  Programmation parallèle  Programmes distribués asynchrones  Protocole réseau P2P  Protocoles de réseaux d'ordinateurs  QdC  QdS  Qualité de service  Raffinement  Raffinement modulaire  Rely-Guarantee  Règles de l'Atelier B  Récurrence implicite  Réduction de commande partielle  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  SDN  Satisfiabilité  Satisfiabilité Modulo Théorie  Simulation  Simulation par ordinateur  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 critiques  Systèmes de types  Systèmes dynamiques  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  Systèmes, Analyse de  Sécurité des réseaux  Sécurité des systèmes  Sémantique  Sûreté de fonctionnement  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éorie quantique  Théorèmes -- Démonstration automatique  Tolérance aux fautes  Traitement réparti  Universalité  Virus informatiques  Vérification  Vérification Formelle  Vérification de compatibilité  Vérification de modèles  Vérification formelle  ZX-Calculus  algorithme sans verrou  preuves  raffinement  Évaluation probabiliste  

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

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

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


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

Informatique. Modélisation et vérification
Soutenue le 10-09-2018
Thèse soutenue
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 4 thèses suivantes :