Truth - A verification platform for concurrent systems. - Martin Lange; Martin Leucker; Thomas Noll 001; Stephan Tobies (Tool Support for System Specification, Development and Verification, 1998)

Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. - Martin Leucker (LPAR, 1999)

Rapid Prototyping of Specification Language Implementations. - Martin Leucker; Thomas Noll 001 (IEEE International Workshop on Rapid System Prototyping, 1999)

On Model Checking Synchronised Hardware Circuits. - Martin Leucker (ASIAN, 2000)

Rewriting Logic as a Framework for Generic Verification Tools. - Martin Leucker; Thomas Noll 001 (WRLA, 2000)

Truth/SLC - A Parallel Verification Platform for Concurrent Systems. - Martin Leucker; Thomas Noll 001 (CAV, 2001)

Prefix-Recognizable Graphs and Monadic Logic. - Martin Leucker (Automata, Logics, and Infinite Games, 2001)

Parallel Model Checking for the Alternation Free µ-Calculus. - Benedikt Bollig; Martin Leucker; Michael Weber 002 (TACAS, 2001)

Modelling, Specifying, and Verifying Message Passing Systems. - Benedikt Bollig; Martin Leucker (TIME, 2001)

Generalised Regular MSC Languages. - Benedikt Bollig; Martin Leucker; Thomas Noll 001 (FoSSaCS, 2002)

Dynamic Message Sequence Charts. - Martin Leucker; P. Madhusudan; Supratik Mukhopadhyay (FSTTCS, 2002)

Extending Compositional Message Sequence Graphs. - Benedikt Bollig; Martin Leucker; Philipp Lucas 001 (LPAR, 2002)

Local Parallel Model Checking for the Alternation-Free µ-Calculus. - Benedikt Bollig; Martin Leucker; Michael Weber 002 (SPIN, 2002)

Logics for Mazurkiewicz traces. - Martin Leucker (2002)

Model Checking Probabilistic Distributed Systems. - Benedikt Bollig; Martin Leucker (ASIAN, 2003)

Deciding LTL over Mazurkiewicz traces. - Benedikt Bollig; Martin Leucker (Data Knowl. Eng., 2003)

Insights to Angluin's Learning. - Therese Berg; Bengt Jonsson 001; Martin Leucker; Mayank Saksena (SVV@ICLP, 2003)

Parallel Model Checking for LTL, CTL*, and Lµ2. - Martin Leucker; Rafal Somla; Michael Weber 002 (PDMC@CAV, 2003)

Model-Based Testing - A Glossary. - Alexander Pretschner; Martin Leucker (Model-Based Testing of Reactive Systems, 2004)

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

Verifying Qualitative Properties of Probabilistic Programs. - Benedikt Bollig; Martin Leucker (Validation of Stochastic Systems, 2004)

Preface. - Lubos Brim; Martin Leucker (PDMC, 2004)

Inference of Timed Transition Systems. - Olga Grinchtein; Bengt Jonsson 001; Martin Leucker (INFINITY, 2004)

UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus. - Fredrik Holmén; Martin Leucker; Marcus Lindström (PDMC, 2004)

On the Correspondence Between Conformance Testing and Regular Inference. - Therese Berg; Olga Grinchtein; Bengt Jonsson 001; Martin Leucker; Harald Raffelt; Bernhard Steffen (FASE, 2005)

A Hierarchy of Implementable MSC Languages. - Benedikt Bollig; Martin Leucker (FORTE, 2005)

Don't Know in the µ-Calculus. - Orna Grumberg; Martin Lange; Martin Leucker; Sharon Shoham (VMCAI, 2005)

Preface. - Martin Leucker; Jaco van de Pol (PDMC@ICALP, 2005)

Functional programming languages for verification tools: a comparison of Standard ML and Haskell. - Martin Leucker; Thomas Noll 001; Perdita Stevens; Michael Weber 002 (Int. J. Softw. Tools Technol. Transf., 2005)

Model-based runtime analysis of distributed reactive systems. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (ASWEC, 2006)

