Rafael Garlet de Oliveira

According to our database, Rafael Garlet de Oliveira authored at least 2 papers between 2011 and 2025.

Collaborative distances:

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

2025

Hierarchical supervisory control of discrete event systems based on reliable events.

Rafael Garlet de Oliveira, Max Hering de Queiroz, José Eduardo Ribeiro Cury

Discret. Event Dyn. Syst., March, 2025

2011

Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.

Rafael Garlet de Oliveira, Gabriel H. R. Santos, Jean-Marie Farines, Leandro Buss Becker

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011