Diego de Azevedo Oliveira

According to our database, Diego de Azevedo Oliveira authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

TASTD: A Real-Time Extension for ASTD.

Diego de Azevedo Oliveira, Marc Frappier

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Modelling an Automotive Software System with TASTD.

Diego de Azevedo Oliveira, Marc Frappier

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2020

Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3.

Diego de Azevedo Oliveira, Marc Frappier

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

BTestBox: A Tool for Testing B Translators and Coverage of B Models.

Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante

Proceedings of the Tests and Proofs - 13th International Conference, 2019