Heiko Dörr

According to our database, Heiko Dörr authored at least 23 papers between 1994 and 2024.

Collaborative distances:

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

2024

On the Derivation of Quality Assurance Plans from Process Model Descriptions.

Julio C. Guzmán, Heiko Dörr, Christian Gruber, Jürgen Münch, Marco Kuhrmann

Proceedings of the Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers, 2024

Towards Generating Compliance Action Plans: A Discussion of Needs and Opportunities.

Julio C. Guzmán, Heiko Dörr, Thomas Brenner, Rainer Gerlich, Jürgen Münch, Marco Kuhrmann

Proceedings of the Product-Focused Software Process Improvement, 2024

2022

19th Workshop on Automotive Software Engineering (ASE'22).

Heiko Dörr, Steffen Helke

Proceedings of the Software Engineering 2022, 2022

2015

13.Workshop Automotive Software Engineering.

Heiko Dörr, Steffen Helke

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2013

JUST SIMPLIFY - Heuristische Clone Detection auf Modellen.

Heiko Dörr, Ingo Stürmer

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2008

The AUTOSAR Way of Model-Based Engineering of Automotive Systems.

Heiko Dörr

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Systematic Testing of Model-Based Code Generators.

Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper

IEEE Trans. Software Eng., 2007

Establishing Evidence for Safety Cases in Automotive Systems - A Case Study.

Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr

Proceedings of the Computer Safety, 2007

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.

Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios.

Mirko Conrad, Heiko Dörr

Proceedings of the Modellierung 2006, 2006

Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze.

Mirko Conrad, Heiko Dörr

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Model-based development of in-vehicle software.

Mirko Conrad, Heiko Dörr

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Introductory paper.

Andy Schürr, Heiko Dörr

Softw. Syst. Model., 2005

Abhängigkeitsmanagement in der Systementwicklung.

Heiko Dörr

Proceedings of the Software Engineering 2005, 2005

Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software.

Mirko Conrad, Heiko Dörr, Ines Fey, Kerstin Buhr

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

2004

Introduction.

Heiko Dörr, Andy Schürr

Int. J. Softw. Tools Technol. Transf., 2004

2002

Graph Transformations for Model-based Testing.

Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr

Proceedings of the Modellierung 2002, 2002

Model Checking im Automotivbereich.

Hans-Werner Wiesbrock, Heiko Dörr, Hans Jürgen Holberg

Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002

2001

Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.

Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr

Sci. Comput. Program., 2001

1998

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.

Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1995

Computing an Upper Bound for SVS(gg) by Abstract Interpretation.

Heiko Dörr

Proceedings of the Developments in Language Theory II, 1995

Efficient Graph Rewriting and Its Implementation

Heiko Dörr

Lecture Notes in Computer Science 922, Springer, ISBN: 3-540-60055-8, 1995

1994

Bypass Strong V-Structures and Find an Isomorphic Labelled Subgraph in Linear Time.

Heiko Dörr

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994