Inferring Network Invariants Automatically. - Olga Grinchtein; Martin Leucker; Nir Piterman (IJCAR, 2006)

Learning Meets Verification. - Martin Leucker (FMCO, 2006)

Monitoring of Real-Time Properties. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (FSTTCS, 2006)

SALT - Structured Assertion Language for Temporal Logic. - Andreas Bauer 002; Martin Leucker; Jonathan Streit (ICFEM, 2006)

Learning Finite-State Machines from Inexperienced Teachers. - Olga Grinchtein; Martin Leucker (ICGI, 2006)

Don't Know in Probabilistic Systems. - Harald Fecher; Martin Leucker; Verena Wolf (SPIN, 2006)

Foreword. - Lubos Brim; Martin Leucker (Formal Methods Syst. Des., 2006)

Message-passing automata are expressively equivalent to EMSO logic. - Benedikt Bollig; Martin Leucker (Theor. Comput. Sci., 2006)

Three-Valued Abstraction for Continuous-Time Markov Chains. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf (CAV, 2007)

Parallel Model Checking and the FMICS-jETI Platform. - Jiri Barnat; Lubos Brim; Martin Leucker (ICECCS, 2007)

The LearnLib in FMICS-jETI. - Tiziana Margaria; Harald Raffelt; Bernhard Steffen; Martin Leucker (ICECCS, 2007)

Regular Linear Temporal Logic. - Martin Leucker; César Sánchez 001 (ICTAC, 2007)

The Good, the Bad, and the Ugly, But How Ugly Is Ugly? - Andreas Bauer 002; Martin Leucker; Christian Schallhart (RV, 2007)

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker (TACAS, 2007)

When not losing is better than winning: Abstraction and refinement for the full mu-calculus. - Orna Grumberg; Martin Lange; Martin Leucker; Sharon Shoham (Inf. Comput., 2007)

Impartial Anticipation in Runtime-Verification. - Wei Dong 006; Martin Leucker; Christian Schallhart (ATVA, 2008)

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

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

08332 Abstracts Collection - Distributed Verification and Grid Computing. - Henri E. Bal; Lubos Brim; Martin Leucker (Distributed Verification and Grid Computing, 2008)

08332 Executive Summary - Distributed Verification and Grid Computing. - Henri E. Bal; Lubos Brim; Martin Leucker (Distributed Verification and Grid Computing, 2008)

Modeling and Model Checking Software Product Lines. - Alexander Gruler; Martin Leucker; Kathrin Danielle Scheidemann (FMOODS, 2008)

Lightweight Verification 2008. - Martin Leucker; Helmut Seidl (GI Jahrestagung (2), 2008)

Calculating and Modeling Common Parts of Software Product Lines. - Alexander Gruler; Martin Leucker; Kathrin Danielle Scheidemann (SPLC, 2008)

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

Network invariants for real-time systems. - Olga Grinchtein; Martin Leucker (Formal Aspects Comput., 2008)

Don't Know for Multi-valued Systems. - Alarico Campetelli; Alexander Gruler; Martin Leucker; Daniel Thoma (ATVA, 2009)

Angluin-Style Learning of NFA. - Benedikt Bollig; Peter Habermehl; Carsten Kern; Martin Leucker (IJCAI, 2009)

Äquivalenzklassen mit Zeit und Zuständen. - Moritz Löser; Martin Leucker; Dirk Nowotka; Joachim Rischen (Informatiktage, 2009)

A brief account of runtime verification. - Martin Leucker; Christian Schallhart (J. Log. Algebraic Methods Program., 2009)

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

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

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. - Klaus Havelund; Martin Leucker; Martin Sachenbacher; Oleg Sokolsky; Brian C. Williams (Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 2010)

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. - Klaus Havelund; Martin Leucker; Martin Sachenbacher; Oleg Sokolsky; Brian C. Williams (Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 2010)

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

Regular Linear-Time Temporal Logic. - Martin Leucker; César Sánchez 001 (TIME, 2010)

