Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2019
- 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
- PerTract: Model Extraction and Specification of Big Data Systems for Performance Prediction by the Example of Apache Spark and Hadoop Big Data and Cognitive Computing, 3(3):, 2019. Details URL DOI BIB
- Real-Time Personalization in Adaptive IDEs Seiten 81-86, 2019. ACM. Details URL BIB
- Resource-Bounded Intruders in Denial of Service Attacks In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, Seiten 382–396, 2019. IEEE. Details DOI BIB
- Roadmap to Skill Based Systems Engineering In 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 1093–1100, 2019. IEEE. Details DOI BIB
- Sector Coupling with Optimization: A comparison between single buildings and combined quarters , 2019. Details BIB
- Sharing Economy: Potential im öffentlichen Sektor BERICHTE DES NEGZ, (5):, 2019. Details URL DOI BIB
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, 29(8):1217–1249, 2019. Details URL DOI BIB
- Symbolic Timed Trace Equivalence In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, Band 11565 von Lecture Notes in Computer Science, Seiten 89–111, 2019. Springer. Details DOI BIB
- Towards Automatically Identifying Potential Sustainability Effects of Requirements 8th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy), ():, 2019. Details BIB
- Towards Computer-Aided Software Requirements Process In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., Seiten 75–78, 2019. IEEE. Details BIB
- TSNsched: Automated Schedule Generation for Time Sensitive Networking In 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019, Seiten 69–77, 2019. Details DOI BIB
- Usability of Development Tools: A CASE-Study In the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Seiten 228-235, 2019. Details BIB