Andreas Thums
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2000–2012
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SPLC | Developing long-term stable product line architectures. | Christian Tischer, Birgit Boss, Andreas Mller, Andreas Thums, Rajneesh Acharya, Klaus Schmid |
| 2004 | ICFEM | Interactive Verification of UML State Machines. | Michael Balser, Simon Bumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
| 2003 | FM | Model Checking FTA. | Andreas Thums, Gerhard Schellhorn |
| 2002 | SAFECOMP | Safety Analysis of the Height Control System for the Elbtunnel. | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
| 2001 | CADE | Flaw Detection in Formal Specifications. | Wolfgang Reif, Gerhard Schellhorn, Andreas Thums |
| 2000 | FASE | Formal System Development with KIV. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |