Search the dblp DataBase

Publications of Author

1. Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
   Flaw Detection in Formal Specifications. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:642-657 [Conf]
   
2. Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif
   Interactive Verification of Statecharts. [Citation Graph (0, 0)][DBLP]
   SoftSpez Final Report, 2004, pp:355-373 [Conf]
   
3. Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif
   Combining Formal Methods and Safety Analysis - The ForMoSA Approach. [Citation Graph (0, 0)][DBLP]
   SoftSpez Final Report, 2004, pp:474-493 [Conf]
   
4. Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
   Formal System Development with KIV. [Citation Graph (0, 0)][DBLP]
   FASE, 2000, pp:363-366 [Conf]
   
5. Andreas Thums, Gerhard Schellhorn
   Model Checking FTA. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:739-757 [Conf]
   
6. Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
   Interactive Verification of UML State Machines. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2004, pp:434-448 [Conf]
   
7. Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
   Integrated formal methods for safety analysis of train systems. [Citation Graph (0, 0)][DBLP]
   IFIP Congress Topical Sessions, 2004, pp:637-642 [Conf]
   
8. Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
   Safety Analysis of the Height Control System for the Elbtunnel. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2002, pp:296-308 [Conf]
   
9. 
   Challenges in Reengineering Automotive Software. [Citation Graph (, )][DBLP]