Knowledge Tree

researcher / Stephan Merz

Stephan Merz

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Méthodes pour le raisonnement d'ordre supérieur dans SMT

Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité

Orchestration et vérification de fonctions de sécurité pour des environnements intelligents

Nouvelles techniques pour l'instanciation et la production des preuves dans SMT

A Machine-Checked Proof of Correctness of Pastry

Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+

Certification formelle de la correction d'algorithmes distribués avec erreurs de transmission

Formal verification of the Pastry protocol

Vérification formelle d'algorithmes distribués en PlusCal-2

Vérification des performances et de la correction des systèmes distribués

Développement prouvé de structures de données sans verrou

Abstractions booléennes pour la vérification des systèmes temps-réel