Liste als BibTeX-Datei exportieren

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 und 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 und Vasileios Koutsoumpas In Software Engineering Challenges for the Smart Grid (SE4SG), 2013 2nd International Workshop on, Seiten 9–16, 2013. IEEE, Details BIB
• 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), 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 und 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 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, 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 und 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 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, 2013. 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), 2013. 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, November 2012. 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, November 2012. 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, Oktober 2012. Details DOI BIB
• Oktober 2012 Calibration of a physics-based model of an anthropomimetic robot using Evolution Strategies Steffen Wittmeier , Andre Gaschler , M. Jantsch , K. Dalamagkidis und Alois Knoll In Intelligent Robots and Systems (IROS), 2012 IEEE/RSJ InternationalConference on, Seiten 445–450, Oktober 2012. Details DOI BIB
• Oktober 2012 Single Camera Visual Odometry Based on Random Finite Set Statistics Feihu Zhang , Hauke Stähle , Andre Gaschler , Christian Buckl und Alois Knoll In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oktober 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 und 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 und Daniel Ratiu In 2012 First IEEE International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), Seiten 27–30, September 2012. Details DOI BIB
• August 2012 Combining Classical and Embodied Multimodal Fusion for Human-Robot Interaction Manuel Giuliani und 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 und Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), Seiten 224, April 2012. Details DOI BIB
• März 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech , Dongyue Mou und Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), Seiten 13–27, Tallinn, Estonia, März 2012. Details DOI BIB
• Februar 2012 Scheduling shared memory multicore architectures in AutoFOCUS3 using Satisfiability Modulo Theories Sebastian Voss und Bernhard Schätz In Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, MBEES 2012, Februar 2012. Details URL BIB