Martin Leucker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
86
Venues
36
Active years
1999–2026
Best venue rank
A*
Where they publish
- BRV12 papers
- CISoLA10 papers
- BCONCUR5 papers
- A*CAV4 papers
- BATVA4 papers
- BGI3 papers
- CVECoS3 papers
- CICTAC3 papers
- NationalTASE3 papers
- ATACAS3 papers
- CTIME3 papers
- CDX2 papers
- CJURIX2 papers
- BFM2 papers
- A*IJCAI2 papers
- BSPLC2 papers
- BVMCAI2 papers
- BICECCS2 papers
- BLPAR2 papers
- BCOMPSAC1 paper
- AMODELS1 paper
- CEUMAS1 paper
- CMABS1 paper
- ACGO1 paper
- NationalRTNS1 paper
- ADATE1 paper
- MulticonferenceSAC1 paper
- CDLT1 paper
- A*AAAI1 paper
- NationalKI1 paper
- ACADE1 paper
- CICFEM1 paper
- BFASE1 paper
- CFORTE1 paper
- BFOSSACS1 paper
- CRSP1 paper
Papers
86 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | KiMeKo: A Collaborative AI Platform for Medical Device Development. | Serge Autexier, Nihat Ay, Stefan Fischer, Lars Kaderali, Thomas Kirste, Martin Leucker, Christoph Lth, Thomas Martinetz, Philipp Rostalski, Alexander Schlaefer, Frank ckert |
| 2025 | GI | Towards Monitoring and Diagnosis of Quantum Digital Twins. | Martin Sachenbacher, Martin Leucker |
| 2025 | MODELS | TwinLang - A Digital Twin Modelling and Management Language. | Martin Leucker, Daniel Thoma, Lars Bernd Vosteen |
| 2025 | RV | A Practical Approach to Runtime Verification. | Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien |
| 2025 | VECoS | A Voice-Enabled Query Framework for Systems Engineering Artefacts. | Lennart Landt, Martin Leucker, Carsten Burchardt |
| 2024 | CAV | General Anticipatory Runtime Verification. | Raik Hipler, Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2024 | DX | A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. | Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen |
| 2024 | DX | Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). | Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker |
| 2024 | ISoLA | Digital Twin Engineering. | John S. Fitzgerald, Cludio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock |
| 2024 | JURIX | On Conflicts and Satisfiability in Metric Timed Normative Logics. | Karam Younes Kharraz, Gerardo Schneider, Martin Leucker |
| 2024 | RV | Adding State to Stream Runtime Verification. | Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma |
| 2023 | EUMAS | A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. | Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher |
| 2023 | FM | Digital Twin for Rescue Missions - a Case Study. | Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen |
| 2023 | FM | A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. | Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali |
| 2023 | ICTAC | TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. | Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz |
| 2023 | ICTAC | Synchronous Agents, Verification, and Blame - A Deontic View. | Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker |
| 2023 | MABS | Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid. | Aliyu Tanko Ali, Tim Schrills, Andreas Schuldei, Leonard Stellbrink, Andr Calero Valdez, Martin Leucker, Thomas Franke |
| 2023 | RV | General Anticipatory Monitoring for Temporal Logics on Finite Traces. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2023 | VECoS | Challenges for AI in Healthcare Systems. | Markus Bertl, Yngve Lamo, Martin Leucker, Tiziana Margaria, Esfandiar Mohammadi, Suresh Kumar Mukhiya, Ludwig Pechmann, Gunnar Piho, Fazle Rabbi |
| 2023 | VECoS | CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. | Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker |
| 2022 | ATVA | Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2022 | CGO | Aggregate Update Problem for Multi-clocked Dataflow Languages. | Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2022 | ISoLA | X-by-Construction Meets Runtime Verification. | Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer |
| 2022 | RTNS | Runtime Verification of AUTOSAR Timing Extensions. | Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma |
| 2022 | RV | Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez, Torben Scheffel |
| 2022 | RV | TeSSLa - An Ecosystem for Runtime Verification. | Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss |
| 2022 | TASE | Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. | Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz |
| 2021 | ATVA | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2021 | JURIX | Timed Dyadic Deontic Logic. | Karam Younes Kharraz, Martin Leucker, Gerardo Schneider |
| 2020 | TASE | Real-time MTL with durations as SMT with applications to schedulability analysis. | Andr de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
| 2019 | RV | Runtime Verification for Timed Event Streams with Partial Information. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2018 | DATE | Online analysis of debug trace data for embedded systems. | Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss |
| 2018 | ISoLA | Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. | Csar Snchez, Gerardo Schneider, Martin Leucker |
| 2018 | SAC | TeSSLa: runtime verification of non-synchronized real-time streams. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Alexander Schramm |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2017 | CONCUR | Model-Checking Counting Temporal Logics on Flat Structures. | Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
| 2017 | RV | COEMS - open traces from the industry. | Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz |
| 2016 | ISoLA | Runtime Verification for Interconnected Medical Devices. | Martin Leucker, Malte Schmitz, Danilo Tellinghusen |
| 2016 | ISoLA | On Combinations of Static and Dynamic Analysis - Panel Introduction. | Martin Leucker |
| 2015 | GI | Workshop Energieinformatik. | Martin Leucker, Martin Sachenbacher, Ren Schnfelder |
| 2015 | IJCAI | Abstract Routing Models and Abstractions in the Context of Vehicle Routing. | Ren Schnfelder, Martin Leucker |
| 2014 | CONCUR | Ordered Navigation on Multi-attributed Data Words. | Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
| 2014 | ISoLA | Challenges for the Dynamic Interconnection of Medical Devices. | Martin Leucker |
| 2014 | TACAS | Monitoring Modulo Theories. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2013 | DLT | A Fresh Approach to Learning Register Automata. | Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege |
| 2013 | RV | Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2012 | ISoLA | Learning Minimal Deterministic Automata from Inexperienced Teachers. | Martin Leucker, Daniel Neider |
| 2012 | ISoLA | A Formal Approach to Software Product Families. | Martin Leucker, Daniel Thoma |
| 2012 | ISoLA | Approaches for Mastering Change. | Ina Schaefer, Malte Lochau, Martin Leucker |
| 2012 | RV | Sliding between Model Checking and Runtime Verification. | Martin Leucker |
| 2012 | TASE | Frequency Linear-time Temporal Logic. | Benedikt Bollig, Normann Decker, Martin Leucker |
| 2011 | AAAI | Efficient Energy-Optimal Routing for Electric Vehicles. | Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr |
| 2011 | RV | Teaching Runtime Verification. | Martin Leucker |
| 2011 | SPLC | Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). | David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong |
| 2010 | CAV | libalf: The Automata Learning Framework. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |
| 2010 | KI | The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. | Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher |
| 2010 | TIME | Regular Linear-Time Temporal Logic. | Martin Leucker, Csar Snchez |
| 2010 | VMCAI | Regular Linear Temporal Logic with Past. | Csar Snchez, Martin Leucker |
| 2009 | ATVA | Untitled record | Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma |
| 2009 | IJCAI | Angluin-Style Learning of NFA. | Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker |
| 2008 | ATVA | Impartial Anticipation in Runtime-Verification. | Wei Dong, Martin Leucker, Christian Schallhart |
| 2008 | CONCUR | Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2008 | CONCUR | Abstraction for Stochastic Systems by Erlang's Method of Stages. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2008 | GI | Lightweight Verification 2008. | Martin Leucker, Helmut Seidl |
| 2008 | SPLC | Calculating and Modeling Common Parts of Software Product Lines. | Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann |
| 2007 | CAV | Three-Valued Abstraction for Continuous-Time Markov Chains. | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf |
| 2007 | ICECCS | Parallel Model Checking and the FMICS-jETI Platform. | Jiri Barnat, Lubos Brim, Martin Leucker |
| 2007 | ICECCS | The LearnLib in FMICS-jETI. | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
| 2007 | ICTAC | Regular Linear Temporal Logic. | Martin Leucker, Csar Snchez |
| 2007 | ISoLA | Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. | Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig |
| 2007 | RV | The Good, the Bad, and the Ugly, But How Ugly Is Ugly? | Andreas Bauer, Martin Leucker, Christian Schallhart |
| 2007 | TACAS | Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker |
| 2006 | CADE | Inferring Network Invariants Automatically. | Olga Grinchtein, Martin Leucker, Nir Piterman |
| 2006 | ICFEM | SALT - Structured Assertion Language for Temporal Logic. | Andreas Bauer, Martin Leucker, Jonathan Streit |
| 2005 | FASE | On the Correspondence Between Conformance Testing and Regular Inference. | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
| 2005 | FORTE | A Hierarchy of Implementable MSC Languages. | Benedikt Bollig, Martin Leucker |
| 2005 | VMCAI | Untitled record | Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham |
| 2004 | CONCUR | Message-Passing Automata Are Expressively Equivalent to EMSO Logic. | Benedikt Bollig, Martin Leucker |
| 2002 | FOSSACS | Generalised Regular MSC Languages. | Benedikt Bollig, Martin Leucker, Thomas Noll |
| 2002 | LPAR | Extending Compositional Message Sequence Graphs. | Benedikt Bollig, Martin Leucker, Philipp Lucas |
| 2001 | CAV | Truth/SLC - A Parallel Verification Platform for Concurrent Systems. | Martin Leucker, Thomas Noll |
| 2001 | TACAS | Parallel Model Checking for the Alternation Free µ-Calculus. | Benedikt Bollig, Martin Leucker, Michael Weber |
| 2001 | TIME | Deciding LTL over Mazurkiewicz Traces. | Benedikt Bollig, Martin Leucker |
| 2001 | TIME | Modelling, Specifying, and Verifying Message Passing Systems. | Benedikt Bollig, Martin Leucker |
| 1999 | LPAR | Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. | Martin Leucker |
| 1999 | RSP | Rapid Prototyping of Specification Language Implementations. | Martin Leucker, Thomas Noll |