Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2019
- 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
- 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), Seiten 11-20, Dezember 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 Seiten 1053-1060, November 2018. Details URL DOI BIB
- [T3] Develop your Own Car Oktober 2018. Details URL BIB
- A modular approach to integrate verification tools in model based development In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 150–155, Oktober 2018. ACM. Details DOI BIB
- An Efficient and Time-Optimal Trajectory Generation Approach for Waypoints under Kinematic Constraints and Error Bounds In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Madrid, Spain, Oktober 2018. Details DOI BIB
- Applications in HHI: Physical Cooperation In Ambarish Goswami und Prahlad Vadakkepat , Editor, Humanoid Robotics: A Reference, . Springer, Oktober 2018. Details URL DOI BIB
- AutomationML Mechatronic Models as Enabler of Automation Systems Engineering: Use-case and Evaluation In Proceedings of 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Seiten 51 - 58, Oktober 2018. IEEE. Details DOI BIB