Publications

Publications for Benedikt Bollig

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]
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]
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.
Download
[bibtex]
Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz. MSCan - A Tool for Analyzing MSC Specifications. Proceedings of the 12th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'06), Volume 3920 of Lecture Notes in Computer Science, pages 455–458, Springer, 2006.
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]
Benedikt Bollig, Martin Leucker, Thomas Noll. Regular MSC Languages. Technical report at RWTH Aachen University number 01-05, 2001.