Alexander Harhurin

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

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)
Jewgenij Botaschanjan, Alexander Harhurin
Integrating Functional and Architectural Views of Reactive Systems. CBSE (2009)
Jewgenij Botaschanjan, Alexander Harhurin
Property-Driven Scenario Integration. SEFM (2009)
Alexander Harhurin, Judith Hartmann
Towards Consistent Specifications of Product Families. FM (2008)
Alexander Harhurin, Judith Hartmann
Service-Oriented Commonality Analysis Across Existing Systems. SPLC (2008)
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 Aspects Comput. 20 (6) (2008)
Alexander Gruler, Alexander Harhurin, Judith Hartmann
Development and Configuration of Service-based Product Lines. SPLC (2007)
Alexander Gruler, Alexander Harhurin, Judith Hartmann
Modeling the Functionality of Multi-Functional Software Systems. ECBS (2007)
Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
Towards Modularized Verification of Distributed Time-Triggered Systems. FM (2006)