Stephan Merz - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Stephan Merz' as author, editor, or advisor:

Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a GraphStephan Merz, Vincent Trélat. afp, 2022, 2022. [doi]
Towards Verification of the Pastry Protocol Using TLA::: + :::Tianxiang Lu, Stephan Merz, Christoph Weidenbach. forte 2011: 244-258 [doi]
Specifying and verifying PLC systems with TLA:::+::: : A case studyHehua Zhang, Stephan Merz, Ming Gu. cma, 60(3):695-705, 2010. [doi]
Specifying and Verifying Fault-Tolerant SystemsLeslie Lamport, Stephan Merz. ftrtft 1994: 41-76
Modular Description and Verification of Concurrent ObjectsJean Paul Bahsoun, Stephan Merz, Corinne Servieres. obpdc 1996: 168-186
Proving Determinacy of the PharOS Real-Time Operating SystemSelma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz. asm 2016: 70-85 [doi]
Automated Factorization of Security Chains in Software-Defined NetworksNicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. im 2019: 374-380 [doi]
EditorialStephan Merz, Jun Pang, Jin Song Dong. fac, 28(3):343-344, 2016. [doi]
Construction of BÃ¼chi Automata for LTL Model Checking Verified in Isabelle/HOLAlexander Schimpf, Stephan Merz, Jan-Georg Smaus. tphol 2009: 424-439 [doi]
The RPC-Memory Case Study: A SynopsisManfred Broy, Stephan Merz, Katharina Spies. Dagstuhl 1996: 5-20
An Abstract Account of CompositionMartín Abadi, Stephan Merz. mfcs 1995: 499-508
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal LogicsDamien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. cade 2015: 1-16 [doi]
PrefaceStephan Merz, Tobias Nipkow. ENTCS, 185:1-2, 2007. [doi]
EditorialStephan Merz, Jun Pang, Jin Song Dong. fac, 28(5):723-724, 2016. [doi]
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006Stephan Merz, Tobias Nipkow, editors, Volume 185 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
A Definitional Encoding of TLA* in Isabelle/HOLGudmund Grov, Stephan Merz. afp, 2011, 2011. [doi]
Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and IsabelleRan Chen, Cyril Cohen, Jean-Jacques Lévy, Stephan Merz, Laurent Théry. itp 2019: [doi]
Refining Mobile UML State MachinesAlexander Knapp, Stephan Merz, Martin Wirsing. amast 2004: 274-288 [doi]
Generation of SDN policies for protecting android environments based on automata learningNicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. noms 2018: 1-7 [doi]
A Reduction Theorem for the Verification of Round-Based Distributed AlgorithmsMouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz. rp 2009: 93-106 [doi]
On the Logic of TLA+Stephan Merz. cai, 22(4):351-379, 2003.
Exploiting Symmetry in SMT ProblemsDavid Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. cade 2011: 222-236 [doi]
A machine-checked correctness proof for PastryNoran Azmy, Stephan Merz, Christoph Weidenbach. SCP, 158:64-80, 2018. [doi]
Selected Extended Papers of ITP 2016: PrefaceJasmin Christian Blanchette, Stephan Merz. JAR, 62(2):169-170, 2019. [doi]
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, ProceedingsJasmin Christian Blanchette, Stephan Merz, editors, Volume 9807 of Lecture Notes in Computer Science, Springer, 2016. [doi]
PrefaceSerge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow. JAR, 41(3-4):191-192, 2008. [doi]
Harnessing SMT Solvers for TLA+ ProofsStephan Merz, Hernán Vanzetto. eceasst, 53, 2012. [doi]
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. ProceedingsDominique Méry, Stephan Merz, editors, Volume 6396 of Lecture Notes in Computer Science, Springer, 2010. [doi]
Combination of Disjoint Theories: Beyond DecidabilityPascal Fontaine, Stephan Merz, Christoph Weidenbach. cade 2012: 256-270 [doi]
Specification and refinement of mobile systems in MTLA and mobile UMLAlexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe. TCS, 351(2):184-202, 2006. [doi]
Rule-Based Synthesis of Chains of Security Functions for Software-Defined NetworksNicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. eceasst, 76, 2018. [doi]
Preface -- Workshop Trustworthy Software 2006Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper. Dagstuhl 2006: [doi]
Refinement Types for tla +Stephan Merz, Hernán Vanzetto. NFM 2014: 143-157 [doi]
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. ProceedingsStephan Merz, Jun Pang, editors, Volume 8829 of Lecture Notes in Computer Science, Springer, 2014. [doi]
+ into unsorted and many-sorted first-order logicStephan Merz, Hernán Vanzetto. SCP, 158:3-20, 2018. [doi]
A Simple Model of Communication APIs - Application to Dynamic Partial-order ReductionCristian Daniel Rosa, Stephan Merz, Martin Quinson. eceasst, 35, 2010. [doi]
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate DiagramsDominique Cansell, Dominique Méry, Stephan Merz. gi 2001: 628-634
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder. dagstuhl-reports, 3(4):1-16, 2013. [doi]
Analyzing Conflict Freedom for Multi-threaded Programs With Time AnnotationsJingshu Chen, Marie Duflot, Stephan Merz. eceasst, 70, 2014. [doi]
Temporal logic and recursionFred Kröger, Stephan Merz. FUIN, 14(2):261-281, 1991.
A TLA Solution to the RPC-Memory Specification ProblemMartín Abadi, Leslie Lamport, Stephan Merz. Dagstuhl 1996: 21-66
Model checking UML state machines and collaborationsTimm Schäfer, Alexander Knapp, Stephan Merz. ENTCS, 55(3):357-369, 2001. [doi]
Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, GermanySerge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper, editors, Volume 06000 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)Manfred Broy, Stephan Merz, Katharina Spies, editors, Volume 1169 of Lecture Notes in Computer Science, Springer, 1996.
A More Complete TLAStephan Merz. FM 1999: 1226-1244 [doi]
Specification and Refinement of Access ControlDominique Méry, Stephan Merz. jucs, 13(8):1073-1093, 2007. [doi]
Temporal Logic and State SystemsFred Kröger, Stephan Merz. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2008. [doi]
Automatic Verification of TLA + Proof Obligations with SMT SolversStephan Merz, Hernán Vanzetto. lpar 2012: 289-303 [doi]
A Framework for Programming and Formalizing Concurrent ObjectsJean Paul Bahsoun, Stephan Merz, Corinne Servieres. ESEC/FSE 1993: 126-137 [doi]
Transformation of B specifications into UML class diagrams and state machinesHouda Fekih, Leila Jemni Ben Ayed, Stephan Merz. SAC 2006: 1840-1844 [doi]
Rules for AbstractionStephan Merz. asian 1997: 32-45
Temporal logic as a programming languageStephan Merz. PhD thesis, Ludwig Maximilian University of Munich, Germany, 1992. [doi]
Modal Satisfiability via SMT SolvingCarlos Areces, Pascal Fontaine, Stephan Merz. BIRTHDAY 2015: 30-45 [doi]
Predicate diagrams for the verification of real-time systemsEun-Young Kang, Stephan Merz. fac, 19(3):401-413, 2007. [doi]
Prophecy Made SimpleLeslie Lamport, Stephan Merz. TOPLAS, 44(2), 2022. [doi]
Synaptic: A formal checker for SDN-based security policiesNicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. noms 2018: 1-2 [doi]
Automated verification of security chains in software-defined networks with synapticNicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. netsoft 2017: 1-9 [doi]
Type-Checking Higher-Order Polymorphic Multi-MethodsFrançois Bourdoncle, Stephan Merz. POPL 1997: 302-315 [doi]
Diagram Refinements for the Design of Reactive SystemsDominique Cansell, Dominique Méry, Stephan Merz. jucs, 7(2):159-174, 2001. [doi]
A Spatio-Temporal Logic for the Specification and Refinement of Mobile SystemsStephan Merz, Martin Wirsing, Júlia Zappe. FASE 2003: 87-101 [doi]
A High-Level Language for Modeling Algorithms and Their PropertiesSabina Akhtar, Stephan Merz, Martin Quinson. sbmf 2011: 49-63 [doi]
The TLA:::+::: Proof System: Building a Heterogeneous Verification PlatformKaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz. ictac 2010: 44 [doi]
Compression of Propositional Resolution Proofs via Partial RegularizationPascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. cade 2011: 237-251 [doi]
+ Trifecta: TLC, Apalache, and TLAPSIgor Konnov, Markus Kuppe, Stephan Merz. ISoLA 2022: 88-105 [doi]
Steam Boiler Control Specification Problem: A TLA SolutionFrank Lesske, Stephan Merz. Dagstuhl 1996: 339-358
Towards certification of TLA+ proof obligations with SMT solversStephan Merz, Hernán Vanzetto. pxtp 2011: 40-45 [doi]
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of ModelHenri Debrat, Stephan Merz. afp, 2012, 2012. [doi]
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof AssistantsPascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu. TACAS 2006: 167-181 [doi]
Weak Alternating Automata in Isabelle/HOLStephan Merz. tphol 2000: 424-441
Extending PlusCal for Modeling Distributed AlgorithmsHoratiu Cirstea, Stephan Merz. IFM 2024: 321-340 [doi]
Special issue on Automated Verification of Critical Systems (AVoCS'12)Gerald Lüttgen, Stephan Merz. SCP, 96:277-278, 2014. [doi]
Decidability and incompleteness results for first-order temporal logics of linear timeStephan Merz. jancl, 2(2):139-156, 1992.
Towards an Automatic Proof of the Bakery AlgorithmAman Goel, Stephan Merz, Karem A. Sakallah. forte 2023: 21-28 [doi]
Model Checking - Timed UML State Machines and CollaborationsAlexander Knapp, Stephan Merz, Christopher Rauh. ftrtft 2002: 395-416 [doi]
A Tool Suite for the Automated Synthesis of Security Function ChainsNicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz. im 2019: 716-717 [doi]
Model Checking Techniqes for the Analysis of Reactive SystemsStephan Merz. synthese, 133(1-2):173-201, 2002. [doi]
Efficiently Executable Temporal Logic ProgramsStephan Merz. IJCAI 1995: 69-85
Truly On-the-Fly LTL Model CheckingMoritz Hammer, Alexander Knapp, Stephan Merz. TACAS 2005: 191-205 [doi]
Predicate Diagrams for the Verification of Real-Time SystemsEun-Young Kang, Stephan Merz. ENTCS, 145:151-165, 2006. [doi]
Formal Verification of Consensus Algorithms Tolerating Malicious FaultsBernadette Charron-Bost, Henri Debrat, Stephan Merz. sss 2011: 120-134 [doi]
PrefaceGerald Lüttgen, Stephan Merz. eceasst, 53, 2012. [doi]
P in dynamic networksLouis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz. TCS, 942:200-212, 2023. [doi]
A TLA+ Proof SystemKaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz. lpar 2008: [doi]
Animating TLA SpecificationsYassin Mokhtari, Stephan Merz. lpar 1999: 92-110
A Rigorous Correctness Proof for PastryNoran Azmy, Stephan Merz, Christoph Weidenbach. asm 2016: 86-101 [doi]
Model Checking: A Tutorial OverviewStephan Merz. movep 2001: 3-38 [doi]
TLA + ProofsDenis Cousineau 0002, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto. FM 2012: 147-154 [doi]
Formal Verification of a Consensus Algorithm in the Heard-Of ModelBernadette Charron-Bost, Stephan Merz. ijsi, 3(2-3):273-303, 2009. [doi]
Specifying and Verifying PLC Systems with TLA+Hehua Zhang, Stephan Merz, Ming Gu. tase 2009: 293-294 [doi]
Proving the Correctness of Disk PaxosMauro Jaskelioff, Stephan Merz. afp, 2005, 2005. [doi]
SimGrid MC: Verification Support for a Multi-API Simulation PlatformStephan Merz, Martin Quinson, Cristian Rosa. forte 2011: 274-288 [doi]
Software Component Design with the B Method - A Formalization in Isabelle/HOLDavid Déharbe, Stephan Merz. facs2 2016: 31-47 [doi]
Verifying Safety Properties with the TLA+ Proof SystemKaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz. cade 2010: 142-148 [doi]
Stuttering EquivalenceStephan Merz. afp, 2012, 2012. [doi]
Towards Certifying Network CalculusEtienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz. itp 2013: 484-489 [doi]
Formal specification and verificationStephan Merz. In Dahlia Malkhi, editor, Concurrency: the Works of Leslie Lamport. pages 103-129, ACM, 2019. [doi]
Synchronization Modulo k in Dynamic NetworksLouis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz. sss 2021: 425-439 [doi]
Predicate Diagrams for the Verification of Reactive SystemsDominique Cansell, Dominique Méry, Stephan Merz. IFM 2000: 380-397 [doi]
Encoding TLA ^+ + into Many-Sorted First-Order LogicStephan Merz, Hernán Vanzetto. asm 2016: 54-69 [doi]
On TLA as a logicMartín Abadi, Stephan Merz. nato 1996: 235-271
+ Proof SystemStephan Merz. pxtp 2012: 16-20 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Stephan Merz's Profile

Unidentified Publications