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. Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach
   Towards Safe and Secure Organic Computing Applications. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (1), 2006, pp:153-160 [Conf]
   
3. 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]
   
4. 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]
   
5. 
   Safety and Dependability Analysis of Self-Adaptive Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   A Specification and Construction Paradigm for Organic Computing Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   ProMoSA - Probabilistic Models for Safety Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Probabilistic Model-Based Safety Analysis [Citation Graph (, )][DBLP]