Regular Linear Temporal Logic with Past. - César Sánchez 001; Martin Leucker (VMCAI, 2010)

SMA - The Smyle Modeling Approach. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker (Comput. Informatics, 2010)

Comparing LTL Semantics for Runtime Verification. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (J. Log. Comput., 2010)

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. - Andreas Bauer 002; Martin Leucker; Christian Schallhart; Michael Tautschnig (Int. J. Softw. Tools Technol. Transf., 2010)

Learning of event-recording automata. - Olga Grinchtein; Bengt Jonsson 001; Martin Leucker (Theor. Comput. Sci., 2010)

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

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

An event pattern language for runtime monitoring based on AOP. - Xian Zhang; Martin Leucker; Wei Dong 006 (ICITST, 2011)

The Theory and Practice of SALT. - Andreas Bauer 002; Martin Leucker (NASA Formal Methods, 2011)

Teaching Runtime Verification. - Martin Leucker (RV, 2011)

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

Security Goals Assurance Based on Software Active Monitoring. - Changzhi Zhao; Wei Dong 006; Martin Leucker; Zhichang Qi (SSIRI, 2011)

Learning Workflow Petri Nets. - Javier Esparza; Martin Leucker; Maximilian Schlund (Fundam. Informaticae, 2011)

Runtime Verification for LTL and TLTL. - Andreas Bauer 002; Martin Leucker; Christian Schallhart (ACM Trans. Softw. Eng. Methodol., 2011)

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

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

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

Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. - David Ciechanowicz; Martin Leucker; Martin Sachenbacher (MKWI, 2012)

Runtime Verification with Predictive Semantics. - Xian Zhang; Martin Leucker; Wei Dong 006 (NASA Formal Methods, 2012)

Sliding between Model Checking and Runtime Verification. - Martin Leucker (RV, 2012)

Frequency Linear-time Temporal Logic. - Benedikt Bollig; Normann Decker; Martin Leucker (TASE, 2012)

Anticipatory active monitoring for safety- and security-critical software. - Wei Dong 006; Changzhi Zhao; Shaoxian Shu; Martin Leucker (Sci. China Inf. Sci., 2012)

Three-valued abstraction for probabilistic systems. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf (J. Log. Algebraic Methods Program., 2012)

A Fresh Approach to Learning Register Automata. - Benedikt Bollig; Peter Habermehl; Martin Leucker; Benjamin Monmege (Developments in Language Theory, 2013)

OR.NET: Safe Interconnection of Medical Devices - (Position Paper). - Franziska Kühn; Martin Leucker (FHIES, 2013)

jUnitRV-Adding Runtime Verification to jUnit. - Normann Decker; Martin Leucker; Daniel Thoma (NASA Formal Methods, 2013)

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. - Normann Decker; Martin Leucker; Daniel Thoma (RV, 2013)

Runtime verification and reflection for wireless sensor networks. - Stefan Fischer 001; Martin Leucker (SESENA, 2013)

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

Learning Transparent Data Automata. - Normann Decker; Peter Habermehl; Martin Leucker; Daniel Thoma (Petri Nets, 2014)

Ordered Navigation on Multi-attributed Data Words. - Normann Decker; Peter Habermehl; Martin Leucker; Daniel Thoma (CONCUR, 2014)

Efficient Profile Routing for Electric Vehicles. - René Schönfelder; Martin Leucker; Sebastian Walther (IOV, 2014)

Challenges for the Dynamic Interconnection of Medical Devices. - Martin Leucker (ISoLA (2), 2014)

OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. - Franziska Kühn; Martin Leucker; Alexander Mildner (MCPS, 2014)

Guest editors' preface to special issue on interval temporal logics. - Ben C. Moszkowski; Dimitar P. Guelev; Martin Leucker (Ann. Math. Artif. Intell., 2014)

A Robust Class of Data Languages and an Application to Learning. - Benedikt Bollig; Peter Habermehl; Martin Leucker; Benjamin Monmege (Log. Methods Comput. Sci., 2014)

Topology, monitorable properties and runtime verification. - Volker Diekert; Martin Leucker (Theor. Comput. Sci., 2014)

