Carsten Kern

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon
libalf: The Automata Learning Framework. CAV (2010)
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Learning Communicating Automata from MSCs. IEEE Trans. Software Eng. 36 (3) (2010)
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
SMA - The Smyle Modeling Approach. Comput. Informatics 29 (1) (2010)
Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker
Angluin-Style Learning of NFA. IJCAI (2009)
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
SMA - The Smyle Modeling Approach. CEE-SET (2008)
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. CONCUR (2008)
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. TACAS (2007)
Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz
MSCan - A Tool for Analyzing MSC Specifications. TACAS (2006)