Martin Leucker

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 60

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

SBMF

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker
Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS (2024)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. 20 (1) (2024)
José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets (2024)
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Runtime Verification. CAV (2) (2024)
Aliyu Tanko Ali, Tim Schrills, Andreas Schuldei, Leonard Stellbrink, André Calero Valdez, Martin Leucker, Thomas Franke
Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid. MABS (2023)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC (2023)
Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher
A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. EUMAS (2023)
Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker
A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device. Trans. Petri Nets Other Model. Concurr. 17 (2023)
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Algorithm in Presence of Noise. CoRR (2023)
Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Synchronous Agents, Verification, and Blame - A Deontic View. CoRR (2023)
Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen
Digital Twin for Rescue Missions - a Case Study. FMDT@FM (2023)
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC (2023)
Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV (2023)
Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE (2022)
Hannes Kallwies, Martin Leucker, César Sánchez
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR (2022)
Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. IEEE Access 10 (2022)
Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device. HEDA@Petri Nets (2022)
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss
TeSSLa - An Ecosystem for Runtime Verification. RV (2022)
Benedikt Bollig, Martin Leucker, Daniel Neider
A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF (2022)
Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV (2022)
Hannes Kallwies, Martin Leucker, César Sánchez
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA (2022)
Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
X-by-Construction Meets Runtime Verification. ISoLA (1) (2022)
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
Runtime Verification of AUTOSAR Timing Extensions. RTNS (2022)
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO (2022)
Martin Leucker, Christian Colombo
Preface. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI (2021)
Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
Timed Dyadic Deontic Logic. JURIX (2021)
Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog
Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. CoRR (2021)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA (2021)
André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto
Real-time MTL with durations as SMT with applications to schedulability analysis. TASE (2020)
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Property-Directed Verification of Recurrent Neural Networks. CoRR (2020)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28 (2) (2020)
Benedikt Bollig, Normann Decker, Martin Leucker
Erratum to "Frequency Linear-time Temporal Logic". CoRR (2020)
Martin Leucker
Formal Verification of Neural Networks? SBMF (2020)
Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29 (1) (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification For Timed Event Streams With Partial Information. CoRR (2019)
Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit (2019)
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports 9 (10) (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification for Timed Event Streams with Partial Information. RV (2019)
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-based Specification Language. CoRR (2018)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
TeSSLa: runtime verification of non-synchronized real-time streams. SAC (2018)
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC1402 Runtime Verification Beyond Monitoring. RV (2018)
César Sánchez, Gerardo Schneider, Martin Leucker
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) (2018)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-Based Specification Language. SBMF (2018)
Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Online analysis of debug trace data for embedded systems. DATE (2018)
Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7 (11) (2017)
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
COEMS - open traces from the industry. RV-CuBES (2017)
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
Model-checking Counting Temporal Logics on Flat Structures. CoRR (2017)
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
Model-Checking Counting Temporal Logics on Flat Structures. CONCUR (2017)
Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies, Steffen Möller
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. BMC Bioinform. 18 (1) (2017)
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. SBMF (2017)
Martin Leucker
Runtime Verification for Linear-Time Temporal Logic. SETSS (2016)
Martin Leucker
On Combinations of Static and Dynamic Analysis - Panel Introduction. ISoLA (1) (2016)
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering (2016)
Normann Decker, Martin Leucker, Daniel Thoma
Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Martin Leucker, Malte Schmitz, Danilo à Tellinghusen
Runtime Verification for Interconnected Medical Devices. ISoLA (2) (2016)
René Schönfelder, Martin Leucker
Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI (2015)
Martin Leucker, Grigory Markin, Martin R. Neuhäußer
A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Haifa Verification Conference (2015)
Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. Software Engineering & Management (2015)
Martin Leucker, Martin Sachenbacher, René Schönfelder
Workshop Energieinformatik. GI-Jahrestagung (2015)
Alexander Mildner, Armin Janß, Jasmin Dell'Anna-Pudlik, Paul Merz, Martin Leucker, Klaus Radermacher
Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR. RISK (2015)
Martin Leucker, Malte Schmitz
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) (2015)
Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata
Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. 2015 (2015)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Learning Transparent Data Automata. Petri Nets (2014)
René Schönfelder, Martin Leucker, Sebastian Walther
Efficient Profile Routing for Electric Vehicles. IOV (2014)
Normann Decker, Martin Leucker, Daniel Thoma
Monitoring Modulo Theories. TACAS (2014)
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
A Robust Class of Data Languages and an Application to Learning. Log. Methods Comput. Sci. 10 (4) (2014)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Ordered Navigation on Multi-attributed Data Words. CoRR (2014)
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE (2014)
Volker Diekert, Martin Leucker
Topology, monitorable properties and runtime verification. Theor. Comput. Sci. 537 (2014)
Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Ordered Navigation on Multi-attributed Data Words. CONCUR (2014)
Martin Leucker
Challenges for the Dynamic Interconnection of Medical Devices. ISoLA (2) (2014)
Franziska Kühn, Martin Leucker, Alexander Mildner
OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS (2014)
Normann Decker, Martin Leucker, Daniel Thoma
-Adding Runtime Verification to jUnit. NASA Formal Methods (2013)
Franziska Kühn, Martin Leucker
OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES (2013)
Stefan Fischer, Martin Leucker
Runtime verification and reflection for wireless sensor networks. SESENA (2013)
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) (2013)
Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
A Fresh Approach to Learning Register Automata. Developments in Language Theory (2013)
Normann Decker, Martin Leucker, Daniel Thoma
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV (2013)
Xian Zhang, Martin Leucker, Wei Dong
Runtime Verification with Predictive Semantics. NASA Formal Methods (2012)
David Ciechanowicz, Martin Leucker, Martin Sachenbacher
Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. MKWI (2012)
Martin Leucker, Daniel Thoma
A Formal Approach to Software Product Families. ISoLA (1) (2012)
Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker
Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. 55 (12) (2012)
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. 81 (4) (2012)
Martin Leucker, Daniel Neider
Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) (2012)
Martin Leucker
Sliding between Model Checking and Runtime Verification. RV (2012)
Benedikt Bollig, Normann Decker, Martin Leucker
Frequency Linear-time Temporal Logic. TASE (2012)
Ina Schaefer, Malte Lochau, Martin Leucker
Approaches for Mastering Change. ISoLA (1) (2012)
Javier Esparza, Martin Leucker, Maximilian Schlund
Learning Workflow Petri Nets. Fundam. Informaticae 113 (3-4) (2011)
Xian Zhang, Martin Leucker, Wei Dong
An event pattern language for runtime monitoring based on AOP. ICITST (2011)
Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi
Security Goals Assurance Based on Software Active Monitoring. SSIRI (2011)
Andreas Bauer, Martin Leucker
The Theory and Practice of SALT. NASA Formal Methods (2011)
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)
Martin Leucker
Teaching Runtime Verification. RV (2011)
Andreas Bauer, Martin Leucker, Christian Schallhart
Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20 (4) (2011)

Martin Leucker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Leucker