| |
| 2008 | ||
|---|---|---|
| 3 | EE | Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Modeling and Model Checking Software Product Lines. FMOODS 2008: 113-131 |
| 2 | EE | Alexander Gruler, Martin Leucker, Kathrin D. Scheidemann: Calculating and Modeling Common Parts of Software Product Lines. SPLC 2008: 203-212 |
| 2006 | ||
| 1 | Kathrin D. Scheidemann: Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems. SPLC 2006: 75-84 | |
| 1 | Alexander Gruler | [2] [3] |
| 2 | Martin Leucker | [2] [3] |