Export list as BibTeX file

2016

• 2016 Efficient CTL Verification via Horn Constraints Solving Tewodros Beyene , Corneliu Popeea and Andrey Rybalchenko In HCVS@ETAPS, 2016. Details BIB
• 2016 Engineering of Automation Systems using a Metamodel implemented in AutomationML Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Xiaoping Chen , Peter Stone , LuisEnrique Sucar and Tijn van der Zant , editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, pages 363–370, 2016. IEEE, Details BIB
• 2016 Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung Andreas Reidt and Helmut Krcmar In Cloud-Services aus der Geschäftsperspektive, pages 143-157, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB
• 2016 Evaluation of joint type modelling in the human hand Agneta Gustus and Patrick van der Smagt Journal of Biomechanics, ():, 2016. Details DOI BIB
• 2016 FAT-SCHRIFTENREIHE 287 - Future Programming Paradigms in the Automotive Industry Zaur Molotnikov , Konstantin Schorp , Vincent Aravantinos and Bernhard Schätz 2016. Details URL BIB
• 2016 Handling errors in dynamic production environments Nadine Keddis , Gerd Kainz , Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Jon Whittle , Tony Clark and Thomas Kühne , editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, pages 148–153, 2016. IEEE, Details BIB
• 2016 Hierarchically Structured Control Application for Pick and Place Station Monika Wenger , Milan Vathoopan , Alois Zoitl and Herbert Prähofer In Robert France , Jürgen Kazmeier , Ruth Breu and Colin Atkinson , editor, Distributed Control Applications, . CRC Press, 2016. Details BIB
• 2016 Improving maintenance processes with distributed monitoring systems Hans Fleischmann , Johannes Kohl , Jörg Franke , Andreas Reidt , Markus Duchon and Helmut Krcmar pages 377-382, 2016. Details BIB
• 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan , Tewodros Beyene and Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 221–228, 2016. IEEE. Details DOI BIB
• 2016 Motion Planning for Nonholonomic Vehicles with Space Exploration Guided Heuristic Search Chao Chen Technische Universität München, 2016. Details URL BIB
• 2016 Motivation, Bausteine und Vorgehensweise Jan Wollersheim , Patrick Hoberg , Andreas Reidt and Helmut Krcmar In Cloud-Services aus der Geschäftsperspektive, pages 3-14, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB
• 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