Scientific publications

Keywords: AF3

2023

March 2023 Implementing a Model-based Engineering Tool as Web Application Florian Hölzl and Simon Barner arXiv:2302.14091 [cs.SE], March 2023. Details DOI BIB
March 2023 Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform Tarik Terzimehić , Simon Barner , Yuri Gil Dantas , Ulrich Schöpp , Vivek Nigam and Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, March 2023. IEEE. Details DOI BIB
February 2023 Automating Vehicle SOA Threat Analysis using a Model-Based Methodology Yuri Gil Dantas , Vivek Nigam , Ulrich Schöpp , Simon Barner and Pei Ke In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), pages 180-191, February 2023. SciTePress. Details DOI BIB

December 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas , Vivek Nigam and Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), pages 1-8, December 2020. IEEE. Details DOI BIB