Andreas Thums

According to our database, Andreas Thums authored at least 15 papers between 2000 and 2017.

Collaborative distances:

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

2017

Transformation of Preprocessor Variance to Post-Build Variance.

Jochen Quante, Andreas Thums, Olga Pikuleva

Softwaretechnik-Trends, 2017

2014

Parsing Variant C Code: An Evaluation on Automotive Software.

Robert Heumüller, Jochen Quante, Andreas Thums

Softwaretechnik-Trends, 2014

2012

Developing long-term stable product line architectures.

Christian Tischer, Birgit Boss, Andreas Müller, Andreas Thums, Rajneesh Acharya, Klaus Schmid

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

Reengineering embedded automotive software.

Andreas Thums, Jochen Quante

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2009

Automotive Software: Characteristics and Reengineering Challenges.

Vincent Schulte-Coerne, Andreas Thums, Jochen Quante

Softwaretechnik-Trends, 2009

Challenges in Reengineering Automotive Software.

Vincent Schulte-Coerne, Andreas Thums, Jochen Quante

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

2004

Formale Fehlerbaumanalyse.

Andreas Thums

PhD thesis, 2004

Integrated formal methods for safety analysis of train systems.

Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn

Proceedings of the Building the Information Society, 2004

Interactive Verification of UML State Machines.

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums

Proceedings of the Formal Methods and Software Engineering, 2004

Interactive Verification of Statecharts.

Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Combining Formal Methods and Safety Analysis - The ForMoSA Approach.

Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Safety analysis of the height control system for the Elbtunnel.

Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh

Reliab. Eng. Syst. Saf., 2003

Model Checking FTA.

Andreas Thums, Gerhard Schellhorn

Proceedings of the FME 2003: Formal Methods, 2003

2001

Flaw Detection in Formal Specifications.

Wolfgang Reif, Gerhard Schellhorn, Andreas Thums

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Formal System Development with KIV.

Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums

Proceedings of the Fundamental Approaches to Software Engineering, 2000