| * | 2009 |
|---|
| 45 | EE | Mouna Chaouch-Saad,
Bernadette Charron-Bost,
Stephan Merz:
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.
RP 2009: 93-106 |
| 44 | EE | Hehua Zhang,
Stephan Merz,
Ming Gu:
Specifying and Verifying PLC Systems with TLA+.
TASE 2009: 293-294 |
| 43 | EE | Alexander Schimpf,
Stephan Merz,
Jan-Georg Smaus:
Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL.
TPHOLs 2009: 424-439 |
| 42 | EE | Francisco Javier López-Fraguas,
Stephan Merz,
Juan Rodríguez-Hortalá:
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
CoRR abs/0908.0494: (2009) |
| 2008 |
|---|
| 41 | EE | Kaustuv Chaudhuri,
Damien Doligez,
Leslie Lamport,
Stephan Merz:
A TLA+ Proof System.
LPAR Workshops 2008 |
| 40 | EE | Kaustuv Chaudhuri,
Damien Doligez,
Leslie Lamport,
Stephan Merz:
A TLA+ Proof System
CoRR abs/0811.1914: (2008) |
| 39 | EE | Serge Autexier,
Heiko Mantel,
Stephan Merz,
Tobias Nipkow:
Preface.
J. Autom. Reasoning 41(3-4): 191-192 (2008) |
| 2007 |
|---|
| 38 | EE | Stephan Merz,
Tobias Nipkow:
Preface.
Electr. Notes Theor. Comput. Sci. 185: 1-2 (2007) |
| 37 | EE | Eun-Young Kang,
Stephan Merz:
Predicate diagrams for the verification of real-time systems.
Formal Asp. Comput. 19(3): 401-413 (2007) |
| 36 | EE | Dominique Méry,
Stephan Merz:
Specification and Refinement of Access Control.
J. UCS 13(8): 1073-1093 (2007) |
| 2006 |
|---|
| 35 | | Serge Autexier,
Stephan Merz,
Leendert W. N. van der Torre,
Reinhard Wilhelm,
Pierre Wolper:
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 34 | EE | Houda Fekih,
Leila Jemni Ben Ayed,
Stephan Merz:
Transformation of B specifications into UML class diagrams and state machines.
SAC 2006: 1840-1844 |
| 33 | EE | 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: 167-181 |
| 32 | EE | Serge Autexier,
Stephan Merz,
Leendert W. N. van der Torre,
Reinhard Wilhelm,
Pierre Wolper:
Preface -- Workshop Trustworthy Software 2006.
Trustworthy Software 2006 |
| 31 | EE | Dominique Méry,
Stephan Merz:
Event Systems and Access Control
CoRR abs/cs/0604081: (2006) |
| 30 | EE | Eun-Young Kang,
Stephan Merz:
Predicate Diagrams for the Verification of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 145: 151-165 (2006) |
| 29 | EE | 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): 184-202 (2006) |
| 2005 |
|---|
| 28 | EE | Moritz Hammer,
Alexander Knapp,
Stephan Merz:
Truly On-the-Fly LTL Model Checking.
TACAS 2005: 191-205 |
| 27 | EE | Moritz Hammer,
Alexander Knapp,
Stephan Merz:
Truly On-The-Fly LTL Model Checking
CoRR abs/cs/0511061: (2005) |
| 2004 |
|---|
| 26 | EE | Alexander Knapp,
Stephan Merz,
Martin Wirsing:
Refining Mobile UML State Machines.
AMAST 2004: 274-288 |
| 2003 |
|---|
| 25 | EE | Stephan Merz,
Martin Wirsing,
Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
FASE 2003: 87-101 |
| 24 | | Stephan Merz:
On the Logic of TLA+.
Computers and Artificial Intelligence 22(4): (2003) |
| 2002 |
|---|
| 23 | EE | Alexander Knapp,
Stephan Merz,
Christopher Rauh:
Model Checking - Timed UML State Machines and Collaborations.
FTRTFT 2002: 395-416 |
| 2001 |
|---|
| 22 | | Dominique Cansell,
Dominique Méry,
Stephan Merz:
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.
GI Jahrestagung (1) 2001: 628-634 |
| 21 | EE | Timm Schäfer,
Alexander Knapp,
Stephan Merz:
Model checking UML state machines and collaborations.
Electr. Notes Theor. Comput. Sci. 55(3): (2001) |
| 20 | EE | Dominique Cansell,
Dominique Méry,
Stephan Merz:
Diagram Refinements for the Design of Reactive Systems.
J. UCS 7(2): 159-174 (2001) |
| 2000 |
|---|
| 19 | EE | Dominique Cansell,
Dominique Méry,
Stephan Merz:
Predicate Diagrams for the Verification of Reactive Systems.
IFM 2000: 380-397 |
| 18 | EE | Stephan Merz:
Model Checking: A Tutorial Overview.
MOVEP 2000: 3-38 |
| 17 | EE | Stephan Merz:
Weak Alternating Automata in Isabelle/HOL.
TPHOLs 2000: 424-441 |
| 1999 |
|---|
| 16 | EE | Yassin Mokhtari,
Stephan Merz:
Animating TLA Specifications.
LPAR 1999: 92-110 |
| 15 | EE | Stephan Merz:
A More Complete TLA.
World Congress on Formal Methods 1999: 1226-1244 |
| 1997 |
|---|
| 14 | | Stephan Merz:
Rules for Abstraction.
ASIAN 1997: 32-45 |
| 13 | EE | François Bourdoncle,
Stephan Merz:
Type-Checking Higher-Order Polymorphic Multi-Methods.
POPL 1997: 302-315 |
| 1996 |
|---|
| 12 | | Manfred Broy,
Stephan Merz,
Katharina Spies:
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Springer 1996 |
| 11 | | Martín Abadi,
Stephan Merz:
On TLA as a logic.
NATO ASI DPD 1996: 235-271 |
| 1995 |
|---|
| 10 | | Frank Lesske,
Stephan Merz:
Steam Boiler Control Specification Problem: A TLA Solution.
Formal Methods for Industrial Applications 1995: 339-358 |
| 9 | EE | Martín Abadi,
Stephan Merz:
An Abstract Account of Composition.
MFCS 1995: 499-508 |
| 8 | | Jean Paul Bahsoun,
Stephan Merz,
Corinne Servieres:
Modular Description and Verification of Concurrent Objects.
OBPDC 1995: 168-186 |
| 1994 |
|---|
| 7 | | Leslie Lamport,
Stephan Merz:
Specifying and Verifying Fault-Tolerant Systems.
FTRTFT 1994: 41-76 |
| 6 | | Martín Abadi,
Leslie Lamport,
Stephan Merz:
A TLA Solution to the RPC-Memory Specification Problem.
Formal Systems Specification 1994: 21-66 |
| 5 | | Manfred Broy,
Stephan Merz,
Katharina Spies:
The RPC-Memory Case Study: A Synopsis.
Formal Systems Specification 1994: 5-20 |
| 1993 |
|---|
| 4 | | Stephan Merz:
Efficiently Executable Temporal Logic Programs.
Executable Modal and Temporal Logics 1993: 69-85 |
| 3 | EE | Jean Paul Bahsoun,
Stephan Merz,
Corinne Servieres:
A Framework for Programming and Formalizing Concurrent Objects.
SIGSOFT FSE 1993: 126-137 |
| 1992 |
|---|
| 2 | | Stephan Merz:
Decidability and incompleteness results for first-order temporal logics of linear time.
Journal of Applied Non-Classical Logics 2(2): (1992) |
| 1991 |
|---|
| 1 | | Fred Kröger,
Stephan Merz:
Temporal logic and recursion.
Fundam. Inform. 14(2): 261-281 (1991) |
