Andreas Thums

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Venues

Softwaretechnik-Trends

ICSM

SPLC (1)

University of Augsburg, Germany (PHD)

Education History

University of Augsburg, Germany

PHD

Publications

Jochen Quante, Andreas Thums, Olga Pikuleva
Transformation of Preprocessor Variance to Post-Build Variance. Softwaretechnik-Trends 37 (2) (2017)
Robert Heumüller, Jochen Quante, Andreas Thums
Parsing Variant C Code: An Evaluation on Automotive Software. Softwaretechnik-Trends 34 (2) (2014)
Christian Tischer, Birgit Boss, Andreas Müller, Andreas Thums, Rajneesh Acharya, Klaus Schmid
Developing long-term stable product line architectures. SPLC (1) (2012)
Andreas Thums, Jochen Quante
Reengineering embedded automotive software. ICSM (2012)
Vincent Schulte-Coerne, Andreas Thums, Jochen Quante
Challenges in Reengineering Automotive Software. CSMR (2009)
Vincent Schulte-Coerne, Andreas Thums, Jochen Quante
Automotive Software: Characteristics and Reengineering Challenges. Softwaretechnik-Trends 29 (2) (2009)
Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions (2004)
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
Interactive Verification of UML State Machines. ICFEM (2004)
Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif
Interactive Verification of Statecharts. SoftSpez Final Report (2004)
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report (2004)
Andreas Thums, Gerhard Schellhorn
Model Checking FTA. FME (2003)
Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
Safety analysis of the height control system for the Elbtunnel. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP (2002)
Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
Flaw Detection in Formal Specifications. IJCAR (2001)
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
Formal System Development with KIV. FASE (2000)

Andreas Thums.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Thums