Liste als BibTeX-Datei exportieren

2013

• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss, Bernhard Schätz, Maged Khalil und 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 und 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 und Sebastian Brunner In Xiaoping Chen, Peter Stone, LuisEnrique Sucar und Tijn van der Zant, Editor, RoboCup 2012: Robot Soccer World Cup XVI, Band 7500 von Lecture Notes in Computer Science, Seiten 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 und 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 und 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 und Alois Zoitl In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer und Ansgar Trächtler, Editor, Industrial Informatics (INDIN), 2013 11th IEEE International Conference on, Seiten 578-585, Details DOI BIB
• 2013 Virtual Whiskers – Highly Responsive Robot Collision Avoidance Thomas Schlegl, Torsten Kröger, Andre Gaschler, Oussama Khatib und Hubert Zangl In Torsten Kröger und 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 und Alois Zoitl In Mechatronics and Machine Vision in Practice (M2VIP), 2012 19th International Conference, Seiten 135-140, Details URL BIB
• November 2012 Towards Certified Runtime Verification Jan Olaf Blech, Yliès Falcone und Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, ACM. Details DOI BIB
• Oktober 2012 A Generic Approach Simplifying Model-to-Model Transformation Chains Gerd Kainz, Christian Buckl und Alois Knoll In Robert France, Jürgen Kazmeier, Ruth Breu und Colin Atkinson, Editor, Model Driven Engineering Languages and Systems, Band 7590 von Lecture Notes in Computer Science, Seiten 579–594. Springer-Verlag, Berlin / Heidelberg, Germany, Details DOI BIB