2009 |
59 | | Moritz Löser,
Martin Leucker,
Dirk Nowotka,
Joachim Rischen:
Äquivalenzklassen mit Zeit und Zuständen.
Informatiktage 2009: 87-90 |
2008 |
58 | | Martin Leucker:
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Springer 2008 |
57 | EE | Wei Dong,
Martin Leucker,
Christian Schallhart:
Impartial Anticipation in Runtime-Verification.
ATVA 2008: 386-396 |
56 | EE | Benedikt Bollig,
Joost-Pieter Katoen,
Carsten Kern,
Martin Leucker:
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.
CONCUR 2008: 162-166 |
55 | EE | Joost-Pieter Katoen,
Daniel Klink,
Martin Leucker,
Verena Wolf:
Abstraction for Stochastic Systems by Erlang's Method of Stages.
CONCUR 2008: 279-294 |
54 | EE | Alexander Gruler,
Martin Leucker,
Kathrin D. Scheidemann:
Modeling and Model Checking Software Product Lines.
FMOODS 2008: 113-131 |
53 | | Martin Leucker,
Helmut Seidl:
Lightweight Verification 2008.
GI Jahrestagung (2) 2008: 965-966 |
52 | EE | Alexander Gruler,
Martin Leucker,
Kathrin D. Scheidemann:
Calculating and Modeling Common Parts of Software Product Lines.
SPLC 2008: 203-212 |
51 | EE | Olga Grinchtein,
Martin Leucker:
Network invariants for real-time systems.
Formal Asp. Comput. 20(6): 619-635 (2008) |
2007 |
50 | | 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 |
49 | EE | Joost-Pieter Katoen,
Daniel Klink,
Martin Leucker,
Verena Wolf:
Three-Valued Abstraction for Continuous-Time Markov Chains.
CAV 2007: 311-324 |
48 | EE | Jiri Barnat,
Lubos Brim,
Martin Leucker:
Parallel Model Checking and the FMICS-jETI Platform.
ICECCS 2007: 330-339 |
47 | EE | Tiziana Margaria,
Harald Raffelt,
Bernhard Steffen,
Martin Leucker:
The LearnLib in FMICS-jETI.
ICECCS 2007: 340-352 |
46 | EE | Martin Leucker,
César Sánchez:
Regular Linear Temporal Logic.
ICTAC 2007: 291-305 |
45 | | Andreas Bauer,
Martin Leucker,
Christian Schallhart,
Michael Tautschnig:
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.
ISoLA 2007: 135-146 |
44 | EE | Andreas Bauer,
Martin Leucker,
Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly?
RV 2007: 126-138 |
43 | 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 |
42 | 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 |
41 | EE | Andreas Bauer,
Martin Leucker,
Christian Schallhart:
Model-based runtime analysis of distributed reactive systems.
ASWEC 2006: 243-252 |
40 | EE | Martin Leucker:
Learning Meets Verification.
FMCO 2006: 127-151 |
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 |