Dominik Sojer

Publikationen

Liste als BibTeX-Datei exportieren

  • 2013 A Model-Driven Approach for Runtime Reliability Analysis Frank Reichenbach, Dominik Sojer, Christian Buckl und 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 und Stephan Sommer In Eva Geisberger und Manfred Broy, Editor, . Springer, Details URL BIB
  • 2012 Deriving fault-detection mechanisms from safety requirements Dominik Sojer, Christian Buckl und Alois Knoll Springer Computer Science - Research and Development, ():, 2012. Details URL DOI BIB
  • Juni 2011 Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES 2011), Work-in-Progress Session, Details DOI BIB
  • Dezember 2010 Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the 3rd Embedded Software Engineering Congress, Details URL BIB
  • Oktober 2010 Propagation, Transformation and Refinement of Safety Requirements Dominik Sojer, Christian Buckl und 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 und 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 und Alois Knoll In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), Details URL BIB
  • Februar 2010 Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware Dominik Sojer, Christian Buckl und Alois Knoll TUM-I1003, Technische Universität München, Details URL BIB