Martin Leucker

2007
48		Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol: Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers Springer 2007
47	EE	Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324
46	EE	Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339
45	EE	Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352
44	EE	Martin Leucker, César Sánchez: Regular Linear Temporal Logic. ICTAC 2007: 291-305
43	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138
42	EE	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS 2007: 435-450
41	EE	Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Inf. Comput. 205(8): 1130-1148 (2007)
2006
40	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252
39	EE	Andreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272
38	EE	Andreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775
37	EE	Olga Grinchtein, Martin Leucker: Learning Finite-State Machines from Inexperienced Teachers. ICGI 2006: 344-345
36	EE	Olga Grinchtein, Martin Leucker, Nir Piterman: Inferring Network Invariants Automatically. IJCAR 2006: 483-497
35	EE	Harald Fecher, Martin Leucker, Verena Wolf: Don't Know in Probabilistic Systems. SPIN 2006: 71-88
34	EE	Martin Leucker, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 135(2): 1-2 (2006)
33	EE	Lubos Brim, Martin Leucker: Foreword. Formal Methods in System Design 29(2): 115-116 (2006)
32	EE	Benedikt Bollig, Martin Leucker: Message-passing automata are expressively equivalent to EMSO logic. Theor. Comput. Sci. 358(2-3): 150-172 (2006)
2005
31		Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner: Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] Springer 2005
30	EE	Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen: On the Correspondence Between Conformance Testing and Regular Inference. FASE 2005: 175-189
29	EE	Benedikt Bollig, Martin Leucker: A Hierarchy of Implementable MSC Languages. FORTE 2005: 53-67
28	EE	Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: Don't Know in the µ-Calculus. VMCAI 2005: 233-249
27	EE	Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena: Insights to Angluin's Learning. Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005)
26	EE	Lubos Brim, Martin Leucker: Preface. Electr. Notes Theor. Comput. Sci. 128(3): 1-2 (2005)
25	EE	Fredrik Holmén, Martin Leucker, Marcus Lindström: UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus. Electr. Notes Theor. Comput. Sci. 128(3): 91-105 (2005)
24	EE	Olga Grinchtein, Bengt Jonsson, Martin Leucker: Inference of Timed Transition Systems. Electr. Notes Theor. Comput. Sci. 138(3): 87-99 (2005)
23	EE	Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber: Functional programming languages for verification tools: a comparison of Standard ML and Haskell. STTT 7(2): 184-194 (2005)
2004
22	EE	Benedikt Bollig, Martin Leucker: Message-Passing Automata Are Expressively Equivalent to EMSO Logic. CONCUR 2004: 146-160
21	EE	Olga Grinchtein, Bengt Jonsson, Martin Leucker: Learning of Event-Recording Automata. FORMATS/FTRTFT 2004: 379-396
20		Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
19	EE	Alexander Pretschner, Martin Leucker: Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems 2004: 607-609
18	EE	Benedikt Bollig, Martin Leucker: Verifying Qualitative Properties of Probabilistic Programs. Validation of Stochastic Systems 2004: 124-146
17	EE	Olga Grinchtein, Martin Leucker: Network Invariants for Real-Time Systems. Electr. Notes Theor. Comput. Sci. 98: 57-74 (2004)
2003
16	EE	Benedikt Bollig, Martin Leucker: Model Checking Probabilistic Distributed Systems. ASIAN 2003: 291-304
15		Benedikt Bollig, Martin Leucker: Deciding LTL over Mazurkiewicz traces. Data Knowl. Eng. 44(2): 219-238 (2003)
14	EE	Martin Leucker, Rafal Somla, Michael Weber: Parallel Model Checking for LTL, CTL*, and Lµ2. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2002
13	EE	Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay: Dynamic Message Sequence Charts. FSTTCS 2002: 253-264
12	EE	Benedikt Bollig, Martin Leucker, Thomas Noll: Generalised Regular MSC Languages. FoSSaCS 2002: 52-66
11	EE	Benedikt Bollig, Martin Leucker, Philipp Lucas: Extending Compositional Message Sequence Graphs. LPAR 2002: 68-85
10	EE	Benedikt Bollig, Martin Leucker, Michael Weber: Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147
2001
9	EE	Martin Leucker: Prefix-Recognizable Graphs and Monadic Logic. Automata, Logics, and Infinite Games 2001: 263-284
8	EE	Martin Leucker, Thomas Noll: Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV 2001: 255-259
7	EE	Benedikt Bollig, Martin Leucker, Michael Weber: Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558
6	EE	Benedikt Bollig, Martin Leucker: Deciding LTL over Mazurkiewicz Traces. TIME 2001: 189-197
5	EE	Benedikt Bollig, Martin Leucker: Modelling, Specifying, and Verifying Message Passing Systems. TIME 2001: 240-247
2000
4	EE	Martin Leucker: On Model Checking Synchronised Hardware Circuits. ASIAN 2000: 182-198
3	EE	Martin Leucker, Thomas Noll: Rewriting Logic as a Framework for Generic Verification Tools. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
2	EE	Martin Leucker, Thomas Noll: Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping 1999: 60-65
1		Martin Leucker: Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. LPAR 1999: 77-91

Coauthor Index

1	Christel Baier	[20]
2	Jiri Barnat	[46]
3	Andreas Bauer	[38] [39] [40] [43]
4	Therese Berg	[27] [30]
5	Benedikt Bollig	[5] [6] [7] [10] [11] [12] [15] [16] [18] [20] [22] [29] [32] [42]
6	Lubos Brim	[26] [33] [46] [48]
7	Manfred Broy	[31]
8	Frank Ciesinski	[20]
9	Harald Fecher	[35]
10	Olga Grinchtein	[17] [21] [24] [30] [36] [37]
11	Marcus Größer	[20]
12	Orna Grumberg	[28] [41]
13	Boudewijn R. Haverkort	[48]
14	Fredrik Holmén	[25]
15	Bengt Jonsson	[21] [24] [27] [30] [31]
16	Joost-Pieter Katoen	[31] [42] [47]
17	Carsten Kern	[42]
18	Daniel Klink	[47]
19	Martin Lange	[28] [41]
20	Marcus Lindström	[25]
21	Philipp Lucas	[11]
22	P. Madhusudan (Parthasarathy Madhusudan)	[13]
23	Tiziana Margaria (Tiziana Margaria-Steffen)	[45]
24	Supratik Mukhopadhyay	[13]
25	Thomas Noll	[2] [3] [8] [12] [23]
26	Nir Piterman	[36]
27	Jaco van de Pol	[34] [48]
28	Alexander Pretschner	[19] [31]
29	Harald Raffelt	[30] [45]
30	Mayank Saksena	[27]
31	César Sánchez	[44]
32	Christian Schallhart	[39] [40] [43]
33	Sharon Shoham	[28] [41]
34	Rafal Somla	[14]
35	Bernhard Steffen	[30] [45]
36	Perdita Stevens	[23]
37	Jonathan Streit	[38]
38	Michael Weber	[7] [10] [14] [23]
39	Verena Wolf	[35] [47]

Colors in the list of coauthors