Scientific publications
2021
- Unsupervised Learning of Joint Embeddings for Node Representation and Community Detection In the Machine Learning and Knowledge Discovery in Databases. Research Track - European Conference (2021), 2021. Details URL BIB
- Vision for an Artefact-based Approach to Regulatory Requirements Engineering , 2021. ACM. Details URL BIB
2020
- A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control In IEEE Vehicular Networking Conference (VNC), pages 1-8, December 2020. IEEE. Details DOI BIB
- Architectures for Flexible Collaborative Systems Springer International Publishing, December 2020. Details DOI BIB
- Linear Differential Games for Cooperative Behavior Planning of Autonomous Vehicles Using Mixed-Integer Programming In Proceedings of 59th IEEE Conference on Decision and Control (CDC), Seogwipo, South Korea, December 2020. Details BIB
- A Review on Scaling Mobile Sensing Platforms for Human Recognition: Challenges and Recommendations for Future Research MDPI IoT, November 2020. https://doi.org/10.3390/iot1020025, ():, November 2020. Details URL DOI BIB
- Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis In Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020), November 2020. Details DOI BIB
- Harmonic frequency estimation with MEMO-ESPRIT Technique using MATLAB and Python pages 1–4, November 2020. Details BIB
- 6D Pose Estimation for Flexible Production with Small Lot Sizes based on CAD Models using Gaussian Process Implicit Surfaces In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, October 2020. Details BIB
- A Discussion on Context-awareness to Better Support the IoT Cloud/Edge Continuum IEEE Access, volume 8. DOI: 10.1109/ACCESS.2020.3032388, ():, October 2020. Details URL BIB
- BARK: Open Behavior Benchmarking in Multi-Agent Environments In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Las Vegas, NV, USA, October 2020. Details BIB
- Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products In Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE, October 2020. IEEE. Details URL BIB
- Formalizing Traffic Rules for Machine Interpretability In Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium (CAVS), Victoria, B.C. Canada, October 2020. Details BIB
- Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic Environments In In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), October 2020. Details BIB
- Optimal Behavior Planning for Autonomous Driving: A Generic Mixed-Integer Formulation In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), Las Vegas, NV, USA, October 2020. Details BIB
- FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 298–306, September 2020. Springer. Details DOI BIB
- A Safety Case Pattern for Systems with Machine Learning Components In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS, pages 370–382, September 2020. Springer. Details DOI BIB
- An Ontology-based Metamodel for Capability Descriptions In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), pages 1679–1685, Vienna, Austria, September 2020. Details URL DOI BIB
- Firefighter Virtual Reality Simulation for Personalized Stress Detection In the 43rd German Conference on AI, pages 343-347, September 2020. Springer. Details BIB
- Generation of Co-simulation Algorithms Subject to Simulator Contracts In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, September 2020. Springer, Cham. Details DOI BIB