fortiss GmbH
Guerickestr. 25
80805 München
Phone: +49 89 3603522 511
Fax: +49 89 3603522 50
E-Mail: sojer(at)fortiss.org
Web: www6.in.tum.de/Main/Sojer
Publications
| [1] | Dominik Sojer, Christian Buckl, and Alois Knoll. Deriving fault-detection mechanisms from safety requirements. Springer Computer Science - Research and Development, 2012. |
| [2] | Dominik Sojer. Synthesis of fault detection mechanisms. In Proceedings of the 35th IEEE International Computer Software and Applications Conference (COMPSAC 2011), Doctoral Symposium, July 2011. |
| [3] | 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 (SIES 2011), Work-in-Progress Session, June 2011. |
| [4] | Dominik Sojer, Christian Buckl, and Alois Knoll. Vom Modell zum Code für IEC 61508, ISO 26262 und Co. In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010. |
| [5] | Dominik Sojer, Christian Buckl, and Alois Knoll. Propagation, transformation and refinement of safety requirements. In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, October 2010. |
| [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, September 2010. |
| [7] | 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), April 2010. |
| [8] | Dominik Sojer, Christian Buckl, and Alois Knoll. Stand und Anforderungen an eine Werkzeugunterstuetzung zur Entwicklung von Automatisierungssoftware. Technical Report TUM-I1003, Technische Universität München, February 2010. |
fortiss GmbH - An-Institut der Technischen Universität München
Guerickestraße 25 | 80805 München | Deutschland
Tel: +49 89 3603522 0 | Fax: +49 89 3603522 50
info@fortiss.org | Impressum | Datenschutzerklärung