Technische Universität München Robotics and Embedded Systems
 

Dipl.-Inf. Dominik Sojer

 

Research Assistant

E-Mail sojer@in.tum.de
Room  
Phone  
Fax  
Address Institut für Informatik VI
Technische Universität München
Boltzmannstraße 3
85748 Garching bei München
Germany
Homepage http://www6.in.tum.de/~sojer/
Dominik Sojer
 

Curriculum Vitæ

Projects

Teaching

Publications

[1] Frank Reichenbach, Dominik Sojer, Christian Buckl, and Alois Knoll. A model-driven approach for runtime reliability analysis. In Proceedings of the Sixth Latin-American Symposium on Dependable Computing, April 2013. [ DOI | .bib | .pdf ]
[2] Christian Buckl, Dominik Sojer, and Stephan Sommer. Interoperabilitäts- und Quality-of-Service Plattformdienste am Beispiel der Domäne Fahrzeug. In Eva Geisberger and Manfred Broy and et al, editor, Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems. Springer, 2012. [ .bib | .pdf ]
[3] Dominik Sojer, Christian Buckl, and Alois Knoll. Deriving fault-detection mechanisms from safety requirements. Springer Computer Science - Research and Development, 2012. [ DOI | .bib | .pdf ]
[4] Dominik Sojer, Christian Buckl, and Alois Knoll. Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel. In Proceedings of the 6th Symposium on Industrial Embedded Systems (SIES2011), Work-in-Progress Session, 2011. [ DOI | .bib | .pdf ]
[5] Dominik Sojer. Synthesis of fault detection mechanisms. In Proceedings of the 35th IEEE International Computer Software andApplications Conference (COMPSAC 2011), Doctoral Symposium, 2011. [ DOI | .bib | .pdf ]
[6] Christian Buckl, Dominik Sojer, and Alois Knoll. FTOS: Model-driven development of fault-tolerant automation systems. Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, 2010. [ DOI | .bib | .pdf ]
[7] Dominik Sojer, Christian Buckl, and Alois Knoll. Stand und Anforderungen an eine Werkzeugunterstützung zur Entwicklung von Automatisierungssoftware. Technical Report TUM-I1003, Technische Universität München, 2010. [ .bib | .pdf ]
[8] Dominik Sojer, Christian Buckl, and Alois Knoll. Formal modeling of safety requirements in the model-driven development of safety critical embedded systems. In Proceedings of the Eighth European Dependable Computing Conference(EDCC 2010), 2010. [ .bib | .pdf ]
[9] Dominik Sojer, Christian Buckl, and Alois Knoll. Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, 2010. [ .bib ]
[10] Dominik Sojer, Christian Buckl, and Alois Knoll. Propagation, transformation and refinement of safety requirements. In Proceedings of the 3rd Workshop on Non-functional System Propertiesin Domain Specific Modeling Languages, 2010. [ .bib | .pdf ]