| 2024 | ISoLA | Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). | Marieke Huisman, Stephan Merz, Cristina Seceleanu |
| 2024 | SEFM | Validating Traces of Distributed Programs Against TLA | Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz |
| 2023 | FORTE | Towards an Automatic Proof of the Bakery Algorithm. | Aman Goel, Stephan Merz, Karem A. Sakallah |
| 2023 | IFM | Extending PlusCal for Modeling Distributed Algorithms. | Horatiu Cirstea, Stephan Merz |
| 2022 | ISoLA | Specification and Verification with the TLA | Igor Konnov, Markus Kuppe, Stephan Merz |
| 2021 | SSS | Synchronization Modulo k in Dynamic Networks. | Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz |
| 2019 | IM | Automated Factorization of Security Chains in Software-Defined Networks. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2019 | IM | A Tool Suite for the Automated Synthesis of Security Function Chains. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2019 | ITP | Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle. | Ran Chen, Cyril Cohen, Jean-Jacques Lvy, Stephan Merz, Laurent Thry |
| 2018 | NOMS | Synaptic: A formal checker for SDN-based security policies. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2018 | NOMS | Generation of SDN policies for protecting android environments based on automata learning. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2017 | NetSoft | Automated verification of security chains in software-defined networks with synaptic. | Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz |
| 2014 | CADE | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. | Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz |
| 2013 | ITP | Towards Certifying Network Calculus. | Etienne Mabille, Marc Boyer, Loc Fejoz, Stephan Merz |
| 2012 | CADE | Combination of Disjoint Theories: Beyond Decidability. | Pascal Fontaine, Stephan Merz, Christoph Weidenbach |
| 2012 | FM | TLA + Proofs. | Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernn Vanzetto |
| 2012 | LPAR | Automatic Verification of TLA + Proof Obligations with SMT Solvers. | Stephan Merz, Hernn Vanzetto |
| 2011 | CADE | Exploiting Symmetry in SMT Problems. | David Dharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo |
| 2011 | CADE | Compression of Propositional Resolution Proofs via Partial Regularization. | Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo |
| 2011 | FORTE | Towards Verification of the Pastry Protocol Using TLA | Tianxiang Lu, Stephan Merz, Christoph Weidenbach |
| 2011 | FORTE | SimGrid MC: Verification Support for a Multi-API Simulation Platform. | Stephan Merz, Martin Quinson, Cristian Daniel Rosa |
| 2011 | SSS | Formal Verification of Consensus Algorithms Tolerating Malicious Faults. | Bernadette Charron-Bost, Henri Debrat, Stephan Merz |
| 2010 | CADE | Verifying Safety Properties with the TLA+ Proof System. | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
| 2010 | ICTAC | The TLA | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
| 2009 | TASE | Specifying and Verifying PLC Systems with TLA+. | Hehua Zhang, Stephan Merz, Ming Gu |
| 2008 | LPAR | A TLA+ Proof System. | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
| 2006 | SAC | Transformation of B specifications into UML class diagrams and state machines. | Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz |
| 2006 | TACAS | Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
| 2005 | TACAS | Truly On-the-Fly LTL Model Checking. | Moritz Hammer, Alexander Knapp, Stephan Merz |
| 2003 | FASE | A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. | Stephan Merz, Martin Wirsing, Jlia Zappe |
| 2001 | GI | Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 2000 | IFM | Predicate Diagrams for the Verification of Reactive Systems. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 1999 | FM | A More Complete TLA. | Stephan Merz |
| 1999 | LPAR | Animating TLA Specifications. | Yassin Mokhtari, Stephan Merz |
| 1997 | POPL | Type-Checking Higher-Order Polymorphic Multi-Methods. | Franois Bourdoncle, Stephan Merz |
| 1995 | MFCS | An Abstract Account of Composition. | Martn Abadi, Stephan Merz |
| 1993 | IJCAI | Efficiently Executable Temporal Logic Programs. | Stephan Merz |