Publications

Publications for Martin Leucker

2012
Download
[bibtex]
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Journal on Logic and Algebraic Programming 81(4), pages 356–389, 2012.
2011
Download
[bibtex]
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA—The Smyle Modeling Approach. Proceedings 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2008), Volume 4980 of LNCS, pages 103–117, , 2011.
2010
Download
[bibtex]
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering 36(3), pages 390–408, 2010.
Download
[bibtex]
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA: The Smyle Modeling Approach. Computing and Informatics 29, pages 45–72, 2010.
Download
[bibtex]
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David Piegdon. libalf: the Automata Learning Framework. Computer-Aided Verification (CAV), Volume 6174 of LNCS, pages 360–364, Springer-Verlag, 2010.
2009
Download
[bibtex]
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA. Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), pages 1004–1009, AAAI Press, 2009.
2008
Download
[bibtex]
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker. Angluin-Style Learning of NFA. Technical report at Laboratoire Spécification et Vérification, ENS Cachan, France number LSV-08-28, 2008.
Download
[bibtex]
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages. 19th International Conference on Concurrency Theory (CONCUR'08), Volume 5201 of LNCS, pages 279–294, Springer, 2008.
Download
[bibtex]
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning. 19th International Conference on Concurrency Theory (CONCUR'08), Volume 5201 of LNCS, pages 162–166, Springer, 2008.
2007
Download
[bibtex]
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for continuous-time Markov chains. Proceedings of the 19th International Conference on Computer Aided Verification (CAV), Volume 4590 of Lecture Notes in Computer Science, pages 311–324, Springer Verlag, 2007.
Download
[bibtex]
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. 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, pages 435–450, Springer Verlag, 2007.
2006
Download
[bibtex]
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Technical report at RWTH Aachen number AIB-2006-12, 2006.
2005

[bibtex]
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner editors. Model-Based Testing of Reactive Systems (Advanced Lectures). Springer-Verlag, Volume 3472 of Lecture Notes in Computer Science, 2005.
Link
[bibtex]
Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber. Functional Programming Languages for Verification Tools: A Comparison of ML and Haskell. Software Tools for Technology Transfer 7(2), pages 184–194, 2005.
2002

[bibtex]
Benedikt Bollig, Martin Leucker, Thomas Noll. Generalized Regular MSC Languages. Proceedings 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), pages 52–66, Springer-Verlag, 2002.
2001

[bibtex]
Martin Leucker, Thomas Noll. Truth/SLC – A Parallel Verification Platform for Concurrent Systems (tool description). Proceedings 13th Conference on Computer Aided Verification (CAV 2001), pages 255–259, Springer-Verlag, 2001.

[bibtex]
Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC Languages. Technical report at RWTH Aachen University number 01-05, 2001.

[bibtex]
Martin Leucker, Thomas Noll. Rewriting Logic as a Framework for Generic Verification Tools. Proceedings of Third International Workshop on Rewriting Logic and Its Applications (WRLA 2000), Elsevier, 2001.
2000

[bibtex]
Martin Leucker, Thomas Noll. Truth – A Real-World Application in Haskell. Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), pages 363–380, RWTH Aachen University, 2000.
1999

[bibtex]
Martin Leucker, Thomas Noll. Rapid Prototyping of Specification Language Implementations. Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (RSP 1999), pages 60–65, IEEE Computer Society Press, 1999.

[bibtex]
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies. Truth – A Verification Platform for Concurrent Systems. In Rudolf Berghammer, Yassine Lakhnech editors, Tool Support for System Specification, Development, and Verification, pages 150–159, 1999.
1998

[bibtex]
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies. Truth – A Verification Platform for Concurrent Systems (extended abstract). Proceedings of Tools 1998, pages 21–26, Christian-Albrechts University of Kiel, 1998.