Wissenschaftliche Publikationen
2018
- 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 pages 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), pages 2391-2397, 2018. IEEE. Details URL DOI BIB
- Developing self-similar hybrid control architecture based on sgam-based methodology for distributed microgrids In 2018. Details BIB
- Early Take-Over Preparation in Stereoscopic 3D 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
- Effect-dependent transformations for concurrent programs Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB
- Enable Co-Simulation for Industrial Automation by an FMU Exporter for IEC 61499 Models In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
- Evidential and Continuous Integration of Software Verification Tools In Formal Methods, pages 679-685, Cham, 2018. Springer International Publishing. Details BIB
- Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, 2018. Details BIB
- Full contract verification for ATL using symbolic execution Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
- Highway Sensor System as Enabler for Autonomous Driving In volume CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains(2018), 2018. Details BIB
- Incorporating negative information to process discovery of complex systems Inf. Sci., 422():480–496, 2018. Details DOI BIB
- Modular Fault Ascription and Corrective Maintenance Using a Digital Twin IFAC-PapersOnLine, 51(11):1041–1046, 2018. Details BIB
- On the accuracy of formal verification of selective defenses for TDoS attacks J. Log. Algebr. Meth. Program., 94():45–67, 2018. Details URL DOI BIB
- Proof-Relevant Logical Relations for Name Generation Accepted to Logical Methods in Computer Science, ():, 2018. Details BIB
- Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), volume 11093 of Lecture Notes in Computer Science, pages 157–171, 2018. Springer. Details DOI BIB
- Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. In "Workshop on Foundations of Computer Security", 2018. Details BIB
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, ():, 2018. Details URL DOI BIB
- The Smile is The New Like: Controlling Music with Facial Expressions to Minimize Driver Distraction In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018. ACM. Details URL DOI BIB