MSCan - A Tool for Analyzing MSC Specifications. - Benedikt Bollig; Carsten Kern; Markus Schlütter; Volker Stolz (TACAS, 2006)

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker (TACAS, 2007)

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker (CONCUR, 2008)

Angluin-Style Learning of NFA. - Benedikt Bollig; Peter Habermehl; Carsten Kern; Martin Leucker (IJCAI, 2009)

Learning communicating and nondeterministic automata. - Carsten Kern (2009)

libalf: The Automata Learning Framework. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker; Daniel Neider; David R. Piegdon (CAV, 2010)

SMA - The Smyle Modeling Approach. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker (Comput. Informatics, 2010)

Learning Communicating Automata from MSCs. - Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker (IEEE Trans. Software Eng., 2010)