Frank Ortmeier

	2012
31		Frank Ortmeier, Simon Struck, Michael Lipaczewski: Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) 2012: 155-162
	2011
30		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
29		Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier: Tool Supported Model-Based Safety Analysis and Optimization. PRDC 2011: 294-295
28		Matthias Güdemann, Frank Ortmeier: Model-Based Multi-objective Safety Optimization. SAFECOMP 2011: 423-436
	2010
27		Matthias Güdemann, Frank Ortmeier: A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE 2010: 132-141
26		Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter: SysML in digital engineering. IWDE 2010: 1-8
25		Frank Ortmeier, Matthias Güdemann: ProMoSA - Probabilistic Models for Safety Analysis. MBEES 2010: 7-12
24		Matthias Güdemann, Frank Ortmeier: Probabilistic Model-Based Safety Analysis QAPL 2010: 114-128
23		Matthias Güdemann, Frank Ortmeier: Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit 2010: 37-48
	2009
22		Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC 2009: 17-31
21		Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif: Hiding real-time: A new approach for the software development of industrial robots. IROS 2009: 2108-2113
20		Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A generic software framework for role-based Organic Computing systems. SEAMS 2009: 96-105
19		Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker: An Abstract Specification Language for Static Program Analysis. Electr. Notes Theor. Comput. Sci. 254: 181-197 (2009)
	2008
18		Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71
17		Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290
16		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
15		Hella Seebach, Frank Ortmeier, Wolfgang Reif: Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation 2007: 4215-4221
14		Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif: Modeling of self-adaptive systems with SCADE. ISCAS 2007: 2922-2925
13		Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP 2007: 465-478
12		Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck: WG2: Software engineering for organic computing applications (SE4OC). Software Engineering 2007: 275-276
11		Frank Ortmeier, Gerhard Schellhorn: Formal Fault Tree Analysis - Practical Experiences. Electr. Notes Theor. Comput. Sci. 185: 139-151 (2007)
	2006
10		Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Formal Modeling and Verification of Systems with Self-x Properties. ATC 2006: 38-47
9		Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA 2006: 177-184
8		Frank Ortmeier: Formale Sicherheitsanalyse. University of Augsburg 2006: 1-180
	2005
7		Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC 2005: 210-224
	2004
6		Frank Ortmeier, Wolfgang Reif: Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN 2004: 651-658
5		Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn: Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642
4		Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif: Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373
3		Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422
2		Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493
	2002
1		Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh: Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP 2002: 296-308

Coauthor Index

1	Andreas Angerer	[14] [21]
2	Robert Eschbach	[30]
3	Ansgar Fehnker	[19]
4	Matthias Güdemann	[9] [10] [13] [14] [16] [23] [24] [25] [26] [27] [28] [29] [30]
5	Bernhard Hering	[1]
6	Alwin Hoffmann	[21]
7	Ralf Huuck	[19]
8	Stefan Kegel	[26]
9	Michael Lipaczewski	[29] [30] [31]
10	Florian Nafz	[16] [17] [18] [20] [22]
11	Olaf Poenicke	[26]
12	Wolfgang Reif	[1] [2] [3] [4] [5] [6] [7] [9] [10] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22]
13	Klaus Richter	[26]
14	Gerhard Schellhorn	[1] [2] [3] [4] [5] [7] [11]
15	Hartmut Schmeck	[12]
16	Marco Schumann	[30]
17	Hella Seebach	[15] [16] [17] [18] [20] [22]
18	Giovanna Di Marzo Serugendo	[12]
19	Jan-Philipp Steghöfer	[18] [20] [22]
20	Simon Struck	[31]
21	Andreas Thums	[1] [2] [4] [5]
22	Helmut Trappschuh	[1]
23	Michael Vistein	[19] [21]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page