Georg Rock

Proceedings of the Transdisciplinary Engineering for Complex Socio-technical Systems - Real-life Applications, 2020

scone - A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Transdisciplinary Engineering for Complex Socio-technical Systems - Real-life Applications, 2020

2019

Virtual Reality as an E-Learning tool in the student-centered vehicle development project "proTRon".

[BibT_eX]

[DOI]

Lucas Küntzer

Michael Hoffmann

Proceedings of the DeLFI 2019, 2019

2018

Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines.

[BibT_eX]

[DOI]

Anna Schmitt

Christian Bettinger

Proceedings of the Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0, 2018

2015

Visualization of Variability in Complex Development Structures.

[BibT_eX]

[DOI]

Jürgen Ommen

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

Model-Based Variant Management with v.control.

[BibT_eX]

[DOI]

Proceedings of the Transdisciplinary Lifecycle Analysis of Systems, 2015

2013

A Framework and Generator for Large Parameterized Feature Models.

[BibT_eX]

[DOI]

Robert Rößger

Proceedings of the 20th ISPE International Conference on Concurrent Engineering, 2013

2012

Handling of Product Variety Throughout the Product Life-Cycle.

[BibT_eX]

[DOI]

Sylvia Klawitter

Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

A Variant Management Based Methodology for the Requirements-Engineering Process of Mechanical Parts.

[BibT_eX]

[DOI]

Ralf Gümmer

Christopher Junk

Proceedings of the Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment, 2012

2011

Control variant-rich models by variability measures.

[BibT_eX]

[DOI]

Stefan Mann

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

2010

A Custom Approach for Variability Management in Automotive Applications.

[BibT_eX]

[DOI]

Fabian Kliemannel

Stefan Mann

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

2009

Dealing with Variability in Architecture Descriptions to Support Automotive Product Lines.

[BibT_eX]

[DOI]

Stefan Mann

Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

2008

Automating Interactive Protocol Verification.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

2007

Verification of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2007

A History-based Verification of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2006

Verifying a Chipcard-Based Biometric Identification Protocol in VSE.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

2005

Verification Support Environment.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Formal methods for real-time requirements engineering.

[BibT_eX]

[DOI]

PhD thesis, 2004

2002

Formal Requirements Engineering Using Observer Models.

[BibT_eX]

[DOI]

Andreas Nonnengart

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Using Hybrid Automata to Express Realtime Properties in VSE-II.

[BibT_eX]

[DOI]

Andreas Nonnengart

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

2000

VSE: formal methods meet industrial needs.

[BibT_eX]

[DOI]

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

Formal software development in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2000

Modeling Specification and Verification of an Emergency Closing System.

[BibT_eX]

[DOI]

Michael Brodski

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

Formal Software Development in the Verification Support Environment (VSE).

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999

Modeling Dynamic Processes in TLA.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Modular reasoning about structured TLA specifications.

[BibT_eX]

[DOI]

Proceedings of the International Workshop Tool Support for System Specification, 1998

VSE: Controlling the Complexity in Formal Software Developments.

[BibT_eX]

[DOI]

Proceedings of the Applied Formal Methods, 1998

Assumption-Commitment Specifications and Safety-Critical Systems.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

On Generating Small Clause Normal Forms.

[BibT_eX]

[DOI]

Andreas Nonnengart

Christoph Weidenbach

Proceedings of the Automated Deduction, 1998

1997

Tool Support for the Compositional Development of Distributed Systems.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

SPASS & FLOTTER Version 0.42.

[BibT_eX]

[DOI]

Christoph Weidenbach

Bernd Gaede