Publications of Author

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

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.

		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.

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.

		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.

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.

Benedikt Bollig, Martin Leucker, and Thomas Noll. Regular MSC Languages. Technical Report 01-05, RWTH Aachen University, 2001.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)