Export list as BibTeX file

2013

• 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), 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, 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, 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), 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, 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), 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, 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, 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, Details DOI BIB