 | 2012 |
| 5 |  | Bruno Albertini,
Sandro Rigo,
Guido Araujo:
Computational reflection and its application to platform verification.
Design Autom. for Emb. Sys. 16(1): 1-17 (2012) |
| 2009 |
| 4 |  | Gabriel Marcilio,
Luiz C. V. dos Santos,
Bruno Albertini,
Sandro Rigo:
A novel verification technique to uncover out-of-order DUV behaviors.
DAC 2009: 448-453 |
| 2007 |
| 3 |  | Bruno Albertini,
Sandro Rigo,
Guido Araujo,
Cristiano C. de Araujo,
Edna Barros,
Willians Azevedo:
A computational reflection mechanism to support platform debugging in SystemC.
CODES+ISSS 2007: 81-86 |
| 2 |  | Fernando Kronbauer,
Alexandro Baldassin,
Bruno Albertini,
Paulo Centoducatte,
Sandro Rigo,
Guido Araujo,
Rodolfo Azevedo:
A Flexible Platform Framework for Rapid Transactional Memory Systems Prototyping and Evaluation.
IEEE International Workshop on Rapid System Prototyping 2007: 123-129 |
| 1 |  | Richard Maciel,
Bruno Albertini,
Sandro Rigo,
Guido Araujo,
Rodolfo Azevedo:
A Methodology and Toolset to Enable SystemC and VHDL Co-simulation.
ISVLSI 2007: 351-356 |