Info about Carsten Kern


I am a PhD student at the Software Modelling and Verification (MOVES) group at RWTH Aachen University. I am also involved in the DFG Research Training Group (Graduiertenkolleg) AlgoSyn as collegiate.

 

E-Mail:

 



Phone:

+49-241/80-21210

Fax:

+49-241/80-22217

Postal Address:

Carsten Kern

Lehrstuhl für Informatik 2

RWTH Aachen

D-52056 Aachen

Germany

Visiting Address:

Room 4206

Ahornstraße 55

D-52074 Aachen


Current Research
  • Analysis of Message Sequence Charts
  • Algorithmic learning
  • Synthesis of design models
  • Live Sequence Charts

Projects


Talks

n/a     

(best presentation award)

n/a

n/a

      

   



Tool section
(New)
  • libalf, an Automata Learning Framework library
  • Smyle, a tool for synthesizing models by learning from examples
  • MSCan, a tool for analyzing Message Sequence Charts (MSCs)

Publications

2011
DownloadBenedikt 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
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering, Volume 36, pages 390–408, 2010.
DownloadBenedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA: The Smyle Modeling Approach. Computing and Informatics, Volume 29, pages 45–72, 2010.
DownloadBenedikt 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
DownloadCarsten Kern. Learning Communicating and Nondeterministic Automata. Phd Thesis at RWTH Aachen University, 2009.
Carsten Kern. Learning Communicating and Nondeterministic Automata. Talk, RWTH Aachen University, 2009.
Carsten Kern. Angluin-style learning of NFA. Talk, IJCAI 2009 (Pasadena, CA, USA), 2009.
DownloadBenedikt 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
Carsten Kern. SMA—The Smyle Modeling Approach. Talk, CEE-SET'08 (Brno, Czech Republic), 2008.
DownloadBenedikt 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.
DownloadBenedikt 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.
Carsten Kern. Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. Talk, CONCUR'08 (Toronto, Canadal), 2008.
2007
Carsten Kern. Smyle - Synthesis of Design Models from Scenarios by Learning. Talk, Kolloquium Programmiersprachen und Grundlagen der Programmierung (Timmendorfer Strand), 2007.
Carsten Kern. Synthesizing Design Models from Scenarios by Learning. Talk, Workshop Programmiersprachen und Rechenkonzepte (Bad Honnef), 2007.
DownloadBenedikt 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.
Carsten Kern. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Talk, TACAS'07 (Braga, Portugal), 2007.
2006
Carsten Kern. Synthesis of Design Models from Scenarios by Learning. Talk, RWTH Aachen University, 2006.
DownloadBenedikt 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.
DownloadBenedikt 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.
Carsten Kern. MSCan - A Tool for Analyzing MSC Specifications. Talk, TACAS 2006 (Wien), 2006.
2005
DownloadCarsten 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.
Carsten Kern. MSCan - Ein Tool zur Analyse von Message Sequence Charts. Diploma Thesis at Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen University, 2005.

Teaching

Seminar

Practical Course

Exercises

WS 08/09

Seminar

WS 08/09

Practical Course

SS 08

Seminar (undergrad.)

SS 08

Exercises

WS 07/08

Seminar

SS 07

Practical Course

SS 07

Exercises

WS 06/07

Practical Course

SS 06

Seminar (undergrad.)

SS 06

Exercises

WS 05/06

Seminar

WS 05/06


Click here for my old personal page in the web