Diego de Azevedo Oliveira

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Driver Assistance

Access Control Policies

Hardware Design

Top Venues

Publications

Diego de Azevedo Oliveira, Marc Frappier
TASTD: A Real-Time Extension for ASTD. ABZ (2023)
Diego de Azevedo Oliveira, Marc Frappier
Modelling an Automotive Software System with TASTD. ABZ (2023)
Diego de Azevedo Oliveira, Marc Frappier
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. ABZ (2020)
Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante
BTestBox: A Tool for Testing B Translators and Coverage of B Models. TAP@FM (2019)