Stephan Merz
Stephan Merz
Senior Researcher, INRIA
Verified email at - Homepage
Cited by
Cited by
Model checking UML state machines and collaborations
T Schäfer, A Knapp, S Merz
Electronic Notes in Theoretical Computer Science 55 (3), 357-369, 2001
Model checking timed UML state machines and collaborations
A Knapp, S Merz, C Rauh
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
Model checking: A tutorial overview
S Merz
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001
Model checking and code generation for UML state machines and collaborations
A Knapp, S Merz
Expressiveness+ automation+ soundness: Towards combining SMT solvers and interactive proof assistants
P Fontaine, JY Marion, S Merz, LP Nieto, A Tiu
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
TLA +  Proofs
D Cousineau, D Doligez, L Lamport, S Merz, D Ricketts, H Vanzetto
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
Verifying Safety Properties with the TLA +  Proof System
K Chaudhuri, D Doligez, L Lamport, S Merz
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
Specifying and verifying fault-tolerant systems
L Lamport, S Merz
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994
Type checking higher-order polymorphic multi-methods
F Bourdoncle, S Merz
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
Decidability and incompleteness results for first-order temporal logics of linear time
S Merz
Journal of Applied Non-Classical Logics 2 (2), 139-156, 1992
A spatio-temporal logic for the specification and refinement of mobile systems
S Merz, M Wirsing, J Zappe
Fundamental Approaches to Software Engineering: 6th International Conference …, 2003
On the Logic of TLA+
S Merz
Computing and Informatics 22 (3-4), 351-379, 2003
A reduction theorem for the verification of round-based distributed algorithms
M Chaouch-Saad, B Charron-Bost, S Merz
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau …, 2009
A TLA+ proof system
KC Chaudhuri, D Doligez, L Lamport, S Merz
arXiv preprint arXiv:0811.1914, 2008
Exploiting Symmetry in SMT Problems.
D Déharbe, P Fontaine, S Merz, BW Paleo
CADE 6803, 222-236, 2011
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 …, 2011
The Specification Language TLA+
S Merz
Logics of specification languages, 401-451, 2008
The TLA +  Proof System: Building a Heterogeneous Verification Platform
K Chaudhuri, D Doligez, L Lamport, S Merz
Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010
Truly On-the-Fly LTL Model Checking.
M Hammer, A Knapp, S Merz
TACAS 5, 191-205, 2005
Diagram refinements for the design of reactive systems.
D Cansell, D Méry, S Merz
J. Univers. Comput. Sci. 7 (2), 159-174, 2001
The system can't perform the operation now. Try again later.
Articles 1–20