Publications

Caldeira, Manuel, Kallwies Hannes, Leucker Martin, and Thoma Daniel Adding State to Stream Runtime Verification. 24th International Conference on Runtime Verification. 15191 2024.  

Hipler, Raik, Kallwies Hannes, Leucker Martin, and Sánchez César General Anticipatory Runtime Verification. 36th International Conference on Computer Aided Verification (CAV). 2024.  

Hosseinkhani, Elaheh, Leucker Martin, Sachenbacher Martin, Streichhahn Hendrik, and Vosteen Lars Bernd A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies. 35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, November 4-7, 2024, Vienna, Austria. OASIcs 125 2024.  

Kristensen, Morten Haahr, Bonizzi Alberto, Gomes Cláudio, Hansen Simon Thrane, Martin Carlos Ignacio Is, Iven Hannes, Kamburjan Eduard, Larsen Peter Gorm, Leucker Martin, Talasila Prasad, et al. Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024 - Companion, Aarhus, Denmark, September 16-20, 2024. 2024.  

Requeno, José, Gómez-Martínez Elena, Kallwies Hannes, Haustein Melanie, Leucker Martin, Stolz Volker, and Stünkel Patrick Runtime Verification of Timed Petri Nets. International Workshop on Petri Nets and Software Engineering (PNSE). 2024.  

Thoma, Daniel, Sachenbacher Martin, Leucker Martin, and Ali Aliyu Tanko A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. Applications of Formal Methods and Digital Twins. 2023.  

Leucker, Martin, Sachenbacher Martin, and Vosteen Lars Bernd Digital Twin for Rescue Missions - a Case Study. Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. CEUR Workshop Proceedings 3507 2023.  

Kallwies, Hannes, Leucker Martin, and Sánchez César General Anticipatory Monitoring for Temporal Logics on Finite Traces. 23rd International Conference on Runtime Verification (RV). 2023.  

Begemann, Marian Johannes, Kallwies Hannes, Leucker Martin, and Schmitz Malte TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC). 2023.  

Kallwies, Hannes, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel Aggregate Update Problem for Multi-clocked Dataflow Languages. 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2022.  

Kallwies, Hannes, Leucker Martin, Sánchez César, and Scheffel Torben Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. 22nd International Conference on Runtime Verification (RV). 2022.  

Kallwies, Hannes, Leucker Martin, Prilop Meiko, and Schmitz Malte Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes. International Symposium on Theoretical Aspects of Software Engineering (TASE). 2022.  

Pechmann, Ludwig, Mildner Martin, Suthau Tim, and Leucker Martin Regulatorische Anforderungen an Lösungen der künstlichen Intelligenz im Gesundheitswesen. Künstliche Intelligenz im Gesundheitswesen. :175-198. 2022.  

Friese, Max Jonas, Kallwies Hannes, Leucker Martin, Sachenbacher Martin, Streichhahn Hendrik, and Thoma Daniel Runtime Verification of AUTOSAR Timing Extensions. 30th International Conference on Real-Time Networks and Systems (RTNS). 2022.  

Kallwies, Hannes, Leucker Martin, and Sánchez César Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. 20th Automated Technology for Verification and Analysis (ATVA). 2022.  

Kallwies, Hannes, Leucker Martin, Schmitz Malte, Schulz Albert, Thoma Daniel, and Weiss Alexander TeSSLa – An Ecosystem for Runtime Verification. 22nd International Conference on Runtime Verification (RV). 2022.  

Leucker, Martin, and Ostanina Maria AI-Lab - An Ecosystem for Managing AI projects. INFORMATIK 2021. 2021.  

Bartocci, Ezio, Falcone Yliès, and Leucker Martin Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. 13065 2021.  

Colombo, Christian, and Leucker Martin Preface. Int. J. Softw. Tools Technol. Transf.. 23 :155–156. 2021.  

Kharraz, Karam Younes, Leucker Martin, and Schneider Gerardo Timed Dyadic Deontic Logic. Legal Knowledge and Information Systems - JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021. Frontiers in Artificial Intelligence and Applications 346 2021.  

Leucker, Martin Formal Verification of Neural Networks? Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science 12475 2020.  

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

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander Runtime Verification of Real-Time Event Streams under Non-synchronized Arrival. Software Quality Journal. 2020.  

