Bruno C. Teixeira

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias
Detecting concurrency anomalies in transactional memory programs. Comput. Sci. Inf. Syst. 8 (2) (2011)
Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa
Detection of Transactional Memory anomalies using static analysis. PDATAD (2010)