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.
  Carsten Kern. Learning Communicating and Nondeterministic Automata. PhD Thesis, RWTH Aachen University, 2009.

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.
 
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.

2006
 
Benedikt Bollig, Carsten Kern, Markus Schlütter, and Volker Stolz. MSCan - A Tool for Analyzing MSC Specifications. In Proceedings of the 12th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’06). pages 455–458. Volume 3920 of Lecture Notes in Computer Science. Springer, 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
 
Carsten Kern. Analysis and Imlementations of MSC Specifications. In IFM2005 Doctoral Symposium on Integrated Formal Methods. pages 55–61. Technische universiteit eindhoven: Computer Science-Report 05-29. Judi Romijn, Graeme Smith, Jaco van de Pol, 2005.
  Carsten Kern. MSCan - Ein Tool zur Analyse von Message Sequence Charts. Diploma Thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen University, 2005.