Fischer, Stefan, Leucker Martin, Lüth Christoph, Martinetz Thomas, Mildner Raimund, Nowothka Dirk, and Steinicke Frank KI-SIGS: Artificial Intelligence for the Northern German Health Ecosystem. International Symposium on Applied Artificial Intelligence (ISAAI'19). 2019.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Verification For Timed Event Streams With Partial Information. Runtime Verification (RV). 2019.  

Preusser, Thomas, Schulz Albert, Weiss Alexander, Heininger Martin, Leucker Martin, Schmitz Malte, Scheffel Torben, and Thoma Daniel Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit. 2019.  

Janß, Armin, Thorn Johannes, Schmitz Malte, Mildner Alexander, Dell’Anna-Pudlik Jasmin, Leucker Martin, and Radermacher Klaus Extended device profiles and testing procedures for the approval process of integrated medical devices using the IEEE 11073 communication standard. Biomedical Engineering / Biomedizinische Technik. 63(1):95–103. 2018.  

Decker, Normann, Dreyer Boris, Gottschling Philip, Hochberger Christian, Lange Alexander, Leucker Martin, Scheffel Torben, Wegener Simon, and Weiss Alexander Online Analysis of Debug Trace Data for Embedded Systems. Design, Automation & Test in Europe Conference (DATE). 2018.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. ACM Symposium on Applied Computing (SAC). 2018.  

Convent, Lukas, Hungerecker Sebastian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel TeSSLa: Temporal Stream-Based Specification Language. Brazilian Symposium on Formal Methods SBMF. Lecture Notes in Computer Science 11254 2018.  

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

Jakšić, Svetlana, Leucker Martin, Li Dan, Stolz Volker, Reger Giles, and Havelund Klaus COEMS – open traces from the industry. RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Kalpa Publications in Computing 3 2017.  

Decker, Normann, Habermehl Peter, Leucker Martin, Sangnier Arnaud, and Thoma Daniel Model-Checking Counting Temporal Logics on Flat Structures. 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs) 85 2017.  

Decker, Normann, Gottschling Philip, Hochberger Christian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Weiss Alexander Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. 20th Brazilian Symposium on Formal Methods (SBMF). LNCS 2017.  

Scheffel, Torben, Hungerecker Sebastian, Leucker Martin, Schmitz Malte, and Thoma Daniel TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams. Report from Dagstuhl Seminar. Vol. 7, Issue 11, pp. 59–85 2017.  

Macias, Fernando, Scheffel Torben, Schmitz Malte, Wang Rui, Leucker Martin, Rutle Adrian, and Stolz Volker Integration of Runtime Verification into Metamodeling. Nordic Workshop on Programming Theory (NWPT). 2016.  

Leucker, Martin, Stümpel A., Wolf Dietmar, and Huber Dominik Konzept zur IT-Ausstattung an Lübecker Schulen. 2016.  

Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring modulo theories. International Journal on Software Tools for Technology Transfer. 18(2):205-225. 2016.  

Leucker, Martin, Schmitz Malte, and Tellinghusen Danilo à Runtime Verification for Interconnected Medical Devices. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}. Lecture Notes in Computer Science 9953 2016.  

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

Leucker, Martin, and Schmitz Malte Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.. CEUR-WS 1337 2015.  

Busshaus, Timm, Fischer Stefan, Kühn Franziska, Leucker Martin, Mildner Alexander, and Schmitz Malte Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente – Technologietransfer im CMSSE. Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. LNI 239 2015.  

Sachenbacher, Martin, Blankenburg Martin, and Leucker Martin CeLiM: Centralized Runtime Monitoring of Lithium-Ion Battery Packs. International Workshop on Principles of Diagnosis (DX'14). 2014.  

Leucker, Martin Challenges for the Dynamic Interconnection of Medical Devices. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}. Lecture Notes in Computer Science 8803 2014.  

Cordy, Maxime, Heymans Patrick, Legay Axel, Schobbens Pierre-Yves, Dawagne Bruno, and Leucker Martin Counterexample guided abstraction refinement of product-line behavioural models. Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. 2014.  

Schönfelder, René, Leucker Martin, and Walther Sebastian Efficient Profile Routing for Electric Vehicles. Internet of Vehicles – Technologies and Services. 2014.  

Moszkowski, Ben C., Guelev Dimitar P., and Leucker Martin Guest editors' preface to special issue on interval temporal logics. Ann. Math. Artif. Intell.. 71 :1-9. 2014.  

Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Learning Transparent Data Automata. Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014. LNCS 8489 2014.  

Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring Modulo Theories. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. LNCS 8413 2014.  

Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. CoRR. abs/1404.6064 2014.  

Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. Concurrency Theory - 25th International Conference, CONCUR 2014. LNCS 8704 2014.  

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

Benedikt Bollig, Habermehl Peter, Leucker Martin, and Monmege Benjamin A Robust Class of Data Languages and an Application to Learning. Logical Methods in Computer Science. 10 2014.  

Diekert, Volker, and Leucker Martin Topology, monitorable properties and runtime verification. Theor. Comput. Sci.. 537 :29–41. 2014.  

Benedikt Bollig, Habermehl Peter, Leucker Martin, and Monmege Benjamin A Fresh Approach to Learning Register Automata. Developments in Language Theory (DLT'13). Lecture Notes of Computer Science 7907 2013.  

Decker, Normann, Leucker Martin, and Thoma Daniel Impartiality and Anticipation for Monitoring of Visibly Context-free Properties. Runtime Verification 2013. Lecture Notes in Computer Science 8174, pp. 183--200 2013.  

Decker, Normann, Leucker Martin, and Thoma Daniel jUnitRV - Adding Runtime Verification to jUnit. NASA Formal Methods. LNCS 7871 2013.  

Kühn, Franziska, and Leucker Martin OR.NET: Safe Interconnection of Medical Devices - (Position Paper). FHIES 2013. Lecture Notes in Computer Science 8315, pp. 188-198 2013.  

Fischer, Stefan, and Leucker Martin Runtime Verification and Reflection for Wireless Sensor Networks. SESENA. 2013.  

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

Schaefer, Ina, Lochau Malte, and Leucker Martin Approaches for Mastering Change. ISoLA. Lecture Notes in Computer Science 7609 2012.  

Leucker, Martin, and Thoma Daniel A Formal Approach to Software Product Families. ISoLA. Lecture Notes in Computer Science 7609 2012.  

Benedikt Bollig, Decker Normann, and Leucker Martin Frequency Linear-time Temporal Logic. Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). 2012.  

Leucker, Martin, and Neider Daniel Learning Minimal Deterministic Automata from Inexperienced Teachers. ISoLA. Lecture Notes in Computer Science 7609 2012.  

Leucker, Martin Sliding between model checking and runtime verification. Proceedings of the 3rd International Conference on Runtime Verification. Lecture Notes in Computer Science 2012.  

Leucker, Martin Teaching Runtime Verification. Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. 2012.  

Joost-Pieter Katoen, Klink Daniel, Leucker Martin, and Wolf Verena Three-valued abstraction for probabilistic systems. Journal of Algebraic and Logic Programming (JLAP). 81(4):34. 2012.  

Sachenbacher, Martin, Mayer Tobias, Leucker Martin, Brand Martin, and Jossen Andreas Towards 2nd-Life Application of Lithium-Ion Batteries for Stationary Energy Storage in Photovoltaic Systems. Incosol'12. 2012.  

Sachenbacher, Martin, Leucker Martin, Artmeier Andreas, and Haselmayr Julian Efficient Energy-Optimal Routing for Electric Vehicles. AAAI Conference on Artificial Intelligence, Special Track on Computational Sustainability. 2011.  

Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. TIME. 2011.  

Zhang, Xian, Leucker Martin, and Dong Wei An event pattern language for runtime monitoring based on AOP. 6th International Conference for Internet Technology and Secured Transactions, ICITST 2011, Abu Dhabi, UAE, December 11-14, 2011. 2011.  

Benavides, David, Leucker Martin, Becker Martin, Rabiser Rick, Villela Karina, and Wong Peter Y. H. Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. 2011.  

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

Bauer, Andreas, Leucker Martin, and Schallhart Christian Runtime Verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology (TOSEM). 20(4):14. 2011.  

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

Bauer, Andreas, and Leucker Martin The Theory and Practice of SALT. NASA Formal Methods. Lecture Notes in Computer Science 6617 :13-40. 2011.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Comparing LTL Semantics for Runtime Verification. Journal of Logic and Computation. 20 :651–674. 2010.  

Bauer, Andreas, Leucker Martin, Schallhart Christian, and Tautschnig Michael Don't care in SMT–-Building flexible yet efficient abstraction/refinement solvers. Software Tools for Technology Transfer (STTT). 12 :23–37. 2010.  

Benedikt Bollig, Joost-Pieter Katoen, Kern Carsten, and Leucker Martin Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering (TSE). 36 :390–408. 2010.  

Grinchtein, Olga, Jonsson Bengt, and Leucker Martin Learning of Event-Recording Automata. Theoretical Computer Science. 411 :4029–4054. 2010.  

Esparza, Javier, Leucker Martin, and Schlund Maximilian Learning Workflow Petri Nets. Proceedings of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets'10). Lecture Notes in Computer Science 6128 2010.  

Benedikt Bollig, Joost-Pieter Katoen, Kern Carsten, Leucker Martin, Neider Daniel, and Piegdon David libalf: the Automata Learning Framework. Proceedings of the 22nd International Conference on Computer-Aided Verification (CAV'10). Lecture Notes in Computer Science 6174 :360–364. 2010.  

Sánchez, César, and Leucker Martin Regular Linear Temporal Logic with Past. Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'10). Lecture Notes in Computer Science 5944 :295–311. 2010.  

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

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

Benedikt Bollig, Habermehl Peter, Kern Carsten, and Leucker Martin Angluin-Style Learning of NFA. 21st International Joint Conference on Artifical Intelligence ({IJCAI'09}). 2009.  

Leucker, Martin, and Schallhart Christian A Brief Account of Runtime Verification. Journal of Logic and Algebraic Programming. 78 :293-303. 2009.  

Campetelli, Alarico, Gruler Alexander, Leucker Martin, and Thoma Daniel Don't know for Multi-valued Systems. Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09). 5799 :289–305. 2009.  

Proceedings of the 6^th International Colloquium on Theoretical Aspects of Computing (ICTAC'09). 5684 2009.  

Joost-Pieter Katoen, Klink Daniel, Leucker Martin, and Wolf Verena Abstraction for Stochastic Systems by Erlang's Method of Stages. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08). Lecture Notes in Computer Science 5201 2008.  

Benedikt Bollig, Habermehl Peter, Kern Carsten, and Leucker Martin Angluin-Style Learning of NFA. 2008.  

Gruler, Alexander, Leucker Martin, and Scheidemann Kathrin Calculating and Modeling Common Parts of Software Product Lines. Proceedings of the 12th International Software Productlines Conference (SPLC'08). 2008.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian The good, the bad, and the ugly–-\\but how ugly is ugly? 2008.  

Dong, Wei, Leucker Martin, and Schallhart Christian Impartial Anticipation in Runtime Verification. Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08). 5311 2008.  

Gruler, Alexander, Leucker Martin, and Scheidemann Kathrin Modeling and Model Checking Software Product Lines. Proceedings of the 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08). Lecture Notes in Computer Science 5051 :113–131. 2008.  

Grinchtein, Olga, and Leucker Martin Network Invariants for Real-time Systems. Formal Aspects of Computing. 20 :619–635. 2008.  

Proceedings of the 8^th International Workshop on Runtime Verification (RV'08). 5289 2008.  

Benedikt Bollig, Joost-Pieter Katoen, Kern Carsten, and Leucker Martin SMA–-The Smyle Modeling Approach. 3rd {IFIP} {TC2} Central and East European Conference on Software Engineering Techniques ({CEE-SET}'08). 2008.  

Benedikt Bollig, Joost-Pieter Katoen, Kern Carsten, and Leucker Martin SMA–-The Smyle Modeling Approach. 2008.  

Benedikt Bollig, Joost-Pieter Katoen, Kern Carsten, and Leucker Martin Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning. Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08). Lecture Notes in Computer Science 5201 2008.  

Bauer, Andreas, Leucker Martin, Schallhart Christian, and Tautschnig Michael Don't care in SMT–-Building flexible yet efficient abstraction/refinement solvers. Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'07). RNTI, Revue des Nouvelles Technologies de l'Information 2007.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian The Good, the Bad, and the Ugly–-But how Ugly is Ugly? Proceedings of the 7th International Workshop on Runtime Verification (RV'07). Lecture Notes in Computer Science 4839 :126–138. 2007.  

Leucker, Martin Learning meets Verification. Lecture Notes in Computer Science. 4709 :127-151. 2007.  

Margaria, Tiziana, Raffelt Harald, Steffen Bernhard, and Leucker Martin The LearnLib in FMICS-jETI. The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007). :340–352. 2007.  

Barnat, Jiř\'ı, Brim Luboš, and Leucker Martin Parallel Model Checking and the FMICS-jETI Platform. The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007). :330–339. 2007.  

Leucker, Martin, and Sánchez César Regular Linear Temporal Logic. Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07). Lecture Notes in Computer Science 4711 :291–305. 2007.  

Benedikt Bollig, Joost-Pieter Katoen, Kern Carsten, and Leucker Martin Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. {P}roceedings of the 13th {I}nternational {C}onference on {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis of {S}ystems ({TACAS}'07). Lecture Notes in Computer Science 4424 2007.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Runtime Verification for LTL and TLTL. 2007.  

Joost-Pieter Katoen, Klink Daniel, Leucker Martin, and Wolf Verena Three-Valued Abstraction for Continuous-Time Markov Chains. Proceedings of 19th International Conference on Computer-Aided Verification (CAV'07). Lecture Notes in Computer Science 4590 :316–329. 2007.  

Grumberg, Orna, Lange Martin, Leucker Martin, and Shoham Sharon When Not Losing Is Better than Winning: Abstraction and Refinement for the Full μ-Calculus. Information and Computation. 205 :1130–1148. 2007.  

Fecher, Harald, Leucker Martin, and Wolf Verena Don't know in probabilistic systems. 13th International SPIN Workshop on Model Checking of Software {(SPIN'06)}. Lecture Notes in Computer Science 3925 2006.  

Brim, Lubos, and Leucker Martin Foreword–-Special Issue on Parallel and Distributed Model Checking. Lecture Notes in Computer Science. 29 2006.  

Formal Methods: Applications and Technology. Proceedings of FMICS + PDMC 2006. Lecture Notes in Computer Science. 4346 2006.  

Grinchtein, Olga, Leucker Martin, and Piterman Nir Inferring Network Invariants Automatically. Proceedings of the 3rd International Joint Conference on Automated Reasoning {(IJCAR'06)}. Lecture Notes in Artificial Itelligence 4130 2006.  

Grinchtein, Olga, and Leucker Martin Learning Finite-State Machines from Inexperienced Teachers. Grammatical Inference: Algorithms and Applications, 8th International Colloquium, {ICGI 2006}. Lecture Notes in Computer Science 4201 2006.  

Benedikt Bollig, and Leucker Martin Message-Passing Automata are expressively equivalent to EMSO Logic. Theoretical Computer Science. 358 :150–172. 2006.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Model-based runtime analysis of distributed reactive systems. Proceedings of the Australian Software Engineering Conference (ASWEC'06). :243–252. 2006.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Model-based runtime analysis of distributed reactive systems. 17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia. 2006.  

Bauer, Andreas, Leucker Martin, and Schallhart Christian Monitoring of real-time properties. Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06). Lecture Notes in Computer Science 4337 2006.  

Proceedings of the 4th Workshop on Parallel and Distributed Methods for Verification. Electronic Notes in Computer Science. 135/2 2006.  

Bauer, Andreas, Leucker Martin, and Streit Jonathan SALT–-Structured Assertion Language for Temporal Logic. Proceedings of the Eighth International Conference on Formal Engineering Methods. Lecture Notes in Computer Science 4260 2006.  

Berg, Therese, Grinchtein Olga, Jonsson Bengt, Leucker Martin, Raffelt Harald, and Steffen Bernhard On the Correspondence between Conformance Testing and Regular Inference. Fundamental Approaches to Software Engineering, FASE'05. Lecture Notes in Computer Science 3442 :175–189. 2005.  

Fecher, Harald, Leucker Martin, and Wolf Verena Don't know in probabilistic systems. 2005.  

Grumberg, Orna, Lange Martin, Leucker Martin, and Shoham Sharon Don't know in the μ-calculus. Proceedings of the 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'05). Lecture Notes in Computer Science 3385 2005.  

Leucker, Martin, Noll Thomas, Stevens Perdita, and Weber Michael Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell. Software Tools for Technology Transfer (STTT). 7 :184–194. 2005.  

Benedikt Bollig, and Leucker Martin A Hierarchy of Implementable MSC Languages. Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05). Lecture Notes in Computer Science 3731 2005.  

Model-based Testing of Reactive Systems. Lecture Notes in Computer Science. 3472 2005.  

Proceedings of the 3rd Workshop on Parallel and Distributed Methods for Verification. Electronic Notes in Computer Science. 128/3 2005.  

Arafat, Oliver, Bauer Andreas, Leucker Martin, and Schallhart Christian Runtime verification revisited. Technical report TUM-I0518, Institut für Informatik, Technische Universität München. 2005.  

Baier, Christel, Größer Marcus, Leucker Martin, Benedikt Bollig, and Ciesinski Frank Controller Synthesis for Probabilistic Systems. Proceedings of the IFIP International Conference on Theoretical Computer Science, IFIP TCS2004. 2004.  

Grinchtein, Olga, Jonsson Bengt, and Leucker Martin Inference of Timed Transition Systems. 6th International Workshop on Verification of Infinite-State Systems. Electronic Notes in Theoretical Computer Science 138/4 2004.  

Grinchtein, Olga, Jonsson Bengt, and Leucker Martin Learning of Event-Recording Automata. Proceedings of the Joint Conferences {FORMATS} and {FTRTFT}. Lecture Notes in Computer Science 3253 2004.  

Benedikt Bollig, and Leucker Martin Message-Passing Automata are expressively equivalent to EMSO Logic. Proceedings of the 15th International Conference on Concurrency Theory (CONCUR'04). Lecture Notes in Computer Science 2004.  

Grinchtein, Olga, and Leucker Martin Network Invariants for Real-time Systems. 5th International Workshop on Verification of Infinite-State Systems. Electronic Notes in Theoretical Computer Science 98 :57–74. 2004.  

Holmén, Fredrik, Leucker Martin, and Lindström Marcus UppDMC – A Distributed Model Checker for Fragments of the μ-calculus. Proceedings of the $3rd$ Workshop on Parallel and Distributed Methods for Verification. Electronic Notes in Computer Science 128/3 2004.  

Benedikt Bollig, and Leucker Martin Verifying Qualitative Properties of Probabilistic Programs. Validation of Stochastic Systems. Lecture Notes in Computer Science 2925 :124–146. 2004.  

Benedikt Bollig, and Leucker Martin Deciding LTL over Mazurkiewicz Traces. Data & Knowledge Engineering. 44/2 :221–240. 2003.  

Berg, Therese, Jonsson Bengt, Leucker Martin, and Saksena Mayank Insights to Angluin's Learning. Proceedings of the International Workshop on Software Verification and Validation (SVV 2003). Electronic Notes in Theoretical Computer Science 118 :3–18. 2003.  

Berg, Therese, Jonsson Bengt, Leucker Martin, and Saksena Mayank Insights to Angluin's Learning. 2003.  

Benedikt Bollig, and Leucker Martin Model checking Probabilistic Distributed Systems. Proceedings of the 8th Asian Computing Science Conference ({ASIAN'03}). Lecture Notes in Computer Science 2896 :291–304. 2003.  

Leucker, Martin, Somla Rafal, and Weber Michael Parallel Model Checking for LTL, CTL^\ast and L_μ^2. Electronic Notes in Theoretical Computer Science. 89 2003.  

Leucker, Martin, Madhusudan P., and Mukhopadhyay Supratik Dynamic Message Sequence Charts. Proceedings of 22nd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'02). Lecture Notes in Computer Science 2556 2002.  

Benedikt Bollig, Leucker Martin, and Lucas Philipp Extending Compositional Message Sequence Graphs. Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR'02}). Lecture Notes in Artificial Intelligence 2514 :68–85. 2002.  

Benedikt Bollig, Leucker Martin, and Lucas Philipp Extending Compositional Message Sequence Graphs. 2002.  

Benedikt Bollig, Leucker Martin, and Noll Thomas Generalised Regular MSC Languages. 2002.  

Benedikt Bollig, Leucker Martin, and Noll Thomas Generalised Regular MSC Languages. Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS '02). Lecture Notes in Computer Science 2303 :52–66. 2002.  

Benedikt Bollig, Leucker Martin, and Weber Michael Local Parallel Model Checking for the Alternation-Free mu-Calculus. Proceedings of the 9th International SPIN Workshop on Model checking of Software (SPIN '02). Lecture Notes in Computer Science 2318 2002.  

Leucker, Martin Logics for Mazurkiewicz traces. 2002.  

Leucker, Martin Prefix-Recognizable Graphs and Monadic Logic. Automata, Logics and Infinite Games. Lecture Notes in Computer Science 2500 :263–283. 2002.  

Benedikt Bollig, and Leucker Martin Deciding LTL over Mazurkiewicz Traces. Proceedings of the Symposium on Temporal Representation and Reasoning {(TIME'01)}. :189–197. 2001.  

Benedikt Bollig, and Leucker Martin Deciding LTL over Mazurkiewicz traces. 2001.  

Leucker, Martin, and Noll Thomas A Distributed Model Checking Tool Tailored to Erlang. Proceedings of the Erlang Workshop. 2001.  

Leucker, Martin, Noll Thomas, Stevens Perdita, and Weber Michael Functional programming languages for verification tools: experiences with ML and Haskell. Proceedings of the 3rd Scottish Functional Programming Workshop. 2001.  

Benedikt Bollig, Leucker Martin, and Weber Michael Local Parallel Model Checking for the Alternation Free μ–Calculus. 2001.  

Benedikt Bollig, and Leucker Martin Modelling, Specifying, and Verifying Message Passing Systems. Proceedings of the Symposium on Temporal Representation and Reasoning {(TIME'01)}. :240–248. 2001.  

Benedikt Bollig, Leucker Martin, and Weber Michael Parallel Model Checking for the Alternation Free μ-Calculus. Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01). Lecture Notes in Computer Science 2031 :543–558. 2001.  

Benedikt Bollig, Leucker Martin, and Noll Thomas Regular MSC Languages. 2001.  

Leucker, Martin, and Noll Thomas Truth/SLC - A Parallel Verification Platform for Concurrent Systems. Proceedings of the 13th Conference on Computer-Aided Verification (CAV'01). Lecture Notes in Computer Science 2102 :255–259. 2001.  

Benedikt Bollig, Henriksen J., and Leucker Martin Deciding LTL over Mazurkiewicz Traces. Theorietag 2000 mit Workshop ``New Computing Paradigms: Molecular Computing and Quantum Computing''. :167–174. 2000.  

Leucker, Martin On model checking synchronised hardware circuits. Proceedings of the 6th Asian Computing Science Conference ({ASIAN'00}). Lecture Notes in Computer Science 1961 :182–198. 2000.  

Leucker, Martin Parallel Model Checking for the Alternation-Free Mu-Calculus. FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification. 2000-07 :135–140. 2000.  

Leucker, Martin, and Noll Thomas Rewriting Logic as a Framework for Generic Verification Tools. Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA'00). Electronic Notes in Theoretical Computer Science 36 2000.  

Leucker, Martin, and Noll Thomas Truth - A Real-World Application in Haskell. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL'00). Aachener Informatik Berichte :363–380. 2000.  

Henriksen, J., and Leucker Martin The Automata-Theoretic Approach Works for Global Trace Logics. Proceedings of the 11th Nordic Workshop on Programming Theory. 1999.  

Leucker, Martin Erfüllbarkeit globaler Spurlogiken mittels alternierender Automaten. 9. Theorietag der GI–Fachgruppe 0.1.5 ``Automaten und Formale Sprachen''. Preprint 12/99 :46–47. 1999.  

Leucker, Martin Model Checking Games for the Alternation Free mu-Calculus and Alternating Automata. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning "(LPAR'99)". Lecture Notes in Artificial Intelligence 1705 :77–91. 1999.  

Leucker, Martin, and Noll T. Rapid Prototyping of Specification Language Implementations. Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping. :60–65. 1999.  

M. Lange, Leucker Martin, T. Noll, and S. Tobies Truth – A Verification Platform for Concurrent Systems. Tool Support for System Specification, Development, and Verification. Advances in Computing Science 1999.  

Baader, F., and Leucker Martin Comparison of two Semantic Approaches to Unification. Proceedings of the 12th International Workshop on Unification. Research Report 1998.  

Lange, Martin, and Leucker Martin Effizientes Spielbasiertes Model Checking für den Alternierungsfreien mu-Kalkül. 8. Theorietag der GI–Fachgruppe 0.1.5 ``Automaten und Formale Sprachen''. Forschungsbericht 98–17 1998.  

Leucker, Martin Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems. 1998.  

M. Lange, Leucker Martin, T. Noll, and S. Tobies Truth – A Verification Platform for Concurrent Systems. Proceedings of Tools'98. 1998.  

Leucker, Martin, and Tobies Stephan Truth–-A Platform for Verification of Distributed Systems. 1998.  

Leucker, Martin Comparison of two semantic approaches to unification. 1996.