Martin Leucker

215 papers A* 6A 6B 33C 23Misc 6Journal 50Unranked 81

Year	Rank	Type	Title / Venue / Authors
2026	—	`ch.`	Let's Talk AI with Computer Science Expert Martin Leucker. Let's Talk AI Martin Leucker, Barbara Steffen
2026	J	`jnl`	Symbolic runtime verification for monitoring under uncertainties and assumptions. Inf. Softw. Technol. Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler
2025	—	`conf`	A Note on Runtime Verification of Concurrent Systems. Principles of Formal Quantitative Analysis Martin Leucker
2025	J	`jnl`	A Note on Runtime Verification of Concurrent Systems. CoRR Martin Leucker
2025	B	`conf`	A Practical Approach to Runtime Verification. RV Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien
2025	—	`conf`	A Voice-Enabled Query Framework for Systems Engineering Artefacts. AISoLA Lennart Landt, Martin Leucker, Carsten Burchardt
2025	J	`jnl`	Composable digital twins on Digital Twin as a Service platform. Simul. Prasad Talasila, Cláudio Gomes, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen
2025	—	`conf`	Formal Model of Energy System using Attack Trees. EUROCON Aliyu Tanko Ali, Damas P. Gruska, Martin Leucker
2025	—	`conf`	Graph Reduction to Attack Trees for (Unobservable) Target Analysis. NordSec Aliyu Tanko Ali, Leonard Chidiebere Eze, Damas P. Gruska, Martin Leucker
2025	—	`conf`	Inference of Deterministic Finite Automata via Q-Learning. SBMF Elaheh Hosseinkhani, Martin Leucker
2025	J	`jnl`	Inference of Deterministic Finite Automata via Q-Learning. CoRR Elaheh Hosseinkhani, Martin Leucker
2025	—	`conf`	The AI Act and Some Implications for Developing AI-Based Systems. The Combined Power of Research, Education, and Dissemination Martin Leucker
2025	—	`conf`	Towards Monitoring and Diagnosis of Quantum Digital Twins. INFORMATIK Martin Sachenbacher, Martin Leucker
2025	—	`conf`	TwinLang - A Digital Twin Modelling and Management Language. MODELS-C Martin Leucker, Daniel Thoma, Lars Bernd Vosteen
2025	—	`conf`	Using Attack Trees for Security Education and Training: Simplifying Threat Analysis. World Conference on Information Security Education Damas P. Gruska, Aliyu Tanko Ali, Martin Leucker
2024	C	`conf`	A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. DX Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Lars Bernd Vosteen
2024	C	`conf`	Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper). DX Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker
2024	B	`conf`	Adding State to Stream Runtime Verification. RV Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma
2024	J	`jnl`	Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise. Log. Methods Comput. Sci. Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2024	—	`conf`	Digital Twin Engineering. ISoLA (5) John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock
2024	J	`jnl`	Gaia-X-Med: Experiences with Building Dataspaces for Medical Applications. Future Internet Bennet Gerlach, Hannes Hesse, Stefan Fischer, Martin Leucker
2024	—	`conf`	General Anticipatory Runtime Verification. CAV (2) Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
2024	C	`conf`	On Conflicts and Satisfiability in Metric Timed Normative Logics. JURIX Karam Younes Kharraz, Gerardo Schneider, Martin Leucker
2024	—	`conf`	Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, 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, Lars Bernd Vosteen, Thomas Wright
2024	—	`conf`	Runtime Verification of Timed Petri Nets. PNSE@Petri Nets José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
2024	C	`conf`	Simulation-based Analysis of Car-sharing Electrification in Schleswig-Holstein, Germany. COMPASS Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker
2024	—	`conf`	Trustworthy Supply Chain Logging with Distributed Ledgers. BLOCKCHAIN Mohammad Khodaygani, Martin Leucker, Martin Stuwe
2023	J	`jnl`	A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device. Trans. Petri Nets Other Model. Concurr. Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker
2023	C	`conf`	A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management. EUMAS Aliyu Tanko Ali, Martin Leucker, Andreas Schuldei, Leonard Stellbrink, Martin Sachenbacher
2023	—	`conf`	A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali
2023	J	`jnl`	Analysis of recurrent neural networks via property-directed verification of surrogate models. Int. J. Softw. Tools Technol. Transf. Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023	J	`jnl`	Analyzing Robustness of Angluin's L CoRR Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023	—	`conf`	CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. AISoLA (Selected Papers) Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker
2023	—	`conf`	Challenges for AI in Healthcare Systems. AISoLA (Selected Papers) Markus Bertl, Yngve Lamo, Martin Leucker, Tiziana Margaria, Esfandiar Mohammadi, Suresh Kumar Mukhiya, Ludwig Pechmann, Gunnar Piho, Fazle Rabbi
2023	—	`conf`	Digital Twin for Rescue Missions - a Case Study. FMDT@FM Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen
2023	B	`ed.`	Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings FM Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
2023	B	`conf`	General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV Hannes Kallwies, Martin Leucker, César Sánchez
2023	C	`conf`	Multi-agent Simulation of Intelligent Energy Regulation in Vehicle-to-Grid. MABS Aliyu Tanko Ali, Tim Schrills, Andreas Schuldei, Leonard Stellbrink, André Calero Valdez, Martin Leucker, Thomas Franke
2023	C	`conf`	Synchronous Agents, Verification, and Blame - A Deontic View. ICTAC Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
2023	J	`jnl`	Synchronous Agents, Verification, and Blame - A Deontic View. CoRR Karam Younes Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
2023	C	`conf`	TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
2022	—	`conf`	A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device. HEDA@Petri Nets Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker
2022	—	`conf`	A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning Benedikt Bollig, Martin Leucker, Daniel Neider
2022	A	`conf`	Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2022	—	`conf`	Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. GandALF Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022	B	`conf`	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
2022	Misc	`conf`	Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz
2022	—	`ch.`	Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen. Künstliche Intelligenz im Gesundheitswesen Ludwig Pechmann, Martin Mildner, Tim Suthau, Martin Leucker
2022	J	`jnl`	Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. IEEE Access Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog
2022	Misc	`conf`	Runtime Verification of AUTOSAR Timing Extensions. RTNS Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
2022	B	`conf`	Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA Hannes Kallwies, Martin Leucker, César Sánchez
2022	J	`jnl`	Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR Hannes Kallwies, Martin Leucker, César Sánchez
2022	B	`conf`	TeSSLa - An Ecosystem for Runtime Verification. RV Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss
2022	—	`conf`	X-by-Construction Meets Runtime Verification. ISoLA (1) Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer
2021	—	`conf`	Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search. ICGI Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021	—	`ed.`	Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Formal Methods in Outer Space Ezio Bartocci, Yliès Falcone, Martin Leucker
2021	J	`jnl`	Preface. Int. J. Softw. Tools Technol. Transf. Martin Leucker, Christian Colombo
2021	B	`conf`	Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. ATVA Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2021	J	`jnl`	Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. CoRR Eike Petersen, Yannik Potdevin, Esfandiar Mohammadi, Stephan Zidowitz, Sabrina Breyer, Dirk Nowotka, Sandra Henn, Ludwig Pechmann, Martin Leucker, Philipp Rostalski, Christian Herzog
2021	C	`conf`	Timed Dyadic Deontic Logic. JURIX Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
2020	J	`jnl`	Erratum to "Frequency Linear-time Temporal Logic". CoRR Benedikt Bollig, Normann Decker, Martin Leucker
2020	—	`conf`	Formal Verification of Neural Networks? SBMF Martin Leucker
2020	J	`jnl`	Property-Directed Verification of Recurrent Neural Networks. CoRR Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020	Misc	`conf`	Real-time MTL with durations as SMT with applications to schedulability analysis. TASE André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto
2020	J	`jnl`	Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
2019	J	`jnl`	Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). Dagstuhl Reports Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, Sven Linker
2019	J	`jnl`	COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR 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
2019	J	`jnl`	Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2019	J	`jnl`	Runtime Verification For Timed Event Streams With Partial Information. CoRR Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
2019	B	`conf`	Runtime Verification for Timed Event Streams with Partial Information. RV Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
2019	—	`conf`	Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
2018	B	`conf`	COST Action IC1402 Runtime Verification Beyond Monitoring. RV Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018	A	`conf`	Online analysis of debug trace data for embedded systems. DATE Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
2018	—	`conf`	Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) César Sánchez, Gerardo Schneider, Martin Leucker
2018	B	`ed.`	Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings RV Christian Colombo, Martin Leucker
2018	—	`conf`	TeSSLa: Temporal Stream-Based Specification Language. SBMF Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2018	J	`jnl`	TeSSLa: Temporal Stream-based Specification Language. CoRR Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2018	Misc	`conf`	TeSSLa: runtime verification of non-synchronized real-time streams. SAC Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
2017	J	`jnl`	A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
2017	—	`conf`	COEMS - open traces from the industry. RV-CuBES Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
2017	J	`jnl`	ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. BMC Bioinform. Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies, Steffen Möller
2017	B	`conf`	Model-Checking Counting Temporal Logics on Flat Structures. CONCUR Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017	J	`jnl`	Model-checking Counting Temporal Logics on Flat Structures. CoRR Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017	—	`conf`	Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. SBMF Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
2016	C	`conf`	Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2016	J	`jnl`	Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. Normann Decker, Martin Leucker, Daniel Thoma
2016	—	`conf`	On Combinations of Static and Dynamic Analysis - Panel Introduction. ISoLA (1) Martin Leucker
2016	—	`conf`	Runtime Verification for Interconnected Medical Devices. ISoLA (2) Martin Leucker, Malte Schmitz, Danilo à Tellinghusen
2016	—	`conf`	Runtime Verification for Linear-Time Temporal Logic. SETSS Martin Leucker
2015	—	`conf`	A New Refinement Strategy for CEGAR-Based Industrial Model Checking. Haifa Verification Conference Martin Leucker, Grigory Markin, Martin R. Neuhäußer
2015	A*	`conf`	Abstract Routing Models and Abstractions in the Context of Vehicle Routing. IJCAI René Schönfelder, Martin Leucker
2015	—	`conf`	Development of Device-and Service-Profiles for a Safe and Secure Interconnection of Medical Devices in the Integrated Open OR. RISK Alexander Mildner, Armin Janß, Jasmin Dell'Anna-Pudlik, Paul Merz, Martin Leucker, Klaus Radermacher
2015	C	`conf`	Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) Martin Leucker, Malte Schmitz
2015	J	`jnl`	Static analysis meets runtime verification (NII Shonan Meeting 2015-5). NII Shonan Meet. Rep. Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata
2015	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings ICTAC Martin Leucker, Camilo Rueda, Frank D. Valencia
2015	—	`conf`	Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. Software Engineering & Management Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz
2015	—	`conf`	Workshop Energieinformatik. GI-Jahrestagung Martin Leucker, Martin Sachenbacher, René Schönfelder
2014	J	`jnl`	A Robust Class of Data Languages and an Application to Learning. Log. Methods Comput. Sci. Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
2014	—	`conf`	Challenges for the Dynamic Interconnection of Medical Devices. ISoLA (2) Martin Leucker
2014	—	`conf`	Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2014	—	`conf`	Efficient Profile Routing for Electric Vehicles. IOV René Schönfelder, Martin Leucker, Sebastian Walther
2014	J	`jnl`	Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell. Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker
2014	B	`conf`	Learning Transparent Data Automata. Petri Nets Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014	A	`conf`	Monitoring Modulo Theories. TACAS Normann Decker, Martin Leucker, Daniel Thoma
2014	—	`conf`	OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices. MCPS Franziska Kühn, Martin Leucker, Alexander Mildner
2014	B	`conf`	Ordered Navigation on Multi-attributed Data Words. CONCUR Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014	J	`jnl`	Ordered Navigation on Multi-attributed Data Words. CoRR Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014	J	`jnl`	Topology, monitorable properties and runtime verification. Theor. Comput. Sci. Volker Diekert, Martin Leucker
2013	C	`conf`	A Fresh Approach to Learning Register Automata. Developments in Language Theory Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege
2013	B	`conf`	Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV Normann Decker, Martin Leucker, Daniel Thoma
2013	—	`conf`	OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES Franziska Kühn, Martin Leucker
2013	—	`conf`	Runtime verification and reflection for wireless sensor networks. SESENA Stefan Fischer, Martin Leucker
2013	J	`jnl`	Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst. Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker, Richard Lasslop
2013	—	`conf`	jUnit NASA Formal Methods Normann Decker, Martin Leucker, Daniel Thoma
2012	—	`conf`	A Formal Approach to Software Product Families. ISoLA (1) Martin Leucker, Daniel Thoma
2012	J	`jnl`	Anticipatory active monitoring for safety- and security-critical software. Sci. China Inf. Sci. Wei Dong, Changzhi Zhao, Shaoxian Shu, Martin Leucker
2012	—	`conf`	Approaches for Mastering Change. ISoLA (1) Ina Schaefer, Malte Lochau, Martin Leucker
2012	Misc	`conf`	Frequency Linear-time Temporal Logic. TASE Benedikt Bollig, Normann Decker, Martin Leucker
2012	—	`conf`	Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA (1) Martin Leucker, Daniel Neider
2012	—	`conf`	Runtime Verification with Predictive Semantics. NASA Formal Methods Xian Zhang, Martin Leucker, Wei Dong
2012	B	`conf`	Sliding between Model Checking and Runtime Verification. RV Martin Leucker
2012	J	`jnl`	Three-valued abstraction for probabilistic systems. J. Log. Algebraic Methods Program. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2012	—	`conf`	Ökonomische Bewertung von Vehicle-to-Grid in Deutschland. MKWI David Ciechanowicz, Martin Leucker, Martin Sachenbacher
2011	—	`conf`	An event pattern language for runtime monitoring based on AOP. ICITST Xian Zhang, Martin Leucker, Wei Dong
2011	A*	`conf`	Efficient Energy-Optimal Routing for Electric Vehicles. AAAI Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr
2011	C	`ed.`	Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011 TIME Carlo Combi, Martin Leucker, Frank Wolter
2011	B	`conf`	Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
2011	J	`jnl`	Learning Workflow Petri Nets. Fundam. Informaticae Javier Esparza, Martin Leucker, Maximilian Schlund
2011	J	`jnl`	Runtime Verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. Andreas Bauer, Martin Leucker, Christian Schallhart
2011	—	`conf`	Security Goals Assurance Based on Software Active Monitoring. SSIRI Changzhi Zhao, Wei Dong, Martin Leucker, Zhichang Qi
2011	B	`conf`	Teaching Runtime Verification. RV Martin Leucker
2011	—	`conf`	The Theory and Practice of SALT. NASA Formal Methods Andreas Bauer, Martin Leucker
2010	—	`conf`	10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	—	`conf`	10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	J	`jnl`	Comparing LTL Semantics for Runtime Verification. J. Log. Comput. Andreas Bauer, Martin Leucker, Christian Schallhart
2010	J	`jnl`	Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. Int. J. Softw. Tools Technol. Transf. Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
2010	J	`jnl`	Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2010	B	`conf`	Learning Workflow Petri Nets. Petri Nets Javier Esparza, Martin Leucker, Maximilian Schlund
2010	J	`jnl`	Learning of event-recording automata. Theor. Comput. Sci. Olga Grinchtein, Bengt Jonsson, Martin Leucker
2010	B	`conf`	Regular Linear Temporal Logic with Past. VMCAI César Sánchez, Martin Leucker
2010	C	`conf`	Regular Linear-Time Temporal Logic. TIME Martin Leucker, César Sánchez
2010	—	`ed.`	Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010 Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams
2010	J	`jnl`	SMA - The Smyle Modeling Approach. Comput. Informatics Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2010	Misc	`conf`	The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles. KI Andreas Artmeier, Julian Haselmayr, Martin Leucker, Martin Sachenbacher
2010	A*	`conf`	libalf: The Automata Learning Framework. CAV Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
2009	J	`jnl`	A brief account of runtime verification. J. Log. Algebraic Methods Program. Martin Leucker, Christian Schallhart
2009	A*	`conf`	Angluin-Style Learning of NFA. IJCAI Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
2009	J	`jnl`	Klassifikationsbäume in Echtzeit. Softwaretechnik-Trends Martin Leucker, Moritz Löser, Dirk Nowotka, Joachim Rischen
2009	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings ICTAC Martin Leucker, Carroll Morgan
2009	—	`conf`	Äquivalenzklassen mit Zeit und Zuständen. Informatiktage Moritz Löser, Martin Leucker, Dirk Nowotka, Joachim Rischen
2008	—	`conf`	08332 Abstracts Collection - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing Henri E. Bal, Lubos Brim, Martin Leucker
2008	—	`conf`	08332 Executive Summary - Distributed Verification and Grid Computing. Distributed Verification and Grid Computing Henri E. Bal, Lubos Brim, Martin Leucker
2008	B	`conf`	Abstraction for Stochastic Systems by Erlang's Method of Stages. CONCUR Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2008	B	`conf`	Calculating and Modeling Common Parts of Software Product Lines. SPLC Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann
2008	J	`jnl`	Checking and Enforcing Safety: Runtime Verification and Runtime Reflection. ERCIM News Martin Leucker
2008	—	`ed.`	Distributed Verification and Grid Computing, 10.08. - 14.08.2008 Distributed Verification and Grid Computing Henri E. Bal, Lubos Brim, Martin Leucker
2008	B	`conf`	Impartial Anticipation in Runtime-Verification. ATVA Wei Dong, Martin Leucker, Christian Schallhart
2008	—	`conf`	Lightweight Verification 2008. GI Jahrestagung (2) Martin Leucker, Helmut Seidl
2008	—	`conf`	Modeling and Model Checking Software Product Lines. FMOODS Alexander Gruler, Martin Leucker, Kathrin Danielle Scheidemann
2008	J	`jnl`	Network invariants for real-time systems. Formal Aspects Comput. Olga Grinchtein, Martin Leucker
2008	B	`ed.`	Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers RV Martin Leucker
2008	—	`conf`	SMA - The Smyle Modeling Approach. CEE-SET Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2008	B	`conf`	Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2007	C	`conf`	Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. ISoLA Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
2007	—	`ed.`	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 FMICS/PDMC Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol
2007	B	`conf`	Parallel Model Checking and the FMICS-jETI Platform. ICECCS Jiri Barnat, Lubos Brim, Martin Leucker
2007	C	`conf`	Regular Linear Temporal Logic. ICTAC Martin Leucker, César Sánchez
2007	A	`conf`	Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
2007	B	`conf`	The Good, the Bad, and the Ugly, But How Ugly Is Ugly? RV Andreas Bauer, Martin Leucker, Christian Schallhart
2007	B	`conf`	The LearnLib in FMICS-jETI. ICECCS Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
2007	A*	`conf`	Three-Valued Abstraction for Continuous-Time Markov Chains. CAV Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
2007	J	`jnl`	When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Inf. Comput. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
2006	J	`jnl`	Foreword. Formal Methods Syst. Des. Lubos Brim, Martin Leucker
2006	A	`conf`	Inferring Network Invariants Automatically. IJCAR Olga Grinchtein, Martin Leucker, Nir Piterman
2006	—	`conf`	Learning Finite-State Machines from Inexperienced Teachers. ICGI Olga Grinchtein, Martin Leucker
2006	—	`conf`	Learning Meets Verification. FMCO Martin Leucker
2006	J	`jnl`	Message-passing automata are expressively equivalent to EMSO logic. Theor. Comput. Sci. Benedikt Bollig, Martin Leucker
2006	—	`conf`	Model-based runtime analysis of distributed reactive systems. ASWEC Andreas Bauer, Martin Leucker, Christian Schallhart
2006	—	`conf`	Monitoring of Real-Time Properties. FSTTCS Andreas Bauer, Martin Leucker, Christian Schallhart
2006	—	`ed.`	Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005 PDMC@ICALP Martin Leucker, Jaco van de Pol
2006	C	`conf`	SALT - Structured Assertion Language for Temporal Logic. ICFEM Andreas Bauer, Martin Leucker, Jonathan Streit
2005	C	`conf`	A Hierarchy of Implementable MSC Languages. FORTE Benedikt Bollig, Martin Leucker
2005	J	`jnl`	Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Int. J. Softw. Tools Technol. Transf. Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber
2005	—	`ed.`	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] Model-Based Testing of Reactive Systems Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
2005	B	`conf`	On the Correspondence Between Conformance Testing and Regular Inference. FASE Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
2005	—	`conf`	Preface. PDMC@ICALP Martin Leucker, Jaco van de Pol
2005	—	`ed.`	Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004 PDMC Lubos Brim, Martin Leucker
2004	—	`conf`	Controller Synthesis for Probabilistic Systems. IFIP TCS Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
2004	—	`conf`	Inference of Timed Transition Systems. INFINITY Olga Grinchtein, Bengt Jonsson, Martin Leucker
2004	—	`conf`	Learning of Event-Recording Automata. FORMATS/FTRTFT Olga Grinchtein, Bengt Jonsson, Martin Leucker
2004	B	`conf`	Message-Passing Automata Are Expressively Equivalent to EMSO Logic. CONCUR Benedikt Bollig, Martin Leucker
2004	—	`conf`	Model-Based Testing - A Glossary. Model-Based Testing of Reactive Systems Alexander Pretschner, Martin Leucker
2004	—	`conf`	Preface. PDMC Lubos Brim, Martin Leucker
2004	—	`conf`	UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus. PDMC Fredrik Holmén, Martin Leucker, Marcus Lindström
2004	—	`conf`	Verifying Qualitative Properties of Probabilistic Programs. Validation of Stochastic Systems Benedikt Bollig, Martin Leucker
2003	J	`jnl`	Deciding LTL over Mazurkiewicz traces. Data Knowl. Eng. Benedikt Bollig, Martin Leucker
2003	—	`conf`	Insights to Angluin's Learning. SVV@ICLP Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena
2003	—	`conf`	Model Checking Probabilistic Distributed Systems. ASIAN Benedikt Bollig, Martin Leucker
2003	—	`conf`	Network Invariants for Real-Time Systems. INFINITY Olga Grinchtein, Martin Leucker
2003	—	`conf`	Parallel Model Checking for LTL, CTL*, and Lµ PDMC@CAV Martin Leucker, Rafal Somla, Michael Weber
2002	—	`conf`	Dynamic Message Sequence Charts. FSTTCS Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay
2002	B	`conf`	Extending Compositional Message Sequence Graphs. LPAR Benedikt Bollig, Martin Leucker, Philipp Lucas
2002	B	`conf`	Generalised Regular MSC Languages. FoSSaCS Benedikt Bollig, Martin Leucker, Thomas Noll
2002	—	`conf`	Local Parallel Model Checking for the Alternation-Free µ-Calculus. SPIN Benedikt Bollig, Martin Leucker, Michael Weber
2002	—	`—`	Logics for Mazurkiewicz traces. Martin Leucker
2001	C	`conf`	Deciding LTL over Mazurkiewicz Traces. TIME Benedikt Bollig, Martin Leucker
2001	C	`conf`	Modelling, Specifying, and Verifying Message Passing Systems. TIME Benedikt Bollig, Martin Leucker
2001	A	`conf`	Parallel Model Checking for the Alternation Free µ-Calculus. TACAS Benedikt Bollig, Martin Leucker, Michael Weber
2001	—	`conf`	Prefix-Recognizable Graphs and Monadic Logic. Automata, Logics, and Infinite Games Martin Leucker
2001	A*	`conf`	Truth/SLC - A Parallel Verification Platform for Concurrent Systems. CAV Martin Leucker, Thomas Noll
2000	—	`conf`	On Model Checking Synchronised Hardware Circuits. ASIAN Martin Leucker
2000	—	`conf`	Rewriting Logic as a Framework for Generic Verification Tools. WRLA Martin Leucker, Thomas Noll
1999	B	`conf`	Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. LPAR Martin Leucker
1999	C	`conf`	Rapid Prototyping of Specification Language Implementations. IEEE International Workshop on Rapid System Prototyping Martin Leucker, Thomas Noll
1998	—	`conf`	Truth - A verification platform for concurrent systems. Tool Support for System Specification, Development and Verification Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies