Michael Lipaczewski

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Safety Analysis

Formal Specification

Software Metrics

Multi Objective Genetic Algorithm

Top Venues

Publications

Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica. Reliab. Eng. Syst. Saf. 140 (2015)
Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier
On Efficiently Specifying Models for Model Checking. IMBSA (2014)
Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink. SAM (2014)
Michael Lipaczewski, Frank Ortmeier
Teaching and Training Formal Methods for Safety Critical Systems. EUROMICRO-SEAA (2013)
Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck
Unifying Probabilistic and Traditional Formal Model Based Analysis. MBEES (2012)
Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
Multi-objective Optimization of Formal Specifications. HASE (2012)
Michael Lipaczewski, Frank Ortmeier
Handlungsadaptive Produktionsassistenz. GI-Jahrestagung (2012)
Frank Ortmeier, Simon Struck, Michael Lipaczewski
Using model-based analysis in certification of critical software-intensive systems. Software Engineering (Workshops) (2012)
Michael Lipaczewski, Simon Struck, Frank Ortmeier
SAML goes eclipse: combining model-based safety analysis and high-level editor support. TOPI@ICSE (2012)
Michael Lipaczewski, Simon Struck, Frank Ortmeier
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. HASE (2012)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier
Tool Supported Model-Based Safety Analysis and Optimization. PRDC (2011)
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. PRDC (2011)