Export list as BibTeX file

2013

• 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
• 2012 {Agenda CPS - Integrierte Forschungsagenda Cyber-Physical Systems} Christian Buckl , Dominik Sojer and Stephan Sommer In Eva Geisberger and 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 and 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 and 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 and Alois Knoll In 26th International Conference on Advanced Information Networking and Applications Workshops (WAINA), pages 238 - 243, 2012. Details BIB
• 2012 Applying formal software engineering techniques to smart grids Georg Hackenberg , Maximilian Irlbeck , Vasileios Koutsoumpas and Denis Bytschkow In Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, pages 50–56, 2012. IEEE Press, Details BIB
• 2012 Behavioral specification based runtime monitors for OSGi services Jan Olaf Blech , Yliès Falcone , Harald Rueß and 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ß and 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, pages 405–419, 2012. Details URL DOI BIB