Wissenschaftliche Publikationen
2019
- 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 pages 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, pages 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), pages 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, volume 11565 of Lecture Notes in Computer Science, pages 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., pages 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, pages 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, pages 228-235, 2019. Details BIB
- Verification of Ada Programs with AdaHorn Ada User Journal, 40(2):103-108, 2019. Details BIB
- Verification of Ada Programs with AdaHorn Ada User Journal, ():, 2019. Details BIB
2018
- A Bird's Eye View on Requirements Engineering and Machine Learning In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC), pages 11-20, December 2018. Details DOI BIB
- Experience-Based Heuristic Search: Robust Motion Planning with Deep Q-Learning , November 2018. IEEE, IEEE. Details BIB
- Intelligent Hardware-Software Platform for Efficient Coupling of Water-Energy Nexus in Smart Cities: A Conceptual Framework , ():, November 2018. Details BIB
- Roadgraph Generation and Free-Space Estimation in Unknown Structured Environments for Autonomous Vehicle Motion Planning Details URL DOI BIB
- Spatiotemporal Motion Planning with Combinatorial Reasoning for Autonomous Driving pages 1053-1060, November 2018. Details URL DOI BIB
- [T3] Develop your Own Car October 2018. Details URL BIB