Workshop Energieinformatik. - Martin Leucker; Martin Sachenbacher; René Schönfelder (GI-Jahrestagung, 2015)

A New Refinement Strategy for CEGAR-Based Industrial Model Checking. - Martin Leucker; Grigory Markin; Martin R. Neuhäußer (Haifa Verification Conference, 2015)

Abstract Routing Models and Abstractions in the Context of Vehicle Routing. - René Schönfelder; Martin Leucker (IJCAI, 2015)

Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR. - Alexander Mildner; Armin Janß; Jasmin Dell'Anna-Pudlik; Paul Merz; Martin Leucker; Klaus Radermacher 001 (RISK, 2015)

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. - Timm B. Bußhaus; Stefan Fischer 001; Franziska Kühn; Martin Leucker; Alexander Mildner; Malte Schmitz 001 (Software Engineering & Management, 2015)

Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). - Martin Leucker; Malte Schmitz 001 (Software Engineering (Workshops), 2015)

Static analysis meets runtime verification (NII Shonan Meeting 2015-5). - Cyrille Artho; Einar Broch Johnsen; Martin Leucker; Keiko Nakata 001 (NII Shonan Meet. Rep., 2015)

Runtime Verification for Interconnected Medical Devices. - Martin Leucker; Malte Schmitz 001; Danilo à Tellinghusen (ISoLA (2), 2016)

On Combinations of Static and Dynamic Analysis - Panel Introduction. - Martin Leucker (ISoLA (1), 2016)

Counterexample guided abstraction refinement of product-line behavioural models. - Maxime Cordy; Patrick Heymans; Axel Legay; Pierre-Yves Schobbens; Bruno Dawagne; Martin Leucker (Software Engineering, 2016)

Runtime Verification for Linear-Time Temporal Logic. - Martin Leucker (SETSS, 2016)

Monitoring modulo theories. - Normann Decker; Martin Leucker; Daniel Thoma (Int. J. Softw. Tools Technol. Transf., 2016)

Model-Checking Counting Temporal Logics on Flat Structures. - Normann Decker; Peter Habermehl; Martin Leucker; Arnaud Sangnier; Daniel Thoma (CONCUR, 2017)

COEMS - open traces from the industry. - Svetlana Jaksic; Martin Leucker; Dan Li; Volker Stolz (RV-CuBES, 2017)

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. - Normann Decker; Philip Gottschling; Christian Hochberger; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Alexander Weiss (SBMF, 2017)

ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. - Anke Fähnrich; Moritz Krebbel; Normann Decker; Martin Leucker; Felix D. Lange; Kathrin Kalies; Steffen Möller (BMC Bioinform., 2017)

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). - Klaus Havelund; Martin Leucker; Giles Reger; Volker Stolz (Dagstuhl Reports, 2017)

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 (DATE, 2018)

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. - César Sánchez 001; Gerardo Schneider; Martin Leucker (ISoLA (4), 2018)

COST Action IC1402 Runtime Verification Beyond Monitoring. - Christian Colombo 001; Yliès Falcone; Martin Leucker; Giles Reger; César Sánchez 001; Gerardo Schneider; Volker Stolz (RV, 2018)

TeSSLa: runtime verification of non-synchronized real-time streams. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Alexander Schramm (SAC, 2018)

TeSSLa: Temporal Stream-Based Specification Language. - Lukas Convent; Sebastian Hungerecker; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (SBMF, 2018)

Test und Fehlersuche in komplexen Autonomen Systemen. - Thomas Preußer; Albert Schulz; Alexander Weiss; Martin Heininger; Martin Leucker; Malte Schmitz 001; Torben Scheffel; Daniel Thoma (Echtzeit, 2019)

Runtime Verification for Timed Event Streams with Partial Information. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (RV, 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). - Mario Gleirscher; Anne E. Haxthausen; Martin Leucker; Sven Linker (Dagstuhl Reports, 2019)

