Michael Lipaczewski

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