Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2012
- Calibration of a physics-based model of an anthropomimetic robot using Evolution Strategies In Intelligent Robots and Systems (IROS), 2012 IEEE/RSJ InternationalConference on, Seiten 445–450, Oktober 2012. Details DOI BIB
- Single Camera Visual Odometry Based on Random Finite Set Statistics In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oktober 2012. Details BIB
- A Sensor Fusion Approach for Localization with Cumulative Error Elimination In Proceedings of 2012 IEEE International Conference on Multisensor Fusion and Information Integration (MFI 2012), September 2012. Details BIB
- Binding requirements and component architecture by using model-based test-driven development In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, September 2012. Details DOI BIB
- 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), Seiten 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), Seiten 13–27, Tallinn, Estonia, März 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, Februar 2012. Details URL BIB
- {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} In Eva Geisberger und 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), Seiten 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, Seiten 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, Seiten 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), Seiten 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 und Thomas Kühne , Editor, Proceedings of the 49th Design Automation Conference (DAC), Seiten 430–436, 2012. Details DOI BIB
- Cyber-Physical Systems: Driving Force for Innovations in Mobility, Health, Energy and Production , , 2012. Details URL BIB