2010
  Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering, , 2010.

2009
 
Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-Style Learning of NFA. In Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09). pages 1004–1009. AAAI Press, 2009.

2008
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for Stochastic Systems by Erlang’s Method of Stages. In 19th International Conference on Concurrency Theory (CONCUR’08). pages 279–294. Volume 5201 of LNCS. Springer, 2008.
 
Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, and Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning. In 19th International Conference on Concurrency Theory (CONCUR’08). pages 162–166. Volume 5201 of LNCS. Springer, 2008.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Abstraction for stochastic systems by Erlang’s method of stages. Technical Report AIB-2008-12, RWTH Aachen University, 2008.
 
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—the Smyle modeling approach. Technical Report TUM-I0820, TU München, 2008.
  Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—The Smyle Modeling Approach. In Proceedings 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET). LNCS. 2008.
 
Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-Style Learning of NFA. Technical Report LSV-08-28, Laboratoire Spécification et Vérification, ENS Cachan, France, 2008.

2007
 
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 Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 435–450. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-valued abstraction for continuous-time Markov chains. In Proceedings of the 19th International Conference on Computer Aided Verification (CAV). pages 311–324. Volume 4590 of Lecture Notes in Computer Science. Springer Verlag, 2007.
 
Joost-Pieter Katoen, Daniel Klink, Martin Leucker, and Verena Wolf. Three-Valued Abstraction for Probabilistic Systems. Technical Report , RWTH Aachen University, 2007.

2006
 
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Technical Report AIB-2006-12, RWTH Aachen, 2006.

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

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

2001
  Martin Leucker, and Thomas Noll. Truth/SLC – A Parallel Verification Platform for Concurrent Systems (tool description). In Proceedings 13th Conference on Computer Aided Verification (CAV’01). pages 255–259. Springer-Verlag, 2001.
  Benedikt Bollig, Martin Leucker, and Thomas Noll. Regular MSC Languages. Technical Report 01-05, RWTH Aachen University, 2001.
  Martin Leucker, and Thomas Noll. Rewriting Logic as a Framework for Generic Verification Tools. In Proceedings of Third International Workshop on Rewriting Logic and Its Applications (WRLA’00). Elsevier, 2001.

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

1999
  Martin Leucker, and Thomas Noll. Rapid Prototyping of Specification Language Implementations. In Proceedings of the 10th IEEE International Workshop on Rapid System Prototyping (RSP’99). pages 60–65. IEEE Computer Society Press, 1999.
  Martin Lange, Martin Leucker, Thomas Noll, and Stephan Tobies. Truth – A Verification Platform for Concurrent Systems. In Tool Support for System Specification, Development, and Verification. pages 150–159. Springer-Verlag Wien, 1999.

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