Export list as BibTeX file

2018

• March 2018 Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in Bayern Harald Rueß and Helmut Krcmar White Paper, Guerickestraße 25, 80805 München, March 2018. Details PDF BIB
• March 2018 Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives Chih-Hong Cheng , Frederik Diehl , Gereon Michael Hinz , Yassine Hamza , Georg Nührenberg , Markus Rickert , Harald Rueß and Michael Truong Le In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 1005–1006, Dresden, Germany, March 2018. Details DOI BIB
• March 2018 Roboter mit Hirn Evdoxia Tsakiridou and Axel von Arnim blog, March 2018. Details URL BIB
• February 2018 KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner Andre Gaschler , Ronald P. A. Petrick , Oussama Khatib and Alois Knoll Journal of Artificial Intelligence Research, 61():323–362, February 2018. Details DOI BIB
• February 2018 Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication Caren Dripke , Ben Schneider , Mihai Dragan and Alexander Verl In Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik, February 2018. Details PDF BIB
• February 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider , Sebastian Voss , Monika Wenger and Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), February 2018. Details PDF BIB
• January 2018 Prerequisite to Measure Information Security - A State of the Art Literature Review Rainer Diesch , Matthias Pfaff and Helmut Krcmar In Proceedings of the 4th International Conference on Information Systems Security and Privacy (ICISSP), January 2018. INSTICC, SciTePress. Details URL DOI BIB
• 2018 BMC with Memory Models as Modules Hernán Ponce de León , Florian Furbach , Keijo Heljanko and Roland Meyer In FMCAD, pages 1–9, 2018. IEEE. Details DOI BIB
• 2018 A Logical Framework with Commutative and Non-commutative Subexponentials Max Kanovich , Stepan Kuznetsov , Vivek Nigam and Andre Scedrov In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pages 228–245, 2018. Details URL DOI BIB
• 2018 Arch'N'Smile: A Jump'N'Run Game Using Facial Expression Recognition Control For Entertaining Children During Car Journeys Niklas Müller , Bettina Eska , Richard Schäffer , Sarah Völkel , Michael Braun , Gesa Wiegand and Florian Alt In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, pages 335–339, 2018. ACM. Details URL DOI BIB
• 2018 Challenges in Skill-based Engineering of Industrial Automation Systems Somayeh Malakuti , Jürgen Bock , Michael Weser , Pierre Venet , Patrick Zimmermann , Mathias Wiegand , Julian Grothoff , Constantin Wagner and Andreas Bayha In Proceedings of the 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. IEEE. Details DOI BIB
• 2018 Compact and efficiently verifiable models for concurrent systems Hernán Ponce de León and Andrey Mokhov Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB
• 2018 Comprehensive View on Architectural Requirements for Maintenance Information Systems Andreas Reidt , Helmut Krcmar and Stefan Schuhbäck pages 249-257, 2018. Details BIB
• 2018 Connecting PLCs with their Asset Administration Shell for Automatic Device Configuration Monika Wenger , Thorsten Müller and Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
• 2018 Deep Reinforcement Learning for Predictive Longitudinal Control of Automated Vehicles Martin Buechel and Alois Knoll In Proceedings of the 21st International Conference on Intelligent Transportation Systems (ITSC), pages 2391-2397, 2018. IEEE. Details URL DOI BIB
• 2018 Developing self-similar hybrid control architecture based on sgam-based methodology for distributed microgrids Pragya Kirti Gupta and Markus Duchon In 2018. Details BIB
• 2018 Early Take-Over Preparation in Stereoscopic 3D Gesa Wiegand , Christian Mai , Yuanting Liu and Heinrich Hußmann In Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, pages 142–146, 2018. ACM. Details URL DOI BIB
• 2018 Effect-dependent transformations for concurrent programs Nick Benton , Martin Hofmann and Vivek Nigam Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB
• 2018 Enable Co-Simulation for Industrial Automation by an FMU Exporter for IEC 61499 Models Jose Cabral , Monika Wenger and Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
• 2018 Evidential and Continuous Integration of Software Verification Tools Tewodros Beyene and Harald Rueß In Formal Methods, pages 679-685, Cham, 2018. Springer International Publishing. Details BIB