Formal System Development with KIV. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Andreas Thums (FASE, 2000)

Flaw Detection in Formal Specifications. - Wolfgang Reif; Gerhard Schellhorn; Andreas Thums (IJCAR, 2001)

Model Checking FTA. - Andreas Thums; Gerhard Schellhorn (FME, 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)

Combining Formal Methods and Safety Analysis - The ForMoSA Approach. - Frank Ortmeier; Andreas Thums; Gerhard Schellhorn; Wolfgang Reif (SoftSpez Final Report, 2004)

Interactive Verification of Statecharts. - Andreas Thums; Gerhard Schellhorn; Frank Ortmeier; Wolfgang Reif (SoftSpez Final Report, 2004)

Interactive Verification of UML State Machines. - Michael Balser; Simon Bäumler; Alexander Knapp; Wolfgang Reif; Andreas Thums (ICFEM, 2004)

Integrated formal methods for safety analysis of train systems. - Wolfgang Reif; Frank Ortmeier; Andreas Thums; Gerhard Schellhorn (IFIP Congress Topical Sessions, 2004)

Formale Fehlerbaumanalyse. - Andreas Thums (2004)

Challenges in Reengineering Automotive Software. - Vincent Schulte-Coerne; Andreas Thums; Jochen Quante (CSMR, 2009)

Automotive Software: Characteristics and Reengineering Challenges. - Vincent Schulte-Coerne; Andreas Thums; Jochen Quante (Softwaretechnik-Trends, 2009)

Reengineering embedded automotive software. - Andreas Thums; Jochen Quante (ICSM, 2012)

Developing long-term stable product line architectures. - Christian Tischer 002; Birgit Boss; Andreas Müller 014; Andreas Thums; Rajneesh Acharya; Klaus Schmid (SPLC (1), 2012)

Parsing Variant C Code: An Evaluation on Automotive Software. - Robert Heumüller; Jochen Quante; Andreas Thums (Softwaretechnik-Trends, 2014)

Transformation of Preprocessor Variance to Post-Build Variance. - Jochen Quante; Andreas Thums; Olga Pikuleva (Softwaretechnik-Trends, 2017)