Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2019
- 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
- Controlling a virtual rover using AutoFOCUS3 In Proceedings of the MDETools Workshop co-located with MODELS 2018, Band 2245 von CEUR Workshop Proceedings, Seiten 356–365, Oktober 2018. Details URL BIB
- Exploration of hardware topologies based on functions, variability and timing In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Seiten 145–149, Oktober 2018. ACM. Details DOI BIB
- From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures In Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Seiten 438–446, Oktober 2018. ACM, Details DOI BIB
- Optimization and Reconfiguration of IEC 61499-based Software Architectures In ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS) - Doctoral Symposium, Oktober 2018. Details DOI BIB
- Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Seiten 126–142, Oktober 2018. Details URL DOI BIB
- Toward an IT-strategy Approach for Small and Mid-sized Municipalities in a Federal System In 18th European Conference on Digital Government, Santiago de Compostela, Oktober 2018. Academic Conferences and Publishing International Limited. Details BIB