Scientific publications

Export list as BibTeX file

2018

• 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 Vogel , 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
• 2018 Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations Wei Chen , Yuhui Lin , Vashti Galpin , Vivek Nigam , Myungjin Lee and David Aspinall In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, 2018. Details BIB
• 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes , Javier Troya , Levi Lúcio and Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
• 2018 Highway Sensor System as Enabler for Autonomous Driving Gesa Wiegand and Yuanting Liu In volume CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains(2018), 2018. Details BIB