Leandro S. Freitas

According to our database, Leandro S. Freitas authored at least 4 papers between 2010 and 2013.

Collaborative distances:

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

2013

On-the-fly verification of memory consistency with concurrent relaxed scoreboards.

Leandro S. Freitas, Eberle A. Rambo, Luiz C. V. dos Santos

Proceedings of the Design, Automation and Test in Europe, 2013

2012

A template for the construction of efficient checkers with full verification guarantees.

Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos

Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Efficient verification of out-of-order behaviors with relaxed scoreboards.

Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

2010

Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology.

Walter Luís Mikos, João Carlos Espíndola Ferreira, Paulo Eduardo Albuquerque Botura, Leandro S. Freitas

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010