Michael Lipaczewski

According to our database, Michael Lipaczewski authored at least 12 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica.

Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck

Reliab. Eng. Syst. Saf., 2015

2014

On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink.

Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

On Efficiently Specifying Models for Model Checking.

Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2013

Teaching and Training Formal Methods for Safety Critical Systems.

Michael Lipaczewski, Frank Ortmeier

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Using model-based analysis in certification of critical software-intensive systems.

Frank Ortmeier, Simon Struck, Michael Lipaczewski

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Unifying Probabilistic and Traditional Formal Model Based Analysis.

Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

SAML goes eclipse: combining model-based safety analysis and high-level editor support.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Multi-objective Optimization of Formal Specifications.

Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.

Michael Lipaczewski, Simon Struck, Frank Ortmeier

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Handlungsadaptive Produktionsassistenz.

Michael Lipaczewski, Frank Ortmeier

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

2011

Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.

Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Tool Supported Model-Based Safety Analysis and Optimization.

Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011