| * | 2009 |
|---|
| 4 | EE | Benedikt Bollig,
Peter Habermehl,
Carsten Kern,
Martin Leucker:
Angluin-Style Learning of NFA.
IJCAI 2009: 1004-1009 |
| 2008 |
|---|
| 3 | EE | Benedikt Bollig,
Joost-Pieter Katoen,
Carsten Kern,
Martin Leucker:
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.
CONCUR 2008: 162-166 |
| 2007 |
|---|
| 2 | EE | 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: 435-450 |
| 2006 |
|---|
| 1 | EE | Benedikt Bollig,
Carsten Kern,
Markus Schlütter,
Volker Stolz:
MSCan - A Tool for Analyzing MSC Specifications.
TACAS 2006: 455-458 |
