Dominik Sojer

Publications

Export list as BibTeX file

• 2013 A Model-Driven Approach for Runtime Reliability Analysis Frank Reichenbach , Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013. Details URL DOI BIB
• 2012 {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} Christian Buckl , Dominik Sojer and Stephan Sommer In Eva Geisberger and Manfred Broy , editor, . Springer, 2012. Details URL BIB
• 2012 Deriving fault-detection mechanisms from safety requirements Dominik Sojer , Christian Buckl and Alois Knoll Springer Computer Science - Research and Development, ():, 2012. Details URL DOI BIB
• June 2011 Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, June 2011. Details DOI BIB
• December 2010 Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010. Details URL BIB
• October 2010 Propagation, Transformation and Refinement of Safety Requirements Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, October 2010. Details URL BIB
• September 2010 FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Christian Buckl , Dominik Sojer and Alois Knoll Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB
• April 2010 Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), April 2010. Details URL BIB
• February 2010 Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware Dominik Sojer , Christian Buckl and Alois Knoll TUM-I1003, Technische Universität München, February 2010. Details URL BIB