 | 2010 |
|---|
| 10 |       | Judith Thyssen,
Daniel Ratiu,
Wolfgang Schwitzer,
Alexander Harhurin,
Martin Feilkas,
Eike Thaden:
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software.
Software Engineering (Workshops) 2010: 137-148 |
| 9 | | Alexander Harhurin:
Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme.
Technical University Munich 2010: 1-188 |
| 2009 |
|---|
| 8 | | Jewgenij Botaschanjan,
Alexander Harhurin:
Integrating Functional and Architectural Views of Reactive Systems.
CBSE 2009: 156-172 |
| 7 | | Jewgenij Botaschanjan,
Alexander Harhurin:
Property-Driven Scenario Integration.
SEFM 2009: 147-156 |
| 2008 |
|---|
| 6 | | Alexander Harhurin,
Judith Hartmann:
Towards Consistent Specifications of Product Families.
FM 2008: 390-405 |
| 5 | | Alexander Harhurin,
Judith Hartmann:
Service-Oriented Commonality Analysis Across Existing Systems.
SPLC 2008: 255-264 |
| 4 | | 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 | | Alexander Gruler,
Alexander Harhurin,
Judith Hartmann:
Modeling the Functionality of Multi-Functional Software Systems.
ECBS 2007: 349-358 |
| 2 | | Alexander Gruler,
Alexander Harhurin,
Judith Hartmann:
Development and Configuration of Service-based Product Lines.
SPLC 2007: 107-116 |
| 2006 |
|---|
| 1 | | Jewgenij Botaschanjan,
Alexander Gruler,
Alexander Harhurin,
Leonid Kof,
Maria Spichkova,
David Trachtenherz:
Towards Modularized Verification of Distributed Time-Triggered Systems.
FM 2006: 163-178 |
Data released under the ODC-BY 1.0 license — See also our legal information page