| 2010 | ||
|---|---|---|
| b1 | Alexander Harhurin: Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme. Technical University Munich 2010, pp. 1-188 | |
| c8 | 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 | |
| 2009 | ||
| c7 | Jewgenij Botaschanjan, Alexander Harhurin: Integrating Functional and Architectural Views of Reactive Systems. CBSE 2009: 156-172 | |
| c6 | ||
| 2008 | ||
| j1 | 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) | |
| c5 | Alexander Harhurin, Judith Hartmann: Towards Consistent Specifications of Product Families. FM 2008: 390-405 | |
| c4 | Alexander Harhurin, Judith Hartmann: Service-Oriented Commonality Analysis Across Existing Systems. SPLC 2008: 255-264 | |
| 2007 | ||
| c3 | Alexander Gruler, Alexander Harhurin, Judith Hartmann: Modeling the Functionality of Multi-Functional Software Systems. ECBS 2007: 349-358 | |
| c2 | Alexander Gruler, Alexander Harhurin, Judith Hartmann: Development and Configuration of Service-based Product Lines. SPLC 2007: 107-116 | |
| 2006 | ||
| c1 | Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz: Towards Modularized Verification of Distributed Time-Triggered Systems. FM 2006: 163-178 | |
Colors in the list of coauthors
Last update Fri May 24 12:26:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page