Login / Signup
Leandro S. Freitas
Publication Activity (10 Years)
Years Active: 2010-2013
Publications (10 Years): 0
Top Topics
Memory Size
Computationally Expensive
Multi Threaded
Signature Verification
Top Venues
ICECS
ICCD
DATE
</>
Publications
</>
Leandro S. Freitas
,
Eberle A. Rambo
,
Luiz C. V. dos Santos
On-the-fly verification of memory consistency with concurrent relaxed scoreboards.
DATE
(2013)
Leandro S. Freitas
,
Gabriel A. G. Andrade
,
Luiz C. V. dos Santos
Efficient verification of out-of-order behaviors with relaxed scoreboards.
ICCD
(2012)
Leandro S. Freitas
,
Gabriel A. G. Andrade
,
Luiz C. V. dos Santos
A template for the construction of efficient checkers with full verification guarantees.
ICECS
(2012)
Walter Luís Mikos
,
João Carlos Espíndola Ferreira
,
Paulo Eduardo Albuquerque Botura
,
Leandro S. Freitas
Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology.
CASE
(2010)