dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Matthias Güdemann Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Andreas Angerer [5]
2Robert Eschbach [14]
3Stefan Kegel [10]
4Michael Lipaczewski [13] [14]
5Florian Nafz [2] [6]
6Frank Ortmeier [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
7Olaf Poenicke [10]
8Wolfgang Reif [1] [2] [3] [4] [5] [6]
9Klaus Richter [10]
10Marco Schumann [14]
11Hella Seebach [2] [6]

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page