Recent publications

• César Sánchez and Martin Leucker. Regular linear temporal logic with past. In Gilles Barthe and Manuel Hermenegildo, editors, Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'10), volume 5944 of Lecture Notes in Computer Science, pages 295–311. Springer, 2010. (PDF) (bibtex)

• Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Learning communicating automata from MSCs. IEEE Transactions on Software Engineering (TSE), 2009. in press. (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Christian Schallhart. Runtime verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology (TOSEM), 2009. in press. (PDF) (bibtex)

• Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—the smyle modeling approach. Computing and Informatics, 2009. in press. (PDF) (bibtex)

• Martin Leucker and Carroll Morgan, editors. Proceedings of the 6^th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), volume 5684 of Lecture Notes in Computer Science. Springer, August 2009. (bibtex)

• Alarico Campetelli, Alexander Gruler, Martin Leucker, and Daniel Thoma. Don't know for multi-valued systems. In Zhiming Liu and Anders P. Ravn, editors, Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), volume 5799 of Lecture Notes in Computer Science, pages 289–305. Springer, 2009. to appear. (PDF) (bibtex)

• Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-style learning of NFA. In 21st International Joint Conference on Artifical Intelligence (IJCAI'09), July 2009. (bibtex). see also [LSV:08:28]

• Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-style learning of NFA. Research Report LSV-08-28, Laboratoire Spécification et Vérification, ENS Cachan, France, October 2008. 30 pages. (bibtex)

• Martin Leucker, editor. Proceedings of the 8^th International Workshop on Runtime Verification (RV'08), volume 5289 of Lecture Notes in Computer Science. Springer, March 2008. (bibtex)

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

• Martin Leucker and Christian Schallhart. A brief account of runtime verification. Journal of Logic and Algebraic Programming, 78(5):293–303, may/june 2009. (PDF) (bibtex)

• Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—the Smyle modeling approach. In 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET'08), 2008. nominated for best-paper award, to appear. (bibtex). see also [BKKL08TR]

• Wei Dong, Martin Leucker, and Christian Schallhart. Impartial anticipation in runtime verification. In Moonzoo Kim and Mahesh Viswanathan, editors, Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), volume 5311 of Lecture Notes in Computer Science. Springer, 2008. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Christian Schallhart. Comparing LTL semantics for runtime verification. Journal of Logic and Computation, 2008. in press. (PostScript) (PDF) (bibtex). see also [LeuckerBS08TR]

• Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Smyle: a tool for synthesizing distributed models from scenarios by learning. In Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), volume 5201 of Lecture Notes in Computer Science, Toronto, Canada, August 2008. Springer. (PDF) (bibtex)

• Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for stochastic systems by Erlang's method of stages. In Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), volume 5201 of Lecture Notes in Computer Science, Toronto, Canada, August 2008. Springer. (PDF) (bibtex)

• Alexander Gruler, Martin Leucker, and Kathrin Scheidemann. Calculating and modeling common parts of software product lines. In Proceedings of the 12th International Software Productlines Conference (SPLC'08), Limerick, Ireland, September 2008. IEEE. (bibtex) (abstract)

• Alexander Gruler, Martin Leucker, and Kathrin Scheidemann. Modeling and model checking software product lines. In Proceedings of the 10th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'08), volume 5051 of Lecture Notes in Computer Science, pages 113–131, Oslo, Norway, June 2008. Springer-Verlag. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Christian Schallhart. The good, the bad, and the ugly—but how ugly is ugly?. Technical Report TUM-I0803, TU München, 2008. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Christian Schallhart. Runtime verification for LTL and TLTL. Technical Report TUM-I0724, TU München, 2007. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig. Don't care in SMT—building flexible yet efficient abstraction/refinement solvers. In 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, France, December 2007. (PostScript) (PDF) (bibtex)

• Martin Leucker. Learning meets verification. volume 4709 of Lecture Notes in Computer Science, pages 127–151. Springer, 2007. (PostScript) (PDF) (bibtex)

• Martin Leucker and César Sánchez. Regular linear temporal logic. In C. B. Jones, Z. Liu, and J. Woodcock, editors, Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07), volume 4711 of Lecture Notes in Computer Science, pages 291–305. Springer, 2007. (PostScript) (PDF) (bibtex)

• Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-valued abstraction for continuous-time Markov chains. In Werner Damm and Holger Herrmanns, editors, Proceedings of 19th International Conference on Computer-Aided Verification (CAV'07), volume 4590 of Lecture Notes in Computer Science, pages 316–329. Springer, 2007. (PostScript) (PDF) (bibtex)

• Tiziana Margaria, Harald Raffelt, Bernhard Steffen, and Martin Leucker. The LearnLib in FMICS-jETI. In The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007), pages 340–352. IEEE Computer Society Press, 2007. (PostScript) (PDF) (bibtex)

• Jirí Barnat, Lubos Brim, and Martin Leucker. Parallel model checking and the FMICS-jETI platform. In The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007), pages 330–339. IEEE Computer Society Press, 2007. (PostScript) (PDF) (bibtex)

• Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying play in and play out: Synthesis of design models from scenarios by learning. In Orna Grumberg and Michael Huth, editors, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'07), volume 4424 of Lecture Notes in Computer Science, Braga, Portugal, March 2007. Springer. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Christian Schallhart. The good, the bad, and the ugly—but how ugly is ugly?. In Proceedings of the 7th International Workshop on Runtime Verification (RV'07), volume 4839 of Lecture Notes in Computer Science, pages 126–138, Vancouver, Canada, December 2007. Springer-Verlag. (PostScript) (PDF) (bibtex)

• Orna Grumberg, Martin Lange, Martin Leucker, and Sharon Shoham. When not losing is better than winning: Abstraction and refinement for the full μ-calculus. Information and Computation, 205(8):1130–1148, aug 2007. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Christian Schallhart. Monitoring of real-time properties. In Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), volume 4337 of Lecture Notes in Computer Science, Kolkata, India, December 2006. Springer-Verlag. (PostScript) (PDF) (bibtex)

• Andreas Bauer, Martin Leucker, and Jonathan Streit. SALT—structured assertion language for temporal logic. In Proceedings of the Eighth International Conference on Formal Engineering Methods, volume 4260 of Lecture Notes in Computer Science, September 2006. (PostScript) (PDF) (bibtex) (abstract)

• Olga Grinchtein, Martin Leucker, and Nir Piterman. Inferring network invariants automatically. In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Itelligence, September 2006. (PostScript) (PDF) (bibtex) (abstract)

• Harald Fecher, Martin Leucker, and Verena Wolf. Don't know in probabilistic systems. In Antti Valmari, editor, 13th International SPIN Workshop on Model Checking of Software (SPIN'06), volume 3925 of Lecture Notes in Computer Science. Springer, 2006. (PostScript) (PDF) (bibtex). see also [LeuckerFW06TR]