Safety Verification Expert at Huawei Munich Research Center
Collaborating Professor
Computer Networks Laboratory
Computer Science Department
Federal University of Paraíba



  • » Our paper Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform has been accepted to WASA 2023

  • » Our paper Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology has been accepted to ICISSP 2023

  • » All posts

Latest Work