Liste als BibTeX-Datei exportieren

2013

• 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
• 2012 {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} Christian Buckl , Dominik Sojer und Stephan Sommer In Eva Geisberger und Manfred Broy , Editor, . Springer, 2012. Details URL BIB
• 2012 SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern Klaus Becker , Christian Buckl , Alexander Camek , Reiner Falk , Ludger Fiege , Jürgen Gessner und Stephan Sommer In Automotive - Safety & Security, 2012. Details URL BIB
• 2012 agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems Eva Geisberger , Manfred Broy , Maria Victoria Cengarle , Patrick Keil , Jürgen Niehaus , Christian Thiel und Hans-Jürgen Thönnißen-Fries , , 2012. Details URL BIB
• 2012 An Automotive Side-View System Based on Ethernet and IP Alexander Camek , Christian Buckl , Pedro S. Correia und Alois Knoll In 26th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Seiten 238 - 243, 2012. Details BIB
• 2012 Applying formal software engineering techniques to smart grids Georg Hackenberg , Maximilian Irlbeck , Vasileios Koutsoumpas und Denis Bytschkow In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, Seiten 50–56, 2012. IEEE Press, Details BIB
• 2012 Behavioral specification based runtime monitors for OSGi services Jan Olaf Blech , Yliès Falcone , Harald Rueß und Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, 2012. Details BIB
• 2012 Behavioral Specification Based Runtime Monitors for OSGi Services Jan Olaf Blech , Yliès Falcone , Harald Rueß und Bernhard Schätz 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