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 |