Wissenschaftliche Publikationen
2012
- 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
- Implementing Modular Domain Specific Language and Analyses In MoDEVVA 2012 (MODELS Workshop), 2012. Details BIB
- Kinematics, Control and Workspace Analysis of a Bowden Wire Actuated Manipulator for Minimally Invasive Single-Port Surgery In IEEE International Conference on Robotics and Biomimetics (ROBIO), 2012. Details BIB
- Language Engineering as an Enabler for Incrementally Defined Formal Analyses In FormSERA 2012 (ICSE Workshop), 2012. Details BIB
- mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems In Gourab Sen Gupta , Donald Bailey , Serge Demidenko and Dale Carnegie , editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BIB
- Mechanisms to gather customer-feedback – Requirements in the cloud service ecosystem 2012. Details BIB
- MGSyn: Automatic Synthesis for Industrial Automation In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, 2012. Details URL DOI BIB
- Model-based software in-the-loop-test of autonomous systems In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, 2012. Society for Computer Simulation International. Details URL BIB
- Modeling the Performance and Scalability of a SAP ERP System using an Evolutionary Algorithm In 14th International Conference on Enterprise Information Systems, pages 112-118, 2012. SciTePress. Details URL BIB