Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2018
- Handling system complexity in sCPS: usable design space exploration In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Seiten 2–5, Mai 2018. IEEE, Details DOI BIB
- Applying DSE for Solving the Deployment Problem in Industry 4.0 In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
- Model-Based Calibration of a Robotic C-Arm System Using X-Ray Imaging Journal of Medical Robotics Research, ():, April 2018. Details DOI BIB
- Architecture Exploration for Safety-Critical Systems In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), März 2018. Details BIB
- Formal analysis of feature degradation in fault-tolerant automotive systems Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB
- Künstliche Intelligenz – Chancen für Wirtschaft und Gesellschaft in Bayern White Paper, Guerickestraße 25, 80805 München, März 2018. Details PDF BIB
- Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), Seiten 1005–1006, Dresden, Germany, März 2018. Details DOI BIB
- Roboter mit Hirn blog, März 2018. Details URL BIB
- KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner Journal of Artificial Intelligence Research, 61():323–362, Februar 2018. Details DOI BIB
- Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication In Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik, Februar 2018. Details PDF BIB
- Using IEC 61499 Models for Automatic Network Configuration of Distributed Automation Systems In 9th Vienna International Conference on Mathmatical Modelling (MATHMOD2018), Februar 2018. Details PDF BIB
- Prerequisite to Measure Information Security - A State of the Art Literature Review In Proceedings of the 4th International Conference on Information Systems Security and Privacy (ICISSP), Januar 2018. INSTICC, SciTePress. Details URL DOI BIB
- BMC with Memory Models as Modules In FMCAD, Seiten 1–9, 2018. IEEE. Details DOI BIB
- A Logical Framework with Commutative and Non-commutative Subexponentials 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
- Arch'N'Smile: A Jump'N'Run Game Using Facial Expression Recognition Control For Entertaining Children During Car Journeys In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, Seiten 335–339, 2018. ACM. Details URL DOI BIB
- Challenges in Skill-based Engineering of Industrial Automation Systems In Proceedings of the 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. IEEE. Details DOI BIB
- Compact and efficiently verifiable models for concurrent systems Formal Methods in System Design, 53():407–431, 2018. Details DOI BIB
- Comprehensive View on Architectural Requirements for Maintenance Information Systems Seiten 249-257, 2018. Details BIB
- Connecting PLCs with their Asset Administration Shell for Automatic Device Configuration In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
- Deep Reinforcement Learning for Predictive Longitudinal Control of Automated Vehicles In Proceedings of the 21st International Conference on Intelligent Transportation Systems (ITSC), Seiten 2391-2397, 2018. IEEE. Details URL DOI BIB