Export list as BibTeX file

2016

• 2016 On Using Results of Code-level Bounded Model Checking in Assurance Carmen Cârlan , Daniel Ratiu and Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 9923 of LNCS, pages 30-42, 2016. Springer. Details DOI BIB
• 2016 Optimization of Deployment Topologies for Distributed Enterprise Applications Felix Willnecker and Helmut Krcmar In 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA , pages 106-115, 2016. Details DOI BIB
• 2016 PET: Continuous Performance Evaluation Tool Johannes Kroß , Felix Willnecker and Thomas Zwickl In Proceedings of the 2nd International Workshop on Quality-Aware DevOps, pages 42–43, New York, NY, USA, 2016. ACM. Details URL DOI BIB
• 2016 Referenzarchitektur für Cyber-physische Systeme zur Unterstützung der Instandhaltung Andreas Reidt and Helmut Krcmar In Multikonferenz Wirtschaftsinformatik (MKWI) 2016, pages 377-388, 2016. TU Ilmenau, Universitätsverlag Ilmenau. Details BIB
• 2016 Remote Monitoring Infrastructure for IEC 61499 Based Control Software Monika Wenger , Jan Olaf Blech , Ian Peake and Alois Zoitl In The 8th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT), 2016. Details BIB
• 2016 Secure run-time binary loading in a trusted real-time environment Andreas Ruhland Technical University of Munich, 2016. Details BIB
• 2016 SiaaS: Simulation as a Service Felix Willnecker , Christian Vögele and Helmut Krcmar In Proceedings of the Symposium on Software Performance (SSP 2016, 2016. Details BIB
• 2016 Stable Reinforcement Learning with Autoencoders for Tactile and Visual Data Herke van Hoof , Nutan Chen , Maximilian Karl , Patrick van der Smagt and Jan Peters In Proc. IEEE International Conference on Intelligent Robots and Systems (IROS), 2016. Details BIB
• 2016 Structural Synthesis for GXW Specifications Chih-Hong Cheng , Yassine Hamza and Harald Rueß In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pages 95–117, 2016. Details URL DOI BIB
• 2016 Variational Inference for On-line Anomaly Detection in High-Dimensional Time Series Maximilian Sölch , Justin Bayer , Marvin Ludersdorfer and Patrick van der Smagt In International Conference on Learning Representations (ICLR), 2016. Details URL BIB

2015

• December 2015 Automatic Reengineering of IEC 61131-Based Control Applications into IEC 61499 Monika Wenger , Alois Zoitl and Georg Schitter CRC Press, December 2015. Details BIB
• December 2015 Cloud Based Monitoring of Timed Events for Industrial Automation - Short Paper Monika Wenger , Alois Zoitl , Jan Olaf Blech , Ian Peake and Lasith Fernando In International Workshop on Automated Testing of Cyber-Physical Systems in the Cloud (cpsATcloud), December 2015. Details BIB
• December 2015 Hierarchically Structured Control Application for Pick and Place Station Monika Wenger , Milan Vathoopan , Herbert Prähofer and Alois Zoitl CRC Press, December 2015. Details BIB
• December 2015 Object Detection Using Boundary Representations of Primitive Shapes Nikhil Somani , Alexander Perzylo , Caixia Cai , Markus Rickert and Alois Knoll In Proceedings of the IEEE International Conference on Robotics and Biomimetics (ROBIO), pages 108–113, Zhuhai, China, December 2015. Details URL DOI BIB
• December 2015 Prioritized Motion-Force Control of Multi-Constraints for Industrial Manipulators Caixia Cai , Nikhil Somani , Markus Rickert and Alois Knoll In Proceedings of the IEEE International Conference on Robotics and Biomimetics (ROBIO), pages 952–957, Zhuhai, China, December 2015. Details DOI BIB
• November 2015 A visual tracking model implemented on the iCub robot as a use case for a novel neurorobotic toolkit integrating brain and physics simulation Lorenzo Vannucci , Alessandro Ambrosano , Nino Cauli , Ugo Albanese , Egidio Falotico , Stefan Ulbrich , Lars Pfotzer , Georg Hinkel , Oliver Denninger , Daniel Peppicelli , Luc Guyot and Axel von Arnim In Proceedings of the IEEE-RAS International Conference on Humanoid Robots (Humanoids), pages 1179–1184, Seoul, South Korea, November 2015. Details URL PDF DOI BIB
• November 2015 Modeling Big Data Systems by Extending the Palladio Component Model Johannes Kroß , Andreas Brunnert and Helmut Krcmar Softwaretechnik-Trends, 35(3):, November 2015. Details URL BIB
• November 2015 Multimodal Human Activity Recognition for Industrial Manufacturing Processes in Robotic Workcells Alina Roitberg , Nikhil Somani , Alexander Perzylo , Markus Rickert and Alois Knoll In Proceedings of the ACM International Conference on Multimodal Interaction (ICMI), pages 259–266, Seattle, WA, USA, November 2015. Details URL DOI BIB
• November 2015 Ubiquitous Semantics: Representing and Exploiting Knowledge, Geometry, and Language for Cognitive Robot Systems Alexander Perzylo , Nikhil Somani , Stefan Profanter , Andre Gaschler , Sascha Griffiths , Markus Rickert and Alois Knoll In Proceedings of the Workshop Towards Intelligent Social Robots - Current Advances in Cognitive Robotics, IEEE/RAS International Conference on Humanoid Robots (HUMANOIDS), Seoul, South Korea, November 2015. Details URL BIB
• October 2015 Evaluation of a 9D-Position Measurement Method of a C-Arm Based on X-Ray Projections Sabine Thürauf , Oliver Hornung , Mario Körner , Florian Vogt , M. Ali Nasseri and Alois Knoll In Proceedings of the Workshop on Interventional Microscopy, International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI), Munich, Germany, October 2015. Details BIB