Klaus Birken

According to our database, Klaus Birken authored at least 16 papers between 1995 and 2023.

Collaborative distances:

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

2023

The Universal Safety Format in Action: Tool Integration and Practical Application.

Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder

SN Comput. Sci., March, 2023

2022

Universal Safety Format: Automated Safety Software Generation.

Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Migrating Insurance Calculation Rule Descriptions from Word to MPS.

Niko Stotz, Klaus Birken

Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2019

Using language workbenches and domain-specific languages for safety-critical software development.

Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann

Softw. Syst. Model., 2019

Shadow models: incremental transformations for MPS.

Markus Voelter, Klaus Birken, Sascha Lisson, Alexander Rimer

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

2016

Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment.

Fabian Keller, Markus Voelter, André van Hoorn, Klaus Birken

Softwaretechnik-Trends, 2016

2014

Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language.

Klaus Birken

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2012

Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development.

Klaus Birken

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2010

Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World Example.

Klaus Birken, Daniel Hünig, Thomas Rustemeyer, Ralph Wittmann

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2007

Basiswissen Softwarearchitektur - verstehen, entwerfen, wiederverwenden (2. Aufl.).

Torsten Posch, Klaus Birken, Michael Gerdom

dpunkt.verlag, 2007

2004

Basiswissen Softwarearchitektur - verstehen, entwerfen, bewerten und dokumentieren.

Torsten Posch, Klaus Birken, Michael Gerdom

dpunkt.verlag, ISBN: 978-3-89864-270-5, 2004

1999

High Level Software Tools for Unstructured Adaptive Grids on Massively Parallel Systems.

Peter Bastian, Klaus Birken, Stefan Lang

Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999

1998

Ein Modell zur effizienten Parallelisierung von Algorithmen auf komplexen, dynamischen Datenstrukturen.

Klaus Birken

PhD thesis, 1998

1997

Semi-Automatic Parallelisation of Dynamic, Graph-based Applications.

Klaus Birken

Proceedings of the Parallel Computing: Fundamentals, 1997

1995

Dynamic Distributed Data: Efficient, Portable, Easy to Use.

Klaus Birken, Roland Rühle

Proceedings of the Parallel Computing: State-of-the-Art and Perspectives, 1995

A dynamic data model for parallel adaptive PDE solvers.

Klaus Birken, Clemens Helf

Proceedings of the High-Performance Computing and Networking, 1995