Andreas Thums Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Thums, Jochen Quante: Reengineering embedded automotive software. ICSM 2012: 493-502
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian Tischer, Birgit Boss, Andreas Müller, Andreas Thums, Rajneesh Acharya, Klaus Schmid: Developing long-term stable product line architectures. SPLC (1) 2012: 86-95
2009
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Schulte-Coerne, Andreas Thums, Jochen Quante: Automotive Software: Characteristics and Reengineering Challenges. Softwaretechnik-Trends 29(2) (2009)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Schulte-Coerne, Andreas Thums, Jochen Quante: Challenges in Reengineering Automotive Software. CSMR 2009: 315-316
2004
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Thums: Formale Fehlerbaumanalyse. University of Augsburg 2004, pp. 1-271
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif: Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn: Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642
2003
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Thums, Gerhard Schellhorn: Model Checking FTA. FME 2003: 739-757
2002
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh: Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP 2002: 296-308
2001
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wolfgang Reif, Gerhard Schellhorn, Andreas Thums: Flaw Detection in Formal Specifications. IJCAR 2001: 642-657
2000
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums: Formal System Development with KIV. FASE 2000: 363-366

Coauthor Index

1Rajneesh Acharya
[c10]
2Michael Balser
[c6] [c1]
3Birgit Boss
[c10]
4Simon Bäumler
[c6]
5Bernhard Hering
[c3]
6Alexander Knapp
[c6]
7Andreas Müller
[c10]
8Frank Ortmeier
[c8] [c7] [c5] [c3]
9Jochen Quante
[c11] [j1] [c9]
10Wolfgang Reif
[c8] [c7] [c6] [c5] [c3] [c2] [c1]
11Gerhard Schellhorn
[c8] [c7] [c5] [c4] [c3] [c2] [c1]
12Klaus Schmid
[c10]
13Vincent Schulte-Coerne
[j1] [c9]
14Kurt Stenzel
[c1]
15Christian Tischer
[c10]
16Helmut Trappschuh
[c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 22:04:10 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page