| 2008 | FASE | Regular Inference for State Machines Using Domains with Equality Tests. | Therese Berg, Bengt Jonsson, Harald Raffelt |
| 2008 | ISSTA | Hybrid test of web applications with webtest. | Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten |
| 2007 | ICECCS | The LearnLib in FMICS-jETI. | Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker |
| 2006 | FASE | Regular Inference for State Machines with Parameters. | Therese Berg, Bengt Jonsson, Harald Raffelt |
| 2006 | FASE | LearnLib: A Library for Automata Learning and Experimentation. | Harald Raffelt, Bernhard Steffen |
| 2005 | FASE | On the Correspondence Between Conformance Testing and Regular Inference. | Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen |
| 2005 | FMICS | LearnLib: a library for automata learning and experimentation. | Harald Raffelt, Bernhard Steffen, Therese Berg |
| 2005 | ITC | Analyzing second-order effects between optimizations for system-level test-based model generation. | Tiziana Margaria, Harald Raffelt, Bernhard Steffen |