Andreas Thums

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