Stephan Merz
Stephan Merz
Senior Researcher, INRIA
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
TitelZitiert vonJahr
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
2762001
Model checking timed UML state machines and collaborations
A Knapp, S Merz, C Rauh
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
2252002
Model checking: A tutorial overview
S Merz
Summer School on Modeling and Verification of Parallel Processes, 3-38, 2000
1842000
Texts in Theoretical Computer Science
AE Series
1662008
Model checking and code generation for UML state machines and collaborations
A Knapp, S Merz
Proc. 5th Wsh. Tools for System Design and Verification, 59-64, 2002
1382002
Expressiveness+ automation+ soundness: Towards combining SMT solvers and interactive proof assistants
P Fontaine, JY Marion, S Merz, LP Nieto, A Tiu
International Conference on Tools and Algorithms for the Construction and …, 2006
1012006
Type checking higher-order polymorphic multi-methods
F Bourdoncle, S Merz
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
861997
Specifying and verifying fault-tolerant systems
L Lamport, S Merz
Formal Techniques in real-time and fault-tolerant systems, 41-76, 1994
851994
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
681992
Verifying safety properties with the TLA+ proof system
K Chaudhuri, D Doligez, L Lamport, S Merz
International Joint Conference on Automated Reasoning, 142-148, 2010
622010
A spatio-temporal logic for the specification and refinement of mobile systems
S Merz, M Wirsing, J Zappe
International Conference on Fundamental Approaches to Software Engineering …, 2003
582003
On the Logic of TLA+
S Merz
Computing and Informatics 22 (3-4), 351-379, 2012
572012
TLA +  Proofs
D Cousineau, D Doligez, L Lamport, S Merz, D Ricketts, H Vanzetto
International Symposium on Formal Methods, 147-154, 2012
542012
Diagram refinements for the design of reactive systems
D Cansell, D Méry, S Merz
Journal of Universal Computer Science 7 (2), 159-174, 2001
432001
Truly on-the-fly LTL model checking
M Hammer, A Knapp, S Merz
International Conference on Tools and Algorithms for the Construction and …, 2005
422005
On TLA as a logic
M n Abadi, S Merz
Deductive Program Design, NATO ASI Series. Springer-Verlag, Berlin, 1995
371995
Exploiting symmetry in SMT problems
D Déharbe, P Fontaine, S Merz, BW Paleo
International Conference on Automated Deduction, 222-236, 2011
362011
The Specification Language TLA+
S Merz
Logics of specification languages, 401-451, 2008
362008
Predicate diagrams for the verification of reactive systems
D Cansell, D Méry, S Merz
International Conference on Integrated Formal Methods, 380-397, 2000
352000
Towards Verification of the Pastry Protocol Using TLA + 
T Lu, S Merz, C Weidenbach
Formal Techniques for Distributed Systems, 244-258, 2011
342011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20