Search the dblp DataBase
Stephan Merz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Alexander Knapp , Stephan Merz , Martin Wirsing Refining Mobile UML State Machines. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:274-288 [Conf ] Stephan Merz Rules for Abstraction. [Citation Graph (0, 0)][DBLP ] ASIAN, 1997, pp:32-45 [Conf ] Martín Abadi , Leslie Lamport , Stephan Merz A TLA Solution to the RPC-Memory Specification Problem. [Citation Graph (0, 0)][DBLP ] Formal Systems Specification, 1994, pp:21-66 [Conf ] Manfred Broy , Stephan Merz , Katharina Spies The RPC-Memory Case Study: A Synopsis. [Citation Graph (0, 0)][DBLP ] Formal Systems Specification, 1994, pp:5-20 [Conf ] Frank Lesske , Stephan Merz Steam Boiler Control Specification Problem: A TLA Solution. [Citation Graph (0, 0)][DBLP ] Formal Methods for Industrial Applications, 1995, pp:339-358 [Conf ] Stephan Merz , Martin Wirsing , Júlia Zappe A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. [Citation Graph (0, 0)][DBLP ] FASE, 2003, pp:87-101 [Conf ] Stephan Merz A More Complete TLA. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1226-1244 [Conf ] Alexander Knapp , Stephan Merz , Christopher Rauh Model Checking - Timed UML State Machines and Collaborations. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2002, pp:395-416 [Conf ] Leslie Lamport , Stephan Merz Specifying and Verifying Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:41-76 [Conf ] Dominique Cansell , Dominique Méry , Stephan Merz Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (1), 2001, pp:628-634 [Conf ] Dominique Cansell , Dominique Méry , Stephan Merz Predicate Diagrams for the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:380-397 [Conf ] Stephan Merz Efficiently Executable Temporal Logic Programs. [Citation Graph (0, 0)][DBLP ] Executable Modal and Temporal Logics, 1993, pp:69-85 [Conf ] Yassin Mokhtari , Stephan Merz Animating TLA Specifications. [Citation Graph (0, 0)][DBLP ] LPAR, 1999, pp:92-110 [Conf ] Martín Abadi , Stephan Merz An Abstract Account of Composition. [Citation Graph (0, 0)][DBLP ] MFCS, 1995, pp:499-508 [Conf ] Stephan Merz Model Checking: A Tutorial Overview. [Citation Graph (0, 0)][DBLP ] MOVEP, 2000, pp:3-38 [Conf ] Martín Abadi , Stephan Merz On TLA as a logic. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:235-271 [Conf ] Jean Paul Bahsoun , Stephan Merz , Corinne Servieres Modular Description and Verification of Concurrent Objects. [Citation Graph (0, 0)][DBLP ] OBPDC, 1995, pp:168-186 [Conf ] François Bourdoncle , Stephan Merz Type-Checking Higher-Order Polymorphic Multi-Methods. [Citation Graph (0, 0)][DBLP ] POPL, 1997, pp:302-315 [Conf ] Houda Fekih , Leila Jemni Ben Ayed , Stephan Merz Transformation of B specifications into UML class diagrams and state machines. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1840-1844 [Conf ] Jean Paul Bahsoun , Stephan Merz , Corinne Servieres A Framework for Programming and Formalizing Concurrent Objects. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1993, pp:126-137 [Conf ] Pascal Fontaine , Jean-Yves Marion , Stephan Merz , Leonor Prensa Nieto , Alwen Fernanto Tiu Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:167-181 [Conf ] Moritz Hammer , Alexander Knapp , Stephan Merz Truly On-the-Fly LTL Model Checking. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:191-205 [Conf ] Stephan Merz Weak Alternating Automata in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2000, pp:424-441 [Conf ] Stephan Merz On the Logic of TLA+. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal ] Eun-Young Kang , Stephan Merz Predicate Diagrams for the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:151-165 [Journal ] Timm Schäfer , Alexander Knapp , Stephan Merz Model checking UML state machines and collaborations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal ] Fred Kröger , Stephan Merz Temporal logic and recursion. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1991, v:14, n:2, pp:261-281 [Journal ] Stephan Merz Decidability and incompleteness results for first-order temporal logics of linear time. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1992, v:2, n:2, pp:- [Journal ] Dominique Cansell , Dominique Méry , Stephan Merz Diagram Refinements for the Design of Reactive Systems. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:2, pp:159-174 [Journal ] Alexander Knapp , Stephan Merz , Martin Wirsing , Júlia Zappe Specification and refinement of mobile systems in MTLA and mobile UML. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:351, n:2, pp:184-202 [Journal ] Dominique Méry , Stephan Merz Event Systems and Access Control [Citation Graph (0, 0)][DBLP ] CoRR, 2006, v:0, n:, pp:- [Journal ] Stephan Merz , Tobias Nipkow Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:1-2 [Journal ] Eun-Young Kang , Stephan Merz Predicate diagrams for the verification of real-time systems. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2007, v:19, n:3, pp:401-413 [Journal ] Verifying Safety Properties with the TLA+ Proof System. [Citation Graph (, )][DBLP ] Preface -- Workshop Trustworthy Software 2006. [Citation Graph (, )][DBLP ] The TLA+ Proof System: Building a Heterogeneous Verification Platform. [Citation Graph (, )][DBLP ] A TLA+ Proof System. [Citation Graph (, )][DBLP ] Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. [Citation Graph (, )][DBLP ] Specifying and Verifying PLC Systems with TLA+. [Citation Graph (, )][DBLP ] A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. [Citation Graph (, )][DBLP ] Truly On-The-Fly LTL Model Checking [Citation Graph (, )][DBLP ] A TLA+ Proof System [Citation Graph (, )][DBLP ] A Formalization of the Semantics of Functional-Logic Programming in Isabelle [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.309secs