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) |
|
|
|
|
Publications
2010
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering, , 2010. |
2009
|
| Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-Style Learning of NFA. In Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09). pages 1004–1009. AAAI Press, 2009. | |
|
| Carsten Kern. Angluin-style learning of NFA. Talk, IJCAI 2009 (Pasadena, CA, USA), 2009. Conference Presentation. | |
|
| Carsten Kern. Learning Communicating and Nondeterministic Automata. PhD Thesis, RWTH Aachen University, 2009. | |
|
| Carsten Kern. Learning Communicating and Nondeterministic Automata. Talk, RWTH Aachen University, 2009. Oberseminar. | |
|
| Carsten Kern. Learning Communicating and Nondeterministic Automata. PhD Thesis, RWTH Aachen University, 2009. |
2008
|
| Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, and Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning. In 19th International Conference on Concurrency Theory (CONCUR’08). pages 162–166. Volume 5201 of LNCS. Springer, 2008. | |
|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—the Smyle modeling approach. Technical Report TUM-I0820, TU München, 2008. | |
|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. SMA—The Smyle Modeling Approach. In Proceedings 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET). LNCS. 2008. | |
|
| Carsten Kern. Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. Talk, CONCUR’08 (Toronto, Canadal), 2008. | |
|
| Carsten Kern. SMA—The Smyle Modeling Approach. Talk, CEE-SET’08 (Brno, Czech Republic), 2008. | |
|
| Benedikt Bollig, Peter Habermehl, Carsten Kern, and Martin Leucker. Angluin-Style Learning of NFA. Technical Report LSV-08-28, Laboratoire Spécification et Vérification, ENS Cachan, France, 2008. |
2007
|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 435–450. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007. | |
|
| Carsten Kern. Synthesizing Design Models from Scenarios by Learning. Talk, Workshop Programmiersprachen und Rechenkonzepte (Bad Honnef), 2007. | |
|
| Carsten Kern. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Talk, TACAS’07 (Braga, Portugal), 2007. | |
|
| Carsten Kern. Smyle - Synthesis of Design Models from Scenarios by Learning. Talk, Kolloquium Programmiersprachen und Grundlagen der Programmierung (Timmendorfer Strand), 2007. |
2006
|
| Benedikt Bollig, Carsten Kern, Markus Schlütter, and Volker Stolz. MSCan - A Tool for Analyzing MSC Specifications. In Proceedings of the 12th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’06). pages 455–458. Volume 3920 of Lecture Notes in Computer Science. Springer, 2006. | |
|
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, and Martin Leucker. Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. Technical Report AIB-2006-12, RWTH Aachen, 2006. | |
|
| Carsten Kern. MSCan - A Tool for Analyzing MSC Specifications. Talk, TACAS 2006 (Wien), 2006. Conference Presentation. | |
|
| Carsten Kern. Synthesis of Design Models from Scenarios by Learning. Talk, RWTH Aachen University, 2006. Doctoral Symposium. |
2005
|
| Carsten Kern. Analysis and Imlementations of MSC Specifications. In IFM2005 Doctoral Symposium on Integrated Formal Methods. pages 55–61. Technische universiteit eindhoven: Computer Science-Report 05-29. Judi Romijn, Graeme Smith, Jaco van de Pol, 2005. | |
|
| Carsten Kern. MSCan - Ein Tool zur Analyse von Message Sequence Charts. Diploma Thesis, 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
