Scientific publications
2012
- Combining Classical and Embodied Multimodal Fusion for Human-Robot Interaction In Proceedings of the Embodied and Situated Language Processing 2012 (ESLP 2012), Newcastle Upon Tyne, England, August 2012. Details BIB
- Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, April 2012. Details DOI BIB
- Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool In Proceedings 7th Workshop on Model-Based Testing (MBT), pages 13–27, Tallinn, Estonia, March 2012. Details DOI BIB
- Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, February 2012. Details URL BIB
- {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} In Eva Geisberger and Manfred Broy , editor, . Springer, 2012. Details URL BIB
- SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern In Automotive - Safety & Security, 2012. Details URL BIB
- agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems , , 2012. Details URL BIB
- An Automotive Side-View System Based on Ethernet and IP In 26th International Conference on Advanced Information Networking and Applications Workshops (WAINA), pages 238 - 243, 2012. Details BIB
- 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