Liste als BibTeX-Datei exportieren

2016

• 2016 Efficient CTL Verification via Horn Constraints Solving Tewodros Beyene , Corneliu Popeea und Andrey Rybalchenko In HCVS@ETAPS, 2016. Details BIB
• 2016 Engineering of Automation Systems using a Metamodel implemented in AutomationML Benjamin Brandenbourger , Milan Vathoopan und Alois Zoitl In Xiaoping Chen , Peter Stone , LuisEnrique Sucar und Tijn van der Zant , Editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, Seiten 363–370, 2016. IEEE, Details BIB
• 2016 Entwicklung und Implementierung eines Softwareprototyps zur Informationsunterstützung und Qualitätsbewertung Andreas Reidt und Helmut Krcmar In Cloud-Services aus der Geschäftsperspektive, Seiten 143-157, 2016. Springer Fachmedien Wiesbaden. Details DOI BIB
• 2016 Evaluation of joint type modelling in the human hand Agneta Gustus und 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 und Bernhard Schätz 2016. Details URL BIB
• 2016 Handling errors in dynamic production environments Nadine Keddis , Gerd Kainz , Benjamin Brandenbourger , Milan Vathoopan und Alois Zoitl In Jon Whittle , Tony Clark und Thomas Kühne , Editor, Industrial Informatics (INDIN), 2016 IEEE 14th International Conference on, Seiten 148–153, 2016. IEEE, Details BIB
• 2016 Hierarchically Structured Control Application for Pick and Place Station Monika Wenger , Milan Vathoopan , Alois Zoitl und Herbert Prähofer In Robert France , Jürgen Kazmeier , Ruth Breu und 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 und Helmut Krcmar Seiten 377-382, 2016. Details BIB
• 2016 Integrated Formal Methods for Constructing Assurance Cases Carmen Cârlan , Tewodros Beyene und Harald Rueß In Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Seiten 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 und Helmut Krcmar In Cloud-Services aus der Geschäftsperspektive, Seiten 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 und Bernhard Schätz In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 9923 von LNCS, Seiten 30-42, 2016. Springer. Details DOI BIB
• 2016 Optimization of Deployment Topologies for Distributed Enterprise Applications Felix Willnecker und Helmut Krcmar In 2016 12th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA , Seiten 106-115, 2016. Details DOI BIB
• 2016 PET: Continuous Performance Evaluation Tool Johannes Kroß , Felix Willnecker und Thomas Zwickl In Proceedings of the 2nd International Workshop on Quality-Aware DevOps, Seiten 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 und Helmut Krcmar In Multikonferenz Wirtschaftsinformatik (MKWI) 2016, Seiten 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 und 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 und 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 und 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 und Harald Rueß In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, Seiten 95–117, 2016. Details URL DOI BIB