Dominik Sojer

Propagation, Transformation and Refinement of Safety Requirements

Alois Knoll, Dominik Sojer, Christian Buckl, 2010 .

Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co.

Alois Knoll, Dominik Sojer, Christian Buckl, 2010 .

Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems

Alois Knoll, Dominik Sojer, Christian Buckl, 2010 .

Deriving fault-detection mechanisms from safety requirements

Alois Knoll, Dominik Sojer, Christian Buckl, 2011, Computer Science - Research and Development.

Synthesis of online diagnostic techniques for embedded systems

Dominik Sojer, 2013 .

Modeling Quality Aspects: Real-Time

Dominik Sojer, Robert Hilbrich, Marian Daun, 2012, Model-Based Engineering of Embedded Systems.

A Model-Driven Approach for Runtime Reliability Analysis

Alois Knoll, Dominik Sojer, Christian Buckl, 2013, 2013 Sixth Latin-American Symposium on Dependable Computing.

Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems

Dominik Sojer, 2011, 2011 IEEE 35th Annual Computer Software and Applications Conference.

FTOS: Model-driven development of fault-tolerant automation systems

Alois Knoll, Dominik Sojer, Christian Buckl, 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel

Dominik Sojer, Christian Buckl, Dominik Knoll, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.