( en | de | ru )

 

Disambiguation of "Merz, Stephan"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle.

, , , , and . ITP, volume 141 of LIPIcs, page 13:1-13:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephan Merz

Stephan Merz

Stephan Merz

Stephan Merz

Regine Merz

 

Other publications of authors with the same name

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series), and . Springer Publishing Company, Incorporated, (2008)Proofs and Proof Certification in the TLA+ Proof System.. PxTP, volume 878 of CEUR Workshop Proceedings, page 16-20. CEUR-WS.org, (2012)Refining Mobile UML State Machines, , and . (2004)Extending PlusCal for Modeling Distributed Algorithms., and . iFM, volume 14300 of Lecture Notes in Computer Science, page 321-340. Springer, (2023)Towards an Automatic Proof of the Bakery Algorithm., , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 21-28. Springer, (2023)Synchronization Modulo k in Dynamic Networks., , and . SSS, volume 13046 of Lecture Notes in Computer Science, page 425-439. Springer, (2021)Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 88-105. Springer, (2022)Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks., , , and . ECEASST, (2018)The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform, , , and . Theoretical Aspects of Computing – ICTAC 2010, volume 6255 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams., , and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 628-634. Konstanz UVK-Verl.-Ges., (2001)