Liste als BibTeX-Datei exportieren

2018

• Februar 2018 KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner Andre Gaschler , Ronald P. A. Petrick , Oussama Khatib und Alois Knoll Journal of Artificial Intelligence Research, 61():323–362, Februar 2018. Details DOI BIB
• Februar 2018 Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication Caren Dripke , Ben Schneider , Mihai Dragan und Alexander Verl In Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik, Februar 2018. Details PDF BIB
• Februar 2018 Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems Ben Schneider , Sebastian Voss , Monika Wenger und Alois Zoitl In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), Februar 2018. Details PDF BIB
• Januar 2018 Prerequisite to Measure Information Security - A State of the Art Literature Review Rainer Diesch , Matthias Pfaff und Helmut Krcmar In Proceedings of the 4th International Conference on Information Systems Security and Privacy (ICISSP), Januar 2018. INSTICC, SciTePress. Details URL DOI BIB
• 2018 BMC with Memory Models as Modules Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In FMCAD, Seiten 1–9, 2018. IEEE. Details DOI BIB
• 2018 A Logical Framework with Commutative and Non-commutative Subexponentials Max Kanovich , Stepan Kuznetsov , Vivek Nigam und 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, Seiten 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 und Florian Alt In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, Seiten 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 und 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 und 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 und Stefan Schuhbäck Seiten 249-257, 2018. Details BIB
• 2018 Connecting PLCs with their Asset Administration Shell for Automatic Device Configuration Monika Wenger , Thorsten Müller und 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 und Alois Knoll In Proceedings of the 21st International Conference on Intelligent Transportation Systems (ITSC), Seiten 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 und Markus Duchon In 2018. Details BIB
• 2018 Early Take-Over Preparation in Stereoscopic 3D Gesa Wiegand , Christian Mai , Yuanting Liu und Heinrich Hußmann In Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Seiten 142–146, 2018. ACM. Details URL DOI BIB
• 2018 Effect-dependent transformations for concurrent programs Nick Benton , Martin Hofmann und 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 und 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 und Harald Rueß In Formal Methods, Seiten 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 und 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 und Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
• 2018 Highway Sensor System as Enabler for Autonomous Driving Gesa Wiegand und Yuanting Liu In Band CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains(2018), 2018. Details BIB