Martin Leucker

Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker, Richard Lasslop: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst. 18(2): 18 (2013)

Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker: Anticipatory active monitoring for safety- and security-critical software. SCIENCE CHINA Information Sciences 55(12): 2723-2737 (2012)

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-valued abstraction for probabilistic systems. J. Log. Algebr. Program. 81(4): 356-389 (2012)

Ina Schaefer, Malte Lochau, Martin Leucker: Approaches for Mastering Change. ISoLA (1) 2012: 127-130

Martin Leucker, Daniel Thoma: A Formal Approach to Software Product Families. ISoLA (1) 2012: 131-145

Martin Leucker, Daniel Neider: Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) 2012: 524-538

Xian Zhang, Martin Leucker, Wei Dong: Runtime Verification with Predictive Semantics. NASA Formal Methods 2012: 418-432

Martin Leucker: Sliding between Model Checking and Runtime Verification. RV 2012: 82-87

Benedikt Bollig, Normann Decker, Martin Leucker: Frequency Linear-time Temporal Logic. TASE 2012: 85-92

Javier Esparza, Martin Leucker, Maximilian Schlund: Learning Workflow Petri Nets. Fundam. Inform. 113(3-4): 205-228 (2011)

Andreas Bauer, Martin Leucker, Christian Schallhart: Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4): 14 (2011)

Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr: Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011

Xian Zhang, Martin Leucker, Wei Dong: An event pattern language for runtime monitoring based on AOP. ICITST 2011: 744-751

Andreas Bauer, Martin Leucker: The Theory and Practice of SALT. NASA Formal Methods 2011: 13-40

Martin Leucker: Teaching Runtime Verification. RV 2011: 34-48

David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong: Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC 2011: 336

Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi: Security Goals Assurance Based on Software Active Monitoring. SSIRI 2011: 70-79

Carlo Combi, Martin Leucker, Frank Wolter (Eds.): Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, isbn 978-1-4577-1242-5

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: SMA - The Smyle Modeling Approach. Computing and Informatics 29(1): 45-72 (2010)

Andreas Bauer, Martin Leucker, Christian Schallhart: Comparing LTL Semantics for Runtime Verification. J. Log. Comput. 20(3): 651-674 (2010)

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. STTT 12(1): 23-37 (2010)

Olga Grinchtein, Bengt Jonsson, Martin Leucker: Learning of event-recording automata. Theor. Comput. Sci. 411(47): 4029-4054 (2010)

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. 36(3): 390-408 (2010)

Javier Esparza, Martin Leucker, Maximilian Schlund: Learning Workflow Petri Nets. Petri Nets 2010: 206-225

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon: libalf: The Automata Learning Framework. CAV 2010: 360-364

Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher: The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. KI 2010: 309-316

Martin Leucker, César Sánchez: Regular Linear-Time Temporal Logic. TIME 2010: 3-5

César Sánchez, Martin Leucker: Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311

Martin Leucker, Christian Schallhart: A brief account of runtime verification. J. Log. Algebr. Program. 78(5): 293-303 (2009)

Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen: Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends 29(4) (2009)

Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma: Don't Know for Multi-valued Systems. ATVA 2009: 289-305

Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker: Angluin-Style Learning of NFA. IJCAI 2009: 1004-1009

Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen: Äquivalenzklassen mit Zeit und Zuständen. Informatiktage 2009: 87-90

Martin Leucker, Carroll Morgan (Eds.): Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Lecture Notes in Computer Science 5684, Springer 2009, isbn 978-3-642-03465-7

Martin Leucker: Checking and Enforcing Safety: Runtime Verification and Runtime Reflection. ERCIM News 2008(75) (2008)

Olga Grinchtein, Martin Leucker: Network invariants for real-time systems. Formal Asp. Comput. 20(6): 619-635 (2008)

Wei Dong, Martin Leucker, Christian Schallhart: Impartial Anticipation in Runtime-Verification. ATVA 2008: 386-396

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR 2008: 162-166

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR 2008: 279-294

Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Modeling and Model Checking Software Product Lines. FMOODS 2008: 113-131

Martin Leucker, Helmut Seidl: Lightweight Verification 2008. GI Jahrestagung (2) 2008: 965-966

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker: SMA - The Smyle Modeling Approach. CEE-SET 2008: 103-117

Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Calculating and Modeling Common Parts of Software Product Lines. SPLC 2008: 203-212

Martin Leucker (Ed.): Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Lecture Notes in Computer Science 5289, Springer 2008, isbn 978-3-540-89246-5

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)

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf: Three-Valued Abstraction for Continuous-Time Markov Chains. CAV 2007: 311-324

Jiri Barnat, Lubos Brim, Martin Leucker: Parallel Model Checking and the FMICS-jETI Platform. ICECCS 2007: 330-339

Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker: The LearnLib in FMICS-jETI. ICECCS 2007: 340-352

