| 2008 |
|---|
| 6 | EE | Alexander Harhurin,
Judith Hartmann:
Towards Consistent Specifications of Product Families.
FM 2008: 390-405 |
| 5 | EE | Alexander Harhurin,
Judith Hartmann:
Service-Oriented Commonality Analysis Across Existing Systems.
SPLC 2008: 255-264 |
| 4 | 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 |
|---|
| 3 | EE | Alexander Gruler,
Alexander Harhurin,
Judith Hartmann:
Modeling the Functionality of Multi-Functional Software Systems.
ECBS 2007: 349-358 |
| 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 |
