Yuri Gil Dantas

Publications

Export list as BibTeX file

• April 2023 A Toolchain for Synthesizing and Validating Safety Architectures Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp and Sergey Tverdyshev SN Computer Science, 4(4):335, April 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, IEEE. Details DOI BIB
• February 2023 Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns Yuri Gil Dantas and Vivek Nigam Transactions on Cyber-Physical Systems, 7(1):, February 2023. 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, SciTePress. Details DOI BIB
• 2023 SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures Yuri Gil Dantas and Ulrich Schöpp In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP 2023), pages 264–275, SciTePress. Details DOI BIB
• February 2022 A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp and Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages 36–47, 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, IEEE. Details DOI BIB
• September 2020 Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, Details BIB
• September 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, Details BIB
• 2018 On the accuracy of formal verification of selective defenses for TDoS attacks Marcilio Lemos, Yuri Gil Dantas, Iguatemi Fonseca and Vivek Nigam J. Log. Algebr. Meth. Program., 94():45–67, 2018. Details URL DOI BIB
• 2017 Slow TCAM Exhaustion DDoS Attack Tulio Pascoal, Yuri Gil Dantas, Iguatemi Fonseca and Vivek Nigam In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, pages 17–31, Details URL DOI BIB