Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2018
- Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Seiten 279–290, Juli 2018. Details URL DOI BIB
- ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Juni 2018. Details URL BIB
- Skill-based Engineering Approach using OPC UA Programs In IEEE 16th International Conference of Industrial Informatics (INDIN), Juni 2018. Details BIB
- Towards a Common Manufacturing Service Bus to Enable Flexible Plug-and-Produce Automation In ISR 2018; 50th International Symposium on Robotics, Juni 2018. Details BIB
- 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