Stephan Merz

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 28

Top Venues

CoRR

ABZ

Sci. Comput. Program.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
in dynamic networks. Theor. Comput. Sci. 942 (2023)
Horatiu Cirstea, Stephan Merz
Extending PlusCal for Modeling Distributed Algorithms. iFM (2023)
Aman Goel, Stephan Merz, Karem A. Sakallah
Towards an Automatic Proof of the Bakery Algorithm. FORTE (2023)
Igor Konnov, Markus Kuppe, Stephan Merz
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. CoRR (2022)
Igor Konnov, Markus Kuppe, Stephan Merz
Trifecta: TLC, Apalache, and TLAPS. ISoLA (1) (2022)
Leslie Lamport, Stephan Merz
Prophecy Made Simple. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Stephan Merz, Vincent Trélat
Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph. Arch. Formal Proofs 2022 (2022)
Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz
Synchronization Modulo k in Dynamic Networks. SSS (2021)
Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry
Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle. ITP (2019)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
A Tool Suite for the Automated Synthesis of Security Function Chains. IM (2019)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Automated Factorization of Security Chains in Software-Defined Networks. IM (2019)
Jasmin Christian Blanchette, Stephan Merz
Selected Extended Papers of ITP 2016: Preface. J. Autom. Reason. 62 (2) (2019)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Noran Azmy, Stephan Merz, Christoph Weidenbach
A machine-checked correctness proof for Pastry. Sci. Comput. Program. 158 (2018)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Synaptic: A formal checker for SDN-based security policies. NOMS (2018)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Generation of SDN policies for protecting android environments based on automata learning. NOMS (2018)
Stephan Merz, Hernán Vanzetto
into unsorted and many-sorted first-order logic. Sci. Comput. Program. 158 (2018)
Ran Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry
Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle. CoRR (2018)
Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz
Automated verification of security chains in software-defined networks with synaptic. NetSoft (2017)
Leslie Lamport, Stephan Merz
Auxiliary Variables in TLA+. CoRR (2017)
Noran Azmy, Stephan Merz, Christoph Weidenbach
A Rigorous Correctness Proof for Pastry. ABZ (2016)
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
Proving Determinacy of the PharOS Real-Time Operating System. ABZ (2016)
Stephan Merz, Jun Pang, Jin Song Dong
Editorial. Formal Aspects Comput. 28 (5) (2016)
Stephan Merz, Jun Pang, Jin Song Dong
Editorial. Formal Aspects Comput. 28 (3) (2016)
Stephan Merz, Hernán Vanzetto
Encoding TLA ^+ + into Many-Sorted First-Order Logic. ABZ (2016)
Carlos Areces, Pascal Fontaine, Stephan Merz
Modal Satisfiability via SMT Solving. Software, Services, and Systems (2015)
Stephan Merz, Hernán Vanzetto
Encoding TLA+ set theory into many-sorted first-order logic. CoRR (2015)
David Déharbe, Stephan Merz
Software Component Design with the B Method - A Formalization in Isabelle/HOL. FACS (2015)
Jingshu Chen, Marie Duflot, Stephan Merz
Analyzing Conflict Freedom for Multi-threaded Programs With Time Annotations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Gerald Lüttgen, Stephan Merz
Special issue on Automated Verification of Critical Systems (AVoCS'12). Sci. Comput. Program. 96 (2014)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. ARQNL@IJCAR (2014)
Stephan Merz, Hernán Vanzetto
Refinement Types for tla +. NASA Formal Methods (2014)
Jingshu Chen, Marie Duflot, Stephan Merz
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations. CoRR (2014)
Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. CoRR (2014)
Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz
Towards Certifying Network Calculus. ITP (2013)
Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141). Dagstuhl Reports 3 (4) (2013)
Gerald Lüttgen, Stephan Merz
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Stephan Merz, Hernán Vanzetto
Automatic Verification of TLA + Proof Obligations with SMT Solvers. LPAR (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA+ Proofs CoRR (2012)
Henri Debrat, Stephan Merz
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model. Arch. Formal Proofs 2012 (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA + Proofs. FM (2012)
Stephan Merz
Proof System. PxTP (2012)
Pascal Fontaine, Stephan Merz, Christoph Weidenbach
Combination of Disjoint Theories: Beyond Decidability. IJCAR (2012)
Stephan Merz
Stuttering Equivalence. Arch. Formal Proofs 2012 (2012)
Stephan Merz, Hernán Vanzetto
Harnessing SMT Solvers for TLA+ Proofs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Gudmund Grov, Stephan Merz
A Definitional Encoding of TLA* in Isabelle/HOL. Arch. Formal Proofs 2011 (2011)
David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
Exploiting Symmetry in SMT Problems. CADE (2011)
Stephan Merz, Martin Quinson, Cristian Daniel Rosa
SimGrid MC: Verification Support for a Multi-API Simulation Platform. FMOODS/FORTE (2011)
Stephan Merz, Hernán Vanzetto
Towards certification of TLA+ proof obligations with SMT solvers. PxTP (2011)
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
. FMOODS/FORTE (2011)
Bernadette Charron-Bost, Henri Debrat, Stephan Merz
Formal Verification of Consensus Algorithms Tolerating Malicious Faults. SSS (2011)
Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
Compression of Propositional Resolution Proofs via Partial Regularization. CADE (2011)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties With the TLA+ Proof System CoRR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties with the TLA+ Proof System. IJCAR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Proof System: Building a Heterogeneous Verification Platform. ICTAC (2010)
Hehua Zhang, Stephan Merz, Ming Gu
: A case study. Comput. Math. Appl. 60 (3) (2010)
Sabina Akhtar, Stephan Merz, Martin Quinson
A High-Level Language for Modeling Algorithms and Their Properties. SBMF (2010)
Cristian Daniel Rosa, Stephan Merz, Martin Quinson
A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. RP (2009)
Bernadette Charron-Bost, Stephan Merz
Formal Verification of a Consensus Algorithm in the Heard-Of Model. Int. J. Softw. Informatics 3 (2-3) (2009)
Hehua Zhang, Stephan Merz, Ming Gu
Specifying and Verifying PLC Systems with TLA+. TASE (2009)
Alexander Schimpf, Stephan Merz, Jan-Georg Smaus
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. TPHOLs (2009)
Francisco Javier López-Fraguas, Stephan Merz, Juan Rodríguez-Hortalá
A Formalization of the Semantics of Functional-Logic Programming in Isabelle CoRR (2009)
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
Preface. J. Autom. Reason. 41 (3-4) (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System. LPAR Workshops (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System CoRR (2008)
Eun-Young Kang, Stephan Merz
Predicate diagrams for the verification of real-time systems. Formal Aspects Comput. 19 (3) (2007)
Dominique Méry, Stephan Merz
Specification and Refinement of Access Control. J. Univers. Comput. Sci. 13 (8) (2007)
Stephan Merz, Tobias Nipkow
Preface. Electron. Notes Theor. Comput. Sci. 185 (2007)
Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
Preface -- Workshop Trustworthy Software 2006. Trustworthy Software (2006)
Eun-Young Kang, Stephan Merz
Predicate Diagrams for the Verification of Real-Time Systems. Electron. Notes Theor. Comput. Sci. 145 (2006)
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. TACAS (2006)
Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe
Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351 (2) (2006)
Dominique Méry, Stephan Merz
Event Systems and Access Control CoRR (2006)
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz
Transformation of B specifications into UML class diagrams and state machines. SAC (2006)
Moritz Hammer, Alexander Knapp, Stephan Merz
Truly On-the-Fly LTL Model Checking. TACAS (2005)
Moritz Hammer, Alexander Knapp, Stephan Merz
Truly On-The-Fly LTL Model Checking CoRR (2005)
Mauro Jaskelioff, Stephan Merz
Proving the Correctness of Disk Paxos. Arch. Formal Proofs 2005 (2005)
Alexander Knapp, Stephan Merz, Martin Wirsing
Refining Mobile UML State Machines. AMAST (2004)
Stephan Merz, Martin Wirsing, Júlia Zappe
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE (2003)
Stephan Merz
On the Logic of TLA+. Comput. Artif. Intell. 22 (3-4) (2003)
Stephan Merz
Model Checking Techniqes for the Analysis of Reactive Systems. Synth. 133 (1-2) (2002)
Alexander Knapp, Stephan Merz, Christopher Rauh
Model Checking - Timed UML State Machines and Collaborations. FTRTFT (2002)
Timm Schäfer, Alexander Knapp, Stephan Merz
Model checking UML state machines and collaborations. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Dominique Cansell, Dominique Méry, Stephan Merz
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) (2001)
Dominique Cansell, Dominique Méry, Stephan Merz
Diagram Refinements for the Design of Reactive Systems. J. Univers. Comput. Sci. 7 (2) (2001)
Dominique Cansell, Dominique Méry, Stephan Merz
Predicate Diagrams for the Verification of Reactive Systems. IFM (2000)
Stephan Merz
Weak Alternating Automata in Isabelle/HOL. TPHOLs (2000)
Stephan Merz
Model Checking: A Tutorial Overview. MOVEP (2000)
Stephan Merz
A More Complete TLA. World Congress on Formal Methods (1999)
Yassin Mokhtari, Stephan Merz
Animating TLA Specifications. LPAR (1999)
Stephan Merz
Rules for Abstraction. ASIAN (1997)
François Bourdoncle, Stephan Merz
Type-Checking Higher-Order Polymorphic Multi-Methods. POPL (1997)
Martín Abadi, Stephan Merz
On TLA as a logic. NATO ASI DPD (1996)
Jean Paul Bahsoun, Stephan Merz, Corinne Servieres
Modular Description and Verification of Concurrent Objects. OBPDC (1995)
Martín Abadi, Stephan Merz
An Abstract Account of Composition. MFCS (1995)
Frank Leßke, Stephan Merz
Steam Boiler Control Specification Problem: A TLA Solution. Formal Methods for Industrial Applications (1995)
Manfred Broy, Stephan Merz, Katharina Spies
The RPC-Memory Case Study: A Synopsis. Formal Systems Specification (1994)
Leslie Lamport, Stephan Merz
Specifying and Verifying Fault-Tolerant Systems. FTRTFT (1994)
Martín Abadi, Leslie Lamport, Stephan Merz
A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification (1994)

Stephan Merz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Merz