Alexander Harhurin

According to our database, Alexander Harhurin authored at least 10 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme.

Alexander Harhurin

PhD thesis, 2010

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

Proceedings of the Software Engineering 2010, 2010

2009

Property-Driven Scenario Integration.

Jewgenij Botaschanjan, Alexander Harhurin

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Integrating Functional and Architectural Views of Reactive Systems.

Jewgenij Botaschanjan, Alexander Harhurin

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

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

Service-Oriented Commonality Analysis Across Existing Systems.

Alexander Harhurin, Judith Hartmann

Proceedings of the Software Product Lines, 12th International Conference, 2008

Towards Consistent Specifications of Product Families.

Alexander Harhurin, Judith Hartmann

Proceedings of the FM 2008: Formal Methods, 2008

2007

Development and Configuration of Service-based Product Lines.

Alexander Gruler, Alexander Harhurin, Judith Hartmann

Proceedings of the Software Product Lines, 11th International Conference, 2007

Modeling the Functionality of Multi-Functional Software Systems.

Alexander Gruler, Alexander Harhurin, Judith Hartmann

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Towards Modularized Verification of Distributed Time-Triggered Systems.

Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz

Proceedings of the FM 2006: Formal Methods, 2006