Program Development by Transforamtion and Refinement. - Stefan Jähnichen; Fatima Ali Hussain; Matthias Weber 001 (Advanced Programming Environments, 1986)

The Generic Development Language Deva: Presentation and Case Studies - Matthias Weber 001; Martin Simons 001; Christine Lafontaine (Springer, 1993)

A Steam-Boiler Control Specification with Statecharts and Z. - Robert Büssow; Matthias Weber 001 (Formal Methods for Industrial Applications, 1995)

An Approach to Literate and Structured Formal Developments. - Martin Simons 001; Matthias Weber 001 (Formal Aspects Comput., 1996)

Systematic design of embedded control systems - composing models of system structure and behavior. - Matthias Weber 001 (Oldenbourg, 1997)

Specification of Software Controlling a Discrete-Continuous Environment. - Viktor Friesen; Stefan Jähnichen; Matthias Weber 001 (ICSE, 1997)

Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme. - Stefan Jähnichen; Matthias Weber 001 (Informationstechnik Tech. Inform., 1997)

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. - Maritta Heisel; Rainer Mackenthun; Thomas Neustupny; Sadegh Sadeghipour; Matthias Weber 001 (GI Jahrestagung, 1998)

Simulation and Analysis of Real-Time Concurrent Object Models. - Sven Lutz; Matthias Weber 001 (ISORC, 1998)

Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO. - Viktor Friesen; André Nordwig; Matthias Weber 001 (ZUM, 1998)

Requirements Engineering in Automotive Development: Experiences and Challenges. - Matthias Weber 001; Joachim Weisbrod (IEEE Softw., 2003)

Defining Requirements at Different Levels of Abstraction. - Stan Bühne; Günter Halmans; Klaus Pohl; Matthias Weber 001; Henning Kleinwechter; Thomas Wierczoch (RE, 2004)

Requirements for Requirements Management Tools. - Matthias Hoffmann; Nikolaus Kühn; Matthias Weber 001; Margot Bittner (RE, 2004)

International Workshop on Solutions for Automotive Software Architectures: Open Standards, References, and Product Line Architectures. - Stefan Ferber; Andreas Krüger; Stefan Voget; Matthias Weber 001 (SPLC, 2004)

Managing Variability and Reuse of Features and Requirements for Large and Complex Organizational Structures. - Margot Bittner; Ali Botorabi; Alexander Poth; Mark-Oliver Reiser; Matthias Weber 001 (RE, 2005)

Are Requirements Engineering best practices the same for all industries?. - Gauthier Fanmuy; Frederique Populus; Jean Rene; Jeremy Dick; Sjaak Brinkkemper; Matthias Weber 001; Philippe Baron (RE, 2005)

Using Product Sets to Define Complex Product Decisions. - Mark-Oliver Reiser; Matthias Weber 001 (SPLC, 2005)

Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. - Philippe Cuenot; De-Jiu Chen; Sébastien Gérard; Henrik Lönn; Mark-Oliver Reiser; David Servat; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (WADS, 2006)

Managing Highly Complex Product Families with Multi-Level Feature Trees. - Mark-Oliver Reiser; Matthias Weber 001 (RE, 2006)

The EAST-ADL Architecture Description Language for Automotive Embedded Software. - Philippe Cuenot; Patrick Frey; Rolf Johansson 002; Henrik Lönn; Yiannis Papadopoulos; Mark-Oliver Reiser; Anders Sandberg; David Servat; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Managing Complexity of Automotive Electronics Using the EAST-ADL. - Philippe Cuenot; De-Jiu Chen; Sébastien Gérard; Henrik Lönn; Mark-Oliver Reiser; David Servat; Carl-Johan Sjöstedt; Ramin Tavakoli Kolagari; Martin Törngren; Matthias Weber 001 (ICECCS, 2007)

Manifoldness of Variability Modeling - Considering the Potential for Further Integration. - Mark-Oliver Reiser; Ramin Tavakoli Kolagari; Matthias Weber 001 (CEE-SET, 2007)

Unified Feature Modeling as a Basis for Managing Complex System Families. - Mark-Oliver Reiser; Ramin Tavakoli Kolagari; Matthias Weber 001 (VaMoS, 2007)

Multi-level feature trees. - Mark-Oliver Reiser; Matthias Weber 001 (Requir. Eng., 2007)

Varianten in der Automobilelektronikentwicklung Herausforderungen und Lösungsansätze. - Martin Becker 002; Matthias Weber 001; Thomas Wierczoch (Software Engineering (Workshops), 2008)

Compositional Variability - Concepts and Patterns. - Mark-Oliver Reiser; Ramin Tavakoli Kolagari; Matthias Weber 001 (HICSS, 2009)

Automatic allocation of safety integrity levels. - Yiannis Papadopoulos; Martin Walker; Mark-Oliver Reiser; Matthias Weber 001; De-Jiu Chen; Martin Törngren; David Servat; Andreas Abele; Friedhelm Stappert; Henrik Lönn; L. Berntsson; Rolf Johansson 002; et al. (EDCC-CARS, 2010)

Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems. - Margot Bittner; Mark-Oliver Reiser; Helko Glathe; Matthias Weber 001 (RE, 2010)

A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families. - Margot Bittner; Mark-Oliver Reiser; Matthias Weber 001 (REFSQ, 2010)

The CVM Framework - A Prototype Tool for Compositional Variability Management. - Andreas Abele; Yiannis Papadopoulos; David Servat; Martin Törngren; Matthias Weber 001 (VaMoS, 2010)

EPM: a prototype tool for variability management in component hierarchies. - Andreas Abele; Henrik Lönn; Mark-Oliver Reiser; Matthias Weber 001; Helko Glathe (SPLC (2), 2012)

An extended type system with lambda-typed lambda-expressions (extended version). - Matthias Weber 001 (CoRR, 2018)

An extended type system with lambda-typed lambda-expressions. - Matthias Weber 001 (Log. Methods Comput. Sci., 2020)