Martin Leucker, César Sánchez: Regular Linear Temporal Logic. ICTAC 2007: 291-305

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig: Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA 2007: 135-146

Andreas Bauer, Martin Leucker, Christian Schallhart: The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV 2007: 126-138

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

Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.): 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. Lecture Notes in Computer Science 4346, Springer 2007, isbn 978-3-540-70951-0

Martin Leucker, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 135(2): 1-2 (2006)

Lubos Brim, Martin Leucker: Foreword. Formal Methods in System Design 29(2): 115-116 (2006)

Benedikt Bollig, Martin Leucker: Message-passing automata are expressively equivalent to EMSO logic. Theor. Comput. Sci. 358(2-3): 150-172 (2006)

Andreas Bauer, Martin Leucker, Christian Schallhart: Model-based runtime analysis of distributed reactive systems. ASWEC 2006: 243-252

Olga Grinchtein, Martin Leucker, Nir Piterman: Inferring Network Invariants Automatically. IJCAR 2006: 483-497

Martin Leucker: Learning Meets Verification. FMCO 2006: 127-151

Andreas Bauer, Martin Leucker, Christian Schallhart: Monitoring of Real-Time Properties. FSTTCS 2006: 260-272

Andreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775

Olga Grinchtein, Martin Leucker: Learning Finite-State Machines from Inexperienced Teachers. ICGI 2006: 344-345

Harald Fecher, Martin Leucker, Verena Wolf: Don't Know in Probabilistic Systems. SPIN 2006: 71-88

Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena: Insights to Angluin's Learning. Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005)

Lubos Brim, Martin Leucker: Preface. Electr. Notes Theor. Comput. Sci. 128(3): 1-2 (2005)

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)

Olga Grinchtein, Bengt Jonsson, Martin Leucker: Inference of Timed Transition Systems. Electr. Notes Theor. Comput. Sci. 138(3): 87-99 (2005)

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)

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

Benedikt Bollig, Martin Leucker: A Hierarchy of Implementable MSC Languages. FORTE 2005: 53-67

Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: Don't Know in the µ-Calculus. VMCAI 2005: 233-249

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (Eds.): 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]. Lecture Notes in Computer Science 3472, Springer 2005, isbn 3-540-26278-4

Olga Grinchtein, Martin Leucker: Network Invariants for Real-Time Systems. Electr. Notes Theor. Comput. Sci. 98: 57-74 (2004)

Benedikt Bollig, Martin Leucker: Message-Passing Automata Are Expressively Equivalent to EMSO Logic. CONCUR 2004: 146-160

Alexander Pretschner, Martin Leucker: Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems 2004: 607-609

Olga Grinchtein, Bengt Jonsson, Martin Leucker: Learning of Event-Recording Automata. FORMATS/FTRTFT 2004: 379-396

Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506

Benedikt Bollig, Martin Leucker: Verifying Qualitative Properties of Probabilistic Programs. Validation of Stochastic Systems 2004: 124-146

Benedikt Bollig, Martin Leucker: Deciding LTL over Mazurkiewicz traces. Data Knowl. Eng. 44(2): 219-238 (2003)

Martin Leucker, Rafal Somla, Michael Weber: Parallel Model Checking for LTL, CTL*, and Lµ². Electr. Notes Theor. Comput. Sci. 89(1): 4-16 (2003)

Benedikt Bollig, Martin Leucker: Model Checking Probabilistic Distributed Systems. ASIAN 2003: 291-304

Benedikt Bollig, Martin Leucker, Thomas Noll: Generalised Regular MSC Languages. FoSSaCS 2002: 52-66

Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay: Dynamic Message Sequence Charts. FSTTCS 2002: 253-264

Benedikt Bollig, Martin Leucker, Philipp Lucas: Extending Compositional Message Sequence Graphs. LPAR 2002: 68-85

Benedikt Bollig, Martin Leucker, Michael Weber: Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN 2002: 128-147

Martin Leucker, Thomas Noll: Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV 2001: 255-259

Martin Leucker: Prefix-Recognizable Graphs and Monadic Logic. Automata, Logics, and Infinite Games 2001: 263-284

Benedikt Bollig, Martin Leucker, Michael Weber: Parallel Model Checking for the Alternation Free µ-Calculus. TACAS 2001: 543-558

Benedikt Bollig, Martin Leucker: Deciding LTL over Mazurkiewicz Traces. TIME 2001: 189-197

Benedikt Bollig, Martin Leucker: Modelling, Specifying, and Verifying Message Passing Systems. TIME 2001: 240-247

Martin Leucker, Thomas Noll: Rewriting Logic as a Framework for Generic Verification Tools. Electr. Notes Theor. Comput. Sci. 36: 121-137 (2000)

Martin Leucker: On Model Checking Synchronised Hardware Circuits. ASIAN 2000: 182-198

Martin Leucker: Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. LPAR 1999: 77-91

Martin Leucker, Thomas Noll: Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping 1999: 60-65