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 | | Stephan Merz:
Weak Alternating Automata in Isabelle/HOL.
TPHOLs 2000: 424-441 |
1999 |
16 | | 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 | | 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) |