Publications

Publications for Carsten Kern

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]
Carsten Kern. Learning Communicating and Nondeterministic Automata. Phd Thesis at RWTH Aachen University, 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.
2005
Download
[bibtex]
Carsten Kern. Analysis and Imlementations of MSC Specifications. IFM2005 Doctoral Symposium on Integrated Formal Methods, Volume of Technische universiteit eindhoven: Computer Science-Report 05-29, pages 55–61, Judi Romijn, Graeme Smith, Jaco van de Pol, 2005.