Preface to special issue: ICTAC 2015. - Martin Leucker; Jorge A. Pérez 001; Camilo Rueda; Frank D. Valencia (Math. Struct. Comput. Sci., 2019)

Formal Verification of Neural Networks? - Martin Leucker (SBMF, 2020)

Real-time MTL with durations as SMT with applications to schedulability analysis. - André de Matos Pedro; Martin Leucker; David Pereira; Jorge Sousa Pinto (TASE, 2020)

Property-Directed Verification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (CoRR, 2020)

Erratum to "Frequency Linear-time Temporal Logic". - Benedikt Bollig; Normann Decker; Martin Leucker (CoRR, 2020)

Runtime verification of real-time event streams under non-synchronized arrival. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Alexander Schramm (Softw. Qual. J., 2020)

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (ATVA, 2021)

Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. - Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Igor Khmelnitsky; Martin Leucker; Daniel Neider; Rajarshi Roy 002; Lina Ye (ICGI, 2021)

Timed Dyadic Deontic Logic. - Karam Younes Kharraz; Martin Leucker; Gerardo Schneider (JURIX, 2021)

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. - Eike Petersen; Yannik Potdevin; Esfandiar Mohammadi; Stephan Zidowitz; Sabrina Breyer; Dirk Nowotka; Sandra Henn; Ludwig Pechmann; Martin Leucker; Philipp Rostalski; Christian Herzog 002 (CoRR, 2021)

Preface. - Martin Leucker; Christian Colombo 001 (Int. J. Softw. Tools Technol. Transf., 2021)

Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen. - Ludwig Pechmann; Martin Mildner; Tim Suthau; Martin Leucker (Künstliche Intelligenz im Gesundheitswesen, 2022)

Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. - Hannes Kallwies; Martin Leucker; César Sánchez 001 (ATVA, 2022)

