Towards Modularized Verification of Distributed Time-Triggered Systems. - Jewgenij Botaschanjan; Alexander Gruler; Alexander Harhurin; Leonid Kof; Maria Spichkova; David Trachtenherz (FM, 2006)

Modeling the Functionality of Multi-Functional Software Systems. - Alexander Gruler; Alexander Harhurin; Judith Hartmann (ECBS, 2007)

Development and Configuration of Service-based Product Lines. - Alexander Gruler; Alexander Harhurin; Judith Hartmann (SPLC, 2007)

Towards Consistent Specifications of Product Families. - Alexander Harhurin; Judith Hartmann (FM, 2008)

Service-Oriented Commonality Analysis Across Existing Systems. - Alexander Harhurin; Judith Hartmann (SPLC, 2008)

On the correctness of upper layers of automotive systems. - Jewgenij Botaschanjan; Manfred Broy; Alexander Gruler; Alexander Harhurin; Steffen Knapp; Leonid Kof; Wolfgang J. Paul; Maria Spichkova (Formal Aspects Comput., 2008)

Integrating Functional and Architectural Views of Reactive Systems. - Jewgenij Botaschanjan; Alexander Harhurin (CBSE, 2009)

Property-Driven Scenario Integration. - Jewgenij Botaschanjan; Alexander Harhurin (SEFM, 2009)

A System for Seamless Abstraction Layers for Model-based Development of Embedded Software. - Judith Thyssen; Daniel Ratiu; Wolfgang Schwitzer; Alexander Harhurin; Martin Feilkas; Eike Thaden (Software Engineering (Workshops), 2010)

Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme. - Alexander Harhurin (2010)