Carsten Kern

According to our database, Carsten Kern authored at least 8 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Learning Communicating Automata from MSCs.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker

IEEE Trans. Software Eng., 2010

SMA - The Smyle Modeling Approach.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker

Comput. Informatics, 2010

libalf: The Automata Learning Framework.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Learning communicating and nondeterministic automata.

Carsten Kern

PhD thesis, 2009

Angluin-Style Learning of NFA.

Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker

Proceedings of the IJCAI 2009, 2009

2008

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

MSCan - A Tool for Analyzing MSC Specifications.

Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006