A Survey of Model Learning Techniques for Recurrent Neural Networks. - Benedikt Bollig; Martin Leucker; Daniel Neider (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Aggregate Update Problem for Multi-clocked Dataflow Languages. - Hannes Kallwies; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (CGO, 2022)

X-by-Construction Meets Runtime Verification. - Maurice H. ter Beek; Loek Cleophas; Martin Leucker; Ina Schaefer (ISoLA (1), 2022)

Runtime Verification of AUTOSAR Timing Extensions. - Max Jonas Friese; Hannes Kallwies; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Daniel Thoma (RTNS, 2022)

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. - Hannes Kallwies; Martin Leucker; César Sánchez 001; Torben Scheffel (RV, 2022)

TeSSLa - An Ecosystem for Runtime Verification. - Hannes Kallwies; Martin Leucker; Malte Schmitz 001; Albert Schulz; Daniel Thoma; Alexander Weiss (RV, 2022)

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. - Hannes Kallwies; Martin Leucker; Meiko Prilop; Malte Schmitz 001 (TASE, 2022)

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. - Eike Petersen; Yannik Potdevin; Esfandiar Mohammadi; Stephan Zidowitz; Sabrina Breyer; Dirk Nowotka; Sandra Henn; Ludwig Pechmann; Martin Leucker; Philipp Rostalski; Christian Herzog 002 (IEEE Access, 2022)

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. - Igor Khmelnitsky; Serge Haddad; Lina Ye; Benoît Barbot; Benedikt Bollig; Martin Leucker; Daniel Neider; Rajarshi Roy 002 (GandALF, 2022)

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. - Aliyu Tanko Ali; Martin Leucker; Andreas Schuldei; Leonard Stellbrink; Martin Sachenbacher (EUMAS, 2023)

Digital Twin for Rescue Missions - a Case Study. - Martin Leucker; Martin Sachenbacher; Lars Bernd Vosteen (FMDT@FM, 2023)

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. - Daniel Thoma; Martin Sachenbacher; Martin Leucker; Aliyu Tanko Ali (FMDT@FM, 2023)

TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. - Marian Johannes Begemann; Hannes Kallwies; Martin Leucker; Malte Schmitz 001 (ICTAC, 2023)

Synchronous Agents, Verification, and Blame - A Deontic View. - Karam Younes Kharraz; Shaun Azzopardi; Gerardo Schneider; Martin Leucker (ICTAC, 2023)

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 (MABS, 2023)

General Anticipatory Monitoring for Temporal Logics on Finite Traces. - Hannes Kallwies; Martin Leucker; César Sánchez 001 (RV, 2023)

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 001 (AISoLA (Selected Papers), 2023)

CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. - Ludwig Pechmann; Yannik Potdevin; Kai Brehmer; Dirk Nowotka; Martin Leucker (AISoLA (Selected Papers), 2023)

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. - Lina Ye; Igor Khmelnitsky; Serge Haddad; Benoît Barbot; Benedikt Bollig; Martin Leucker; Daniel Neider; Rajarshi Roy 002 (CoRR, 2023)

A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device. - Philipp Bende; Olga Vovk; David Caraveo; Ludwig Pechmann; Martin Leucker (Trans. Petri Nets Other Model. Concurr., 2023)

Analysis of recurrent neural networks via property-directed verification of surrogate models. - Igor Khmelnitsky; Daniel Neider; Rajarshi Roy 002; Xuan Xie; Benoît Barbot; Benedikt Bollig; Alain Finkel; Serge Haddad; Martin Leucker; Lina Ye (Int. J. Softw. Tools Technol. Transf., 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; Simon Thrane Hansen; Carlos Ignacio Isasa Martin; Hannes Iven; Eduard Kamburjan; Peter Gorm Larsen; Martin Leucker; Prasad Talasila; Valdemar Trøjgård Tang; Stefano Tonetta; et al. (ACSOS-C, 2024)

Runtime Verification of Timed Petri Nets. - José Ignacio Requeno; Elena Gómez-Martínez; Hannes Kallwies; Melanie Haustein; Martin Leucker; Volker Stolz; Patrick Stünkel (PNSE@Petri Nets, 2024)

Trustworthy Supply Chain Logging with Distributed Ledgers. - Mohammad Khodaygani; Martin Leucker; Martin Stuwe (BLOCKCHAIN, 2024)

General Anticipatory Runtime Verification. - Raik Hipler; Hannes Kallwies; Martin Leucker; César Sánchez 001 (CAV (2), 2024)

Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. - Aliyu Tanko Ali; Andreas Schuldei; Martin Sachenbacher; Martin Leucker (COMPASS, 2024)

A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. - Elaheh Hosseinkhani; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Lars Bernd Vosteen (DX, 2024)

Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). - Alexander Weiss; Albert Schulz; Martin Heininger; Martin Sachenbacher; Martin Leucker (DX, 2024)

Digital Twin Engineering. - John S. Fitzgerald; Cláudio Gomes 001; Einar Broch Johnsen; Eduard Kamburjan; Martin Leucker; Jim Woodcock 001 (ISoLA (5), 2024)

On Conflicts and Satisfiability in Metric Timed Normative Logics. - Karam Younes Kharraz; Gerardo Schneider; Martin Leucker (JURIX, 2024)

Adding State to Stream Runtime Verification. - Manuel Caldeira; Hannes Kallwies; Martin Leucker; Daniel Thoma (RV, 2024)

Gaia-X-Med: Experiences with Building Dataspaces for Medical Applications. - Bennet Gerlach; Hannes Hesse; Stefan Fischer 001; Martin Leucker (Future Internet, 2024)

The AI Act and Some Implications for Developing AI-Based Systems. - Martin Leucker (The Combined Power of Research, Education, and Dissemination, 2025)

Formal Model of Energy System using Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska; Martin Leucker (EUROCON, 2025)

Composable digital twins on Digital Twin as a Service platform. - Prasad Talasila; Cláudio Gomes 001; Lars Bernd Vosteen; Hannes Iven; Martin Leucker; Santiago Gil 001; Peter Høgh Mikkelsen; Eduard Kamburjan; Peter Gorm Larsen (Simul., 2025)

A Note on Runtime Verification of Concurrent Systems. - Martin Leucker (CoRR, 2025)