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, 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, 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, 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, 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, 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), 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, Details URL BIB