Matthias Weber

35 papers A* 1A 7B 5C 2Journal 7Unranked 11

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	An extended type system with lambda-typed lambda-expressions. Log. Methods Comput. Sci. Matthias Weber
2018	J	`jnl`	An extended type system with lambda-typed lambda-expressions (extended version). CoRR Matthias Weber
2018	J	`jnl`	An extended type system with lambda-typed lambda-expressions. CoRR Matthias Weber
2012	—	`conf`	EPM: a prototype tool for variability management in component hierarchies. SPLC (2) Andreas Abele, Henrik Lönn, Mark-Oliver Reiser, Matthias Weber, Helko Glathe
2010	B	`conf`	A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families. REFSQ Margot Bittner, Mark-Oliver Reiser, Matthias Weber
2010	—	`conf`	Automatic allocation of safety integrity levels. EDCC-CARS Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg
2010	A	`conf`	Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems. RE Margot Bittner, Mark-Oliver Reiser, Helko Glathe, Matthias Weber
2010	—	`conf`	The CVM Framework - A Prototype Tool for Compositional Variability Management. VaMoS Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, Matthias Weber
2009	—	`conf`	Compositional Variability - Concepts and Patterns. HICSS Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matthias Weber
2008	C	`conf`	Varianten in der Automobilelektronikentwicklung Herausforderungen und Lösungsansätze. Software Engineering (Workshops) Martin Becker, Matthias Weber, Thomas Wierczoch
2007	B	`conf`	Managing Complexity of Automotive Electronics Using the EAST-ADL. ICECCS 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
2007	—	`conf`	Manifoldness of Variability Modeling - Considering the Potential for Further Integration. CEE-SET Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matthias Weber
2007	J	`jnl`	Multi-level feature trees. Requir. Eng. Mark-Oliver Reiser, Matthias Weber
2007	—	`conf`	The EAST-ADL Architecture Description Language for Automotive Embedded Software. Model-Based Engineering of Embedded Real-Time Systems Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber
2007	—	`conf`	Unified Feature Modeling as a Basis for Managing Complex System Families. VaMoS Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matthias Weber
2006	A	`conf`	Managing Highly Complex Product Families with Multi-Level Feature Trees. RE Mark-Oliver Reiser, Matthias Weber
2006	B	`conf`	Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. WADS 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
2005	A	`conf`	Are Requirements Engineering best practices the same for all industries?. RE Gauthier Fanmuy, Frederique Populus, Jean Rene, Jeremy Dick, Sjaak Brinkkemper, Matthias Weber, Philippe Baron
2005	A	`conf`	Managing Variability and Reuse of Features and Requirements for Large and Complex Organizational Structures. RE Margot Bittner, Ali Botorabi, Alexander Poth, Mark-Oliver Reiser, Matthias Weber
2005	B	`conf`	Using Product Sets to Define Complex Product Decisions. SPLC Mark-Oliver Reiser, Matthias Weber
2004	A	`conf`	Defining Requirements at Different Levels of Abstraction. RE Stan Bühne, Günter Halmans, Klaus Pohl, Matthias Weber, Henning Kleinwechter, Thomas Wierczoch
2004	B	`conf`	International Workshop on Solutions for Automotive Software Architectures: Open Standards, References, and Product Line Architectures. SPLC Stefan Ferber, Andreas Krüger, Stefan Voget, Matthias Weber
2004	A	`conf`	Requirements for Requirements Management Tools. RE Matthias Hoffmann, Nikolaus Kühn, Matthias Weber, Margot Bittner
2003	J	`jnl`	Requirements Engineering in Automotive Development: Experiences and Challenges. IEEE Softw. Matthias Weber, Joachim Weisbrod
2002	A	`conf`	Requirements Engineering in Automotive Development - Experiences and Challenges. RE Matthias Weber, Joachim Weisbrod
1998	—	`conf`	Object-Oriented Specification of Hybrid Systems Using UML ZUM Viktor Friesen, André Nordwig, Matthias Weber
1998	C	`conf`	Simulation and Analysis of Real-Time Concurrent Object Models. ISORC Sven Lutz, Matthias Weber
1998	—	`conf`	Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. GI Jahrestagung Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber
1997	J	`jnl`	Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme. Informationstechnik Tech. Inform. Stefan Jähnichen, Matthias Weber
1997	A*	`conf`	Specification of Software Controlling a Discrete-Continuous Environment. ICSE Viktor Friesen, Stefan Jähnichen, Matthias Weber
1997	—	`book`	Systematic design of embedded control systems - composing models of system structure and behavior. Matthias Weber
1996	J	`jnl`	An Approach to Literate and Structured Formal Developments. Formal Aspects Comput. Martin Simons, Matthias Weber
1995	—	`conf`	A Steam-Boiler Control Specification with Statecharts and Z. Formal Methods for Industrial Applications Robert Büssow, Matthias Weber
1993	—	`book`	The Generic Development Language Deva: Presentation and Case Studies Matthias Weber, Martin Simons, Christine Lafontaine
1986	—	`conf`	Program Development by Transforamtion and Refinement. Advanced Programming Environments Stefan Jähnichen, Fatima Ali Hussain, Matthias Weber