Export list as BibTeX file

2013

• 2013 The Introduction of a New Robot for Assistance in Ophthalmic Surgery M. Ali Nasseri , Martin Eder , Emmanuel Dean-Leon , Suraj Nair , Daniel Zapp , Mathias Maier , C. P. Lohmann and Alois Knoll In 35th Annual International Conference of the IEEE Engineering in Medicine and Biology and Biology Society (EMBC'13), 2013. IEEE Press. Details BIB
• 2013 Towards a bottom-up development of reference architectures for smart energy systems Maximilian Irlbeck , Denis Bytschkow , Georg Hackenberg and Vasileios Koutsoumpas In Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on, pages 9–16, 2013. IEEE, Details BIB
• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss , Bernhard Schätz , Maged Khalil and Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB
• 2013 Training and evaluation of an MDP model for social multi-user human-robot interaction Simon Keizer , Mary Ellen Foster , Oliver Lemon , Andre Gaschler and Manuel Giuliani In Proceedings of the 14th Annual SIGdial Meeting on Discourse and Dialogue, 2013. Details BIB
• 2013 TUMsBendingUnits from TU Munich: RoboCup 2012 Logistics League Champion Sören Jentzsch , Sebastian Riedel , Sebastian Denz and Sebastian Brunner In Xiaoping Chen , Peter Stone , LuisEnrique Sucar and Tijn van der Zant , editor, RoboCup 2012: Robot Soccer World Cup XVI, volume 7500 of Lecture Notes in Computer Science, pages 48-58. Springer Berlin Heidelberg, 2013. Details DOI BIB
• 2013 Uncalibrated 3D Stereo Image-based Dynamic Visual Servoing for Robot Manipulators Caixia Cai , Emmanuel Dean-Leon , Dario Mendoza , Nikhil Somani and Alois Knoll In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2013. Details BIB
• 2013 Using Embodied Multimodal Fusion to Perform Supportive and Instructive Robot Roles in Human-Robot Interaction Manuel Giuliani and Alois Knoll International Journal of Social Robotics, 5(3):345–356, 2013. Details DOI BIB
• 2013 Verification of hierarchical IEC 61499 component systems with behavioral event contracts Herbert Prähofer and Alois Zoitl In Jürgen Gausemeier , Franz Ramming , Wilhelm Schäfer and Ansgar Trächtler , editor, Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, pages 578-585, 2013. Details DOI BIB
• 2013 Virtual Whiskers – Highly Responsive Robot Collision Avoidance Thomas Schlegl , Torsten Kröger , Andre Gaschler , Oussama Khatib and Hubert Zangl In Torsten Kröger and Friedrich M. Wahl , editor, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2013. Details BIB

2012

• November 2012 Implementation of an event-based low-level control for mobile robots Gottfried Koppensteiner , Christian Schwingenschlögl , Munir Merdan and Alois Zoitl In Mechatronics and Machine Vision in Practice (M2VIP), 2012 19th International Conference, pages 135-140, November 2012. Details URL BIB
• November 2012 Towards Certified Runtime Verification Jan Olaf Blech , Yliès Falcone and Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
• October 2012 A Generic Approach Simplifying Model-to-Model Transformation Chains Gerd Kainz , Christian Buckl and Alois Knoll In Robert France , Jürgen Kazmeier , Ruth Breu and Colin Atkinson , editor, Model Driven Engineering Languages and Systems, volume 7590 of Lecture Notes in Computer Science, pages 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, October 2012. Details DOI BIB
• October 2012 Calibration of a physics-based model of an anthropomimetic robot using Evolution Strategies Steffen Wittmeier , Andre Gaschler , M. Jantsch , K. Dalamagkidis and Alois Knoll In Intelligent Robots and Systems (IROS), 2012 IEEE/RSJ InternationalConference on, pages 445–450, October 2012. Details DOI BIB
• October 2012 Single Camera Visual Odometry Based on Random Finite Set Statistics Feihu Zhang , Hauke Stähle , Andre Gaschler , Christian Buckl and Alois Knoll In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 2012. Details BIB
• September 2012 A Sensor Fusion Approach for Localization with Cumulative Error Elimination Feihu Zhang , Hauke Stähle , Guang Chen , Gang Chen , Carsten Simon , Christian Buckl , Alois Knoll and Gerhard Schrott In Proceedings of 2012 IEEE International Conference on Multisensor Fusion and Information Integration (MFI 2012), September 2012. Details BIB
• September 2012 Binding requirements and component architecture by using model-based test-driven development Dongyue Mou and Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pages 27–30, September 2012. Details DOI BIB
• August 2012 Combining Classical and Embodied Multimodal Fusion for Human-Robot Interaction Manuel Giuliani and Jan de Ruiter In Proceedings of the Embodied and Situated Language Processing 2012 (ESLP 2012), Newcastle Upon Tyne, England, August 2012. Details BIB
• April 2012 Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems Kai Huang , Gang Chen , Nadine Keddis , Michael Geisinger and Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, April 2012. Details DOI BIB
• March 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech , Dongyue Mou and Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), pages 13–27, Tallinn, Estonia, March 2012. Details DOI BIB
• February 2012 Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories Sebastian Voss and Bernhard Schätz In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, February 2012. Details URL BIB