| 2008 |
|---|
| 7 | EE | Alexander Gruler,
Martin Leucker,
Kathrin D. Scheidemann:
Modeling and Model Checking Software Product Lines.
FMOODS 2008: 113-131 |
| 6 | EE | Alexander Gruler,
Martin Leucker,
Kathrin D. Scheidemann:
Calculating and Modeling Common Parts of Software Product Lines.
SPLC 2008: 203-212 |
| 5 | EE | Jewgenij Botaschanjan,
Manfred Broy,
Alexander Gruler,
Alexander Harhurin,
Steffen Knapp,
Leonid Kof,
Wolfgang J. Paul,
Maria Spichkova:
On the correctness of upper layers of automotive systems.
Formal Asp. Comput. 20(6): 637-662 (2008) |
| 2007 |
|---|
| 4 | EE | Alexander Gruler,
Alexander Harhurin,
Judith Hartmann:
Modeling the Functionality of Multi-Functional Software Systems.
ECBS 2007: 349-358 |
| 3 | EE | Alexander Gruler,
Alexander Harhurin,
Judith Hartmann:
Development and Configuration of Service-based Product Lines.
SPLC 2007: 107-116 |
| 2006 |
|---|
| 2 | 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 |
| 2005 |
|---|
| 1 | | Alexander Gruler,
Christian Heinlein:
Exception Handling with Resumption: Design and Implementation in Java.
PLC 2005: 165-171 |
