Bruno D. Miranda

According to our database, Bruno D. Miranda authored at least 2 papers in 2025.

Collaborative distances:

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

2025

A Canonical Test Representation for Verification of Shared-Memory Behavior in Multiprocessor Systems.

Bruno D. Miranda, Márcio Castro, Luiz Cláudio Villar dos Santos

ACM Trans. Design Autom. Electr. Syst., September, 2025

Multicore Environment State Representation for Agent-Directed Test Generation.

Bruno D. Miranda, Luiz M. V. Pereira, Márcio Castro, Luiz C. V. dos Santos

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025