![]() |
| 2007 | ||
|---|---|---|
| 2 | EE | Alexander Gruler, Alexander Harhurin, Judith Hartmann: Development and Configuration of Service-based Product Lines. SPLC 2007: 107-116 |
| 2006 | ||
| 1 | EE | Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178 |
| 1 | Jewgenij Botaschanjan | [1] |
| 2 | Alexander Gruler | [1] [2] |
| 3 | Judith Hartmann | [2] |
| 4 | Leonid Kof | [1] |
| 5 | Maria Spichkova | [1] |
| 6 | David Trachtenherz | [1] |