Merz, Stephan.
Merz, Stephan, 1963-
Stephan Merz francouzský informatik a vysokoškolský pedagog, působil v Německu, zaměřený na formální verifikaci zejména v distribuovaných algoritmech a systémech
VIAF ID: 12602569 ( Personal )
Permalink: http://viaf.org/viaf/12602569
Preferred Forms
- 200 _ | ‡a Merz ‡b Stephan
-
-
- 100 1 _ ‡a Merz, Stephan
- 100 1 _ ‡a Merz, Stephan
-
-
- 100 1 0 ‡a Merz, Stephan
-
-
- 100 1 _ ‡a Merz, Stephan ‡d 1963-
-
-
- 100 0 _ ‡a Stephan Merz ‡c francouzský informatik a vysokoškolský pedagog, působil v Německu, zaměřený na formální verifikaci zejména v distribuovaných algoritmech a systémech
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Abstractions booléennes pour la vérification des systèmes temps-réel | |
Analyse du flot de données pour la construction du graphe de flot de contrôle des codes obfusqués | |
Analyse statique certifiée en logique du premier ordre multi-sortée. | |
Assisted concurrent program verification by code and specification transformation. | |
Automatisation des preuves et synthèse des types pour la théorie des ensembles dans le contexte de TLA+ | |
AVoCS '06 | |
AVOCS '06 [sixth] International workshop on automated verification or critical systems September 18-19, 2006... Nancy, France | |
La boucle de fuzzing CFL : un cadre de test pour Cubicle. | |
Certification des raisonnements formels portant sur des systèmes d'information critiques | |
Certification of static analysis in many-sorted first-order logic | |
Certification of the transformation of proof tasks. | |
Certified Tools for Schedulability Analyses. | |
Certifying formal reasoning about critical information systems. | |
Co-design of wireless networked control systems. | |
Conception conjointe des systèmes contrôlés en réseaux sans fil | |
The Cubicle Fuzzy Loop : A Testing Framework for Cubicle | |
Data flow analysis to build control flow graph of obfuscated codes. | |
Développement d'algorithmes répartis corrects par construction | |
Développement prouvé de structures de données sans verrou | |
The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra | |
Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité | |
Exploration efficace de l'espace d'états adaptée aux programmes distribués asynchrone ˸ adaptation de la réduction d'ordre partiel basée sur les dépliages pour les programmes MPI. | |
Formal Semantics of Hardware Compilation Framework | |
Formal systems specification : the RPC-memory specification case study | |
Formal verification of distributed algorithms with transition failures. | |
Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés. | |
Formalisation of asynchronous interactions | |
Formalizing Time and Causality in Polychronous Polytimed Models | |
Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings | |
A Machine-Checked Proof of Correctness of Pastry | |
Méthodes pour le raisonnement d'ordre supérieur dans SMT | |
Methods for Higher-Order reasoning in SMT. | |
Model-based Testing of Operating System-Level Security Mechanisms | |
Modèle de protection contre les codes malveillants dans un environnement distribué | |
Modeling and verification of real-time systems : formalisms and software tools | |
New techniques for instantiation and proof production in SMT solving. | |
Nouvelles techniques pour l'instanciation et la production des preuves dans SMT | |
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents | |
Outils certifiés pour les analyses d'ordonnançabilité | |
Performance and correctness assessmet of distributed systems. | |
Procédures de décision génériques pour des théories axiomatiques du premier ordre | |
Proof automation and type synthesis for set theory in the context of TLA+. | |
Proof Automation for Atelier B Rules Verification. | |
Protocol Abuse Mitigation In SDN Programmable Data Planes | |
Provably correct lockfree data structure. | |
Ré-identification sans coordination dans les types de données répliquées sans conflits (CRDTs) | |
Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques. | |
Sémantique formelle d'une infrastructure de compilation matériel. | |
Spécification des systèmes distribués dynamiques probabilistes sécurisés | |
Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy Schedules | |
Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés. | |
Supervision of distributed systems using constrained unfoldings of timed models | |
Synchronization problems in dynamic multi-agent networks | |
Techniques for formal modelling and verification on dynamic memory allocators | |
Temporal logic and state systems | |
Temporal logic as a programming language | |
test à base de modèles formels pour les mécanismes de sécurité dans les systèmes d’exploitation. | |
Test basé sur la sémantique pour Circus. | |
Vérification des performances et de la correction des systèmes distribués | |
Vérification d'un glaneur de cellules concurrent. | |
Vérification formelle du protocole Pastry. | |
Verified Programming at the Intersection of Dependent Types and Static Analysis | |
Workshop on Trustworthy Software | |
ZX-Calculi for Quantum Computing and their Completeness | |
ZX-Calculs pour l'informatique quantique et leur complétude. |