Yuri Gil Dantas

Publikationen

Liste als BibTeX-Datei exportieren

• 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 und Sergey Tverdyshev SN Computer Science, 4(4):335, April 2023. Details DOI BIB
• März 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 und Pei Ke In 9th International Workshop on Automotive System/Software Architectures (WASA) co-located with ICSA 2023, IEEE. Details DOI BIB
• Februar 2023 Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns Yuri Gil Dantas und Vivek Nigam Transactions on Cyber-Physical Systems, 7(1):, Februar 2023. Details DOI BIB
• Februar 2023 Automating Vehicle SOA Threat Analysis using a Model-Based Methodology Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp, Simon Barner und Pei Ke In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP), Seiten 180-191, SciTePress. Details DOI BIB
• 2023 SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures Yuri Gil Dantas und Ulrich Schöpp In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP 2023), Seiten 264–275, SciTePress. Details DOI BIB
• Februar 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 und Sergey Tverdyshev In Proceeding of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Seiten 36–47, SCITEPRESS. Details DOI BIB
• Dezember 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas, Vivek Nigam und Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), Seiten 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 und 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 und 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 und 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 und Vivek Nigam In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, Seiten 17–31, Details URL DOI BIB