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æ

since 2011 Research Assistant, fortiss GmbH => this homepage may be out of date
2009-2011 Research Assistant, Technische Universität München, Robotics and Embedded Systems
2009 Diploma in Informatics, Universität Passau
2003 Abitur at the Joseph-von-Fraunhofer-Gynmasium Cham
1984 Born in Wörth/Donau

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 ]