Publications

2017
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.  
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.  
2016
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.  
2015
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.  
2014
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.  
2013
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.  
2012
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.  
2011
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.  
2010
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.  
2009
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 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09). 5684 2009.  
2008
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 8th 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.  
2007
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.  
2006
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. 17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21 April 2006, Sydney, Australia. 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 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.  
2005
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.  
2004
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.  
2003
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.  
2002
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. 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 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.  
2001
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.  
2000
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.  
1999
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.  
1998
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.