Matthias Weber

Log. Methods Comput. Sci., 2020

2018

An extended type system with lambda-typed lambda-expressions (extended version).

[BibT_eX]

[DOI]

CoRR, 2018

2012

EPM: a prototype tool for variability management in component hierarchies.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

2010

The CVM Framework - A Prototype Tool for Compositional Variability Management.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families.

[BibT_eX]

[DOI]

Margot Bittner

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Automatic allocation of safety integrity levels.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

2009

Compositional Variability - Concepts and Patterns.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Varianten in der Automobilelektronikentwicklung Herausforderungen und Lösungsansätze.

[BibT_eX]

[DOI]

Martin Becker

Thomas Wierczoch

Proceedings of the Software Engineering 2008, 2008

2007

Multi-level feature trees.

[BibT_eX]

[DOI]

Requir. Eng., 2007

Unified Feature Modeling as a Basis for Managing Complex System Families.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Manifoldness of Variability Modeling - Considering the Potential for Further Integration.

[BibT_eX]

[DOI]

Proceedings of the Balancing Agility and Formalism in Software Engineering, 2007

Managing Complexity of Automotive Electronics Using the EAST-ADL.

[BibT_eX]

[DOI]

Martin Törngren

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

The EAST-ADL Architecture Description Language for Automotive Embedded Software.

[BibT_eX]

[DOI]

Martin Törngren

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Managing Highly Complex Product Families with Multi-Level Feature Trees.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language.

[BibT_eX]

[DOI]

Martin Törngren

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2005

Using Product Sets to Define Complex Product Decisions.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 9th International Conference, 2005

Are Requirements Engineering best practices the same for all industries?.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Managing Variability and Reuse of Features and Requirements for Large and Complex Organizational Structures.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

2004

International Workshop on Solutions for Automotive Software Architectures: Open Standards, References, and Product Line Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, Third International Conference, 2004

Requirements for Requirements Management Tools.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Defining Requirements at Different Levels of Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

2003

Requirements Engineering in Automotive Development: Experiences and Challenges.

[BibT_eX]

[DOI]

Joachim Weisbrod

IEEE Softw., 2003

1998

Object-Oriented Specification of Hybrid Systems Using UML<sup><i>h</i></sup> and ZimOO.

[BibT_eX]

[DOI]

Viktor Friesen

André Nordwig

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Simulation and Analysis of Real-Time Concurrent Object Models.

[BibT_eX]

[DOI]

Sven Lutz

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz.

[BibT_eX]

[DOI]

Proceedings of the Informatik '98, 1998

1997

Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme.

[BibT_eX]

[DOI]

Stefan Jähnichen

Informationstechnik Tech. Inform., 1997

Specification of Software Controlling a Discrete-Continuous Environment.

[BibT_eX]

[DOI]

Viktor Friesen

Stefan Jähnichen

Proceedings of the Pulling Together, 1997

Systematic design of embedded control systems - composing models of system structure and behavior.

[BibT_eX]

GMD-Bericht 283, Oldenbourg, ISBN: 978-3-486-24464-9, 1997

1996

An Approach to Literate and Structured Formal Developments.

[BibT_eX]

[DOI]

Martin Simons

Formal Aspects Comput., 1996

1995

A Steam-Boiler Control Specification with Statecharts and Z.

[BibT_eX]

[DOI]

Robert Büssow

Proceedings of the Formal Methods for Industrial Applications, 1995

1993

The Generic Development Language Deva: Presentation and Case Studies

[BibT_eX]

[DOI]

Martin Simons

Christine Lafontaine

Lecture Notes in Computer Science 738, Springer, ISBN: 3-540-57335-6, 1993

1986

Program Development by Transforamtion and Refinement.

[BibT_eX]

[DOI]

Stefan Jähnichen

Fatima Ali Hussain