Scientific publications
2012
- Applying formal software engineering techniques to smart grids In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, pages 50–56, 2012. IEEE Press, Details BIB
- Behavioral specification based runtime monitors for OSGi services In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, 2012. Details BIB
- Behavioral Specification Based Runtime Monitors for OSGi Services In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, 2012. Details URL DOI BIB
- Clinical Motion Tracking and Motion Analysis during Ophthalmic Surgery Using Electromagnetic Tracking System In Proceedings of the 5th International Conference on BioMedical Engineering and Informatics (BMEI 2012), pages 1006-1010, 2012. IEEE Press. Details BIB
- Cloud Computing – Überblick und Herausforderungen für das Controlling Zeitschrift für Controlling, 24(6):294-300, 2012. Details BIB
- Combined Simulation of Energy and Thermal Management for an Electronic Vehicle In 2nd International Energy Efficient Vehicles Conference (EEVC), Dresden, 2012. Details BIB
- Conforming the runtime inputs for hard real-time embedded systems In Jon Whittle , Tony Clark and Thomas Kühne , editor, Proceedings of the 49th Design Automation Conference (DAC), pages 430–436, 2012. Details DOI BIB
- Cyber-Physical Systems: Driving Force for Innovations in Mobility, Health, Energy and Production , , 2012. Details URL BIB
- Cyber-Physical Systems: Imminent Challenges In Radu Calinescu and David Garlan , editor, Large-Scale Complex IT Systems. Development, Operation and Management, volume 7539 of Lecture Notes in Computer Science, pages 1-28. Springer, 2012. Details BIB
- Cyber-Physical Systems: Innovationsmotor für Mobilität, Gesundheit, Energie und Produktion , , 2012. Details URL BIB
- Deriving fault-detection mechanisms from safety requirements Springer Computer Science - Research and Development, ():, 2012. Details URL DOI BIB
- Distributed Priority Synthesis In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, 2012. Details URL DOI BIB
- Distributed priority synthesis using knowledge In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, pages 129–132, 2012. Details URL DOI BIB
- Early Safety Evaluation of Design Decisions in E/E Architecture according to ISO 26262 In Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems, 2012. Details BIB
- Easy-to-use SAP sizing based on evolutionary generated scalability models In Conference on Enterprise Information Systems, pages 162-170, 2012. Details URL BIB
- Embedded Systems and Software Challenges in Electric Vehicles In In Design, Automation and Test in Europe (DATE), 2012. Details BIB
- Establishing a Smart Grid Node Architecture and Demonstrator in an Office Environment Using the SOA Approach ICSE :International Workshop on Software Engineering Challenges for the Smart Grid(SE4SG), Details BIB
- Game solving for industrial automation and control In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, 2012. Details URL DOI BIB
- Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language IEEE Transactions on Industrial Informatics, 9():2387-2396, 2012. Details URL DOI BIB
- ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 1, Wroclaw, Poland, 28 June - 1 July, 2012 Leszek A. Maciaszek , Alfredo Cuzzocrea and José Cordeiro , editor SciTePress. Details BIB