 | 2011 |
| 14 |  | Matthias Güdemann,
Michael Lipaczewski,
Frank Ortmeier,
Marco Schumann,
Robert Eschbach:
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.
PRDC 2011: 274-275 |
| 13 |  | Matthias Güdemann,
Michael Lipaczewski,
Frank Ortmeier:
Tool Supported Model-Based Safety Analysis and Optimization.
PRDC 2011: 294-295 |
| 12 |  | Matthias Güdemann,
Frank Ortmeier:
Model-Based Multi-objective Safety Optimization.
SAFECOMP 2011: 423-436 |
| 2010 |
| 11 |  | Matthias Güdemann,
Frank Ortmeier:
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis.
HASE 2010: 132-141 |
| 10 |  | Matthias Güdemann,
Stefan Kegel,
Frank Ortmeier,
Olaf Poenicke,
Klaus Richter:
SysML in digital engineering.
IWDE 2010: 1-8 |
| 9 |  | Frank Ortmeier,
Matthias Güdemann:
ProMoSA - Probabilistic Models for Safety Analysis.
MBEES 2010: 7-12 |
| 8 |  | Matthias Güdemann,
Frank Ortmeier:
Probabilistic Model-Based Safety Analysis
QAPL 2010: 114-128 |
| 7 |  | Matthias Güdemann,
Frank Ortmeier:
Quantitative Model-Based Safety Analysis: A Case Study.
Sicherheit 2010: 37-48 |
| 2008 |
| 6 |  | Matthias Güdemann,
Florian Nafz,
Frank Ortmeier,
Hella Seebach,
Wolfgang Reif:
A Specification and Construction Paradigm for Organic Computing Systems.
SASO 2008: 233-242 |
| 2007 |
| 5 |  | Matthias Güdemann,
Andreas Angerer,
Frank Ortmeier,
Wolfgang Reif:
Modeling of self-adaptive systems with SCADE.
ISCAS 2007: 2922-2925 |
| 4 |  | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.
SAFECOMP 2007: 465-478 |
| 2006 |
| 3 |  | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Formal Modeling and Verification of Systems with Self-x Properties.
ATC 2006: 38-47 |
| 2 |  | Matthias Güdemann,
Florian Nafz,
Wolfgang Reif,
Hella Seebach:
Towards Safe and Secure Organic Computing Applications.
GI Jahrestagung (1) 2006: 153-160 |
| 1 |  | Matthias Güdemann,
Frank Ortmeier,
Wolfgang Reif:
Safety and Dependability Analysis of Self-Adaptive Systems.
ISoLA 2006: 177-184 |