Scientific publications
2019
- 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
- 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, pages 150–155, October 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, October 2018. Details DOI BIB
- Applications in HHI: Physical Cooperation In Ambarish Goswami and Prahlad Vadakkepat , editor, Humanoid Robotics: A Reference, . Springer, October 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), pages 51 - 58, October 2018. IEEE. Details DOI BIB
- Controlling a virtual rover using AutoFOCUS3 In Proceedings of the MDETools Workshop co-located with MODELS 2018, volume 2245 of CEUR Workshop Proceedings, pages 356–365, October 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, pages 145–149, October 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, pages 438–446, October 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, October 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, pages 126–142, October 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, October 2018. Academic Conferences and Publishing International Limited. Details BIB
- Towards Dependability Metrics for Neural Networks In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, pages 43–46, October 2018. Details URL DOI BIB
- Alternatives for Flexible Deployment Architectures in Industrial Automation Systems In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB