Search the dblp DataBase

Publications of Author

1. Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
   Formal Modeling and Verification of Systems with Self-x Properties. [Citation Graph (0, 0)][DBLP]
   ATC, 2006, pp:38-47 [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, Wolfgang Reif, Gerhard Schellhorn
   Introduction to Subject Area "Verification". [Citation Graph (0, 0)][DBLP]
   SoftSpez Final Report, 2004, pp:419-422 [Conf]
   
4. 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]
   
5. Frank Ortmeier, Wolfgang Reif
   Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. [Citation Graph (0, 0)][DBLP]
   DSN, 2004, pp:651-658 [Conf]
   
6. Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
   Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). [Citation Graph (0, 0)][DBLP]
   EDCC, 2005, pp:210-224 [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. Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
   Modeling of self-adaptive systems with SCADE. [Citation Graph (0, 0)][DBLP]
   ISCAS, 2007, pp:2922-2925 [Conf]
   
10. Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
    Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:465-478 [Conf]
    
11. Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck
    WG2: Software engineering for organic computing applications (SE4OC). [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:275-276 [Conf]
    
12. Frank Ortmeier, Gerhard Schellhorn
    Formal Fault Tree Analysis - Practical Experiences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:139-151 [Journal]
    
13. 
    A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. [Citation Graph (, )][DBLP]
    
    
14. 
    A generic software framework for role-based Organic Computing systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Safety and Dependability Analysis of Self-Adaptive Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    A Specification and Construction Paradigm for Organic Computing Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Design and construction of organic computing systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Organic Computing for Health Care Systems - Possible Benefits and Challenges. [Citation Graph (, )][DBLP]
    
    
19. 
    Hiding real-time: A new approach for the software development of industrial robots. [Citation Graph (, )][DBLP]
    
    
20. 
    ProMoSA - Probabilistic Models for Safety Analysis. [Citation Graph (, )][DBLP]
    
    
21. 
    Probabilistic Model-Based Safety Analysis [Citation Graph (, )][DBLP]
    
    
22. 
    An Abstract Specification Language for Static Program Analysis. [Citation Graph (, )][DBLP]