| |
| 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 |
| 1 | Benedikt Bollig | [1] [2] [3] |
| 2 | Joost-Pieter Katoen | [2] [3] |
| 3 | Martin Leucker | [2] [3] |
| 4 | Markus Schlütter | [1] |
| 5 | Volker Stolz | [1] |