Frank Ortmeier

Frank Ortmeier: Dependability in Pervasive Computing: Challenges and Chances. JITR 5(1): 1-17 (2012)

Michael Lipaczewski, Frank Ortmeier: Handlungsadaptive Produktionsassistenz. GI-Jahrestagung 2012: 585-596

Michael Lipaczewski, Simon Struck, Frank Ortmeier: Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. HASE 2012: 159-166

Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann: Multi-objective Optimization of Formal Specifications. HASE 2012: 201-208

Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck: Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES 2012: 123-132

Marcus Augustine, Frank Ortmeier, Elmar Mair, Darius Burschka, Annett Stelzer, Michael Suppa: Landmark-Tree map: A biologically inspired topological map for long-distance robot navigation. ROBIO 2012: 128-135

Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier: Trajectory Description Conception for Industrial Robots. ROBOTIK 2012

Sebastian Nielebock, Frank Ortmeier, Marco Schumann, Andre Winge: From Discrete Event Simulation to Virtual Reality Environments. SAFECOMP Workshops 2012: 508-516

Frank Ortmeier, Simon Struck, Michael Lipaczewski: Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) 2012: 155-162

Frank Ortmeier, Peter Daniel (Eds.): Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Lecture Notes in Computer Science 7612, Springer 2012, isbn 978-3-642-33677-5

Frank Ortmeier, Peter Daniel (Eds.): Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings. Lecture Notes in Computer Science 7613, Springer 2012, isbn 978-3-642-33674-4

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

Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier: Tool Supported Model-Based Safety Analysis and Optimization. PRDC 2011: 294-295

Matthias Güdemann, Frank Ortmeier: Model-Based Multi-objective Safety Optimization. SAFECOMP 2011: 423-436

Matthias Güdemann, Frank Ortmeier: A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. HASE 2010: 132-141

Matthias Güdemann, Stefan Kegel, Frank Ortmeier, Olaf Poenicke, Klaus Richter: SysML in digital engineering. IWDE 2010: 1-8

Frank Ortmeier, Matthias Güdemann: ProMoSA - Probabilistic Models for Safety Analysis. MBEES 2010: 7-12

Matthias Güdemann, Frank Ortmeier: Quantitative Model-Based Safety Analysis: A Case Study. Sicherheit 2010: 37-48

Matthias Güdemann, Frank Ortmeier: Probabilistic Model-Based Safety Analysis. QAPL 2010: 114-128

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)

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

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

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

Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71

Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242

Frank Ortmeier, Gerhard Schellhorn: Formal Fault Tree Analysis - Practical Experiences. Electr. Notes Theor. Comput. Sci. 185: 139-151 (2007)

Hella Seebach, Frank Ortmeier, Wolfgang Reif: Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation 2007: 4215-4221

Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif: Modeling of self-adaptive systems with SCADE. ISCAS 2007: 2922-2925

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP 2007: 465-478

Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck: WG2: Software engineering for organic computing applications (SE4OC). Software Engineering 2007: 275-276

Frank Ortmeier: Formale Sicherheitsanalyse. University of Augsburg 2006, isbn 978-3-8325-1277-4, pp. 1-180

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Formal Modeling and Verification of Systems with Self-x Properties. ATC 2006: 38-47

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA 2006: 177-184

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

Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif: Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373

Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422

Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493

Frank Ortmeier, Wolfgang Reif: Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN 2004: 651-658

Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn: Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642

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