Stephan Merz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Martín Abadi [6] [9] [11]
2Serge Autexier [32] [35] [39]
3Leila Jemni Ben Ayed (Leila Jemni) [34]
4Jean Paul Bahsoun [3] [8]
5François Bourdoncle [13]
6Manfred Broy [5] [12]
7Dominique Cansell [19] [20] [22]
8Mouna Chaouch-Saad [45]
9Bernadette Charron-Bost [45]
10Kaustuv Chaudhuri [40] [41]
11Damien Doligez [40] [41]
12Houda Fekih [34]
13Pascal Fontaine [33]
14Ming Gu [44]
15Moritz Hammer [27] [28]
16Eun-Young Kang [30] [37]
17Alexander Knapp [21] [23] [26] [27] [28] [29]
18Fred Kröger [1]
19Leslie Lamport [6] [7] [40] [41]
20Frank Lesske [10]
21Francisco Javier López-Fraguas [42]
22Heiko Mantel [39]
23Jean-Yves Marion [33]
24Dominique Méry [19] [20] [22] [31] [36]
25Yassin Mokhtari [16]
26Leonor Prensa Nieto [33]
27Tobias Nipkow [38] [39]
28Christopher Rauh [23]
29Juan Rodríguez-Hortalá [42]
30Timm Schäfer [21]
31Alexander Schimpf [43]
32Corinne Servieres [3] [8]
33Jan-Georg Smaus [43]
34Katharina Spies [5] [12]
35Alwen Tiu (Alwen Fernanto Tiu) [33]
36Leendert W. N. van der Torre (Leendert van der Torre) [32] [35]
37Reinhard Wilhelm [32] [35]
38Martin Wirsing [25] [26] [29]
39Pierre Wolper [32] [35]
40Júlia Zappe [25] [29]
41Hehua Zhang [44]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)