Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2019
- A general proof certification framework for modal logic Mathematical Structures in Computer Science, 29(8):1344–1378, 2019. Details DOI BIB
- A Hybrid Approach of Solar Power Forecasting Using Machine Learning Seiten 108-113, 2019. Details DOI BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, Band 11565 von Lecture Notes in Computer Science, Seiten 192–213, 2019. Springer. Details BIB
- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Seiten 192–213, 2019. Details DOI BIB
- A Perspective On Digital Wellbeing In the he ACM Conference on Human Factors in Computing System, Workshop on Designing for Digital Wellbeing, . 2019. Details BIB
- An OPC UA based Energy Management Platform for Multi-Energy Prosumers in Districts , 2019. Details BIB
- Benefits and Challenges of Smart Highways for the User In IUI Workshops, 2019. Details BIB
- BLE Injection-Free Attack: A Novel Attack On Bluetooth LowEnergy Devices Journal of Ambient Intelligence and Humanized Computing, ():, 2019. Details BIB
- Cooperative Multi-Vehicle Behavior Coordination for Autonomous Driving IEEE Intelligent Vehicles Symposium (IV), ():, 2019. Details BIB
- Design and Runtime Verification Side-by-Side in eTrice In Proceedings of the NASA Formal Methods Symposium, Band 11460 von LNCS, Seiten 255–262, 2019. Springer. Details DOI BIB
- Effective Management of Standardizing in E-Government IGI Global, Hershey, PA, USA, 1 Ausgabe, 2019. Details URL DOI BIB
- ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models In 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. Details DOI BIB
- Formal Security Verification of Industry 4.0 Applications In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, Seiten 1043–1050, 2019. IEEE. Details DOI BIB
- I Drive - You Trust: Explaining Driving Behavior Of Autonomous Cars In Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, Seiten LBW0163:1–LBW0163:6, 2019. ACM. Details URL DOI BIB
- ICT gateway to simulation environment for electrical fault injection and recovery In 2019 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, 2019. Details DOI BIB
- InCarAR: A Design Space Towards 3D Augmented Reality Applications in Vehicles In Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2019. ACM. Details DOI BIB
- Interactive Image Restoration In the Neural Information Processing Systems 2019, Human-centric Machine Learning Workshop, . 2019. Details URL BIB
- Logical and Semantic Frameworks with Applications Theor. Comput. Sci., 781():1–2, 2019. Details URL DOI BIB
- On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
- On Integrating Design Thinking for a Human-centered Requirements Engineering IEEE Software, ():, 2019. Details URL BIB