Detection of Transactional Memory anomalies using static analysis. - Bruno C. Teixeira; João Lourenço; Eitan Farchi; Ricardo J. Dias; Diogo Sousa 001 (PDATAD, 2010)

Practical verification of high-level dataraces in transactional memory programs. - Vasco Pessanha; Ricardo J. Dias; João Lourenço; Eitan Farchi; Diogo Sousa 001 (PADTAD, 2011)

Detecting concurrency anomalies in transactional memory programs. - João Lourenço; Diogo Sousa 001; Bruno C. Teixeira; Ricardo J. Dias (Comput. Sci. Inf. Syst., 2011)

Using program closures to make an application programming interface (API) implementation thread safe. - Eitan Farchi; Itai Segall; João Lourenço; Diogo Sousa 001 (PADTAD, 2012)

Preventing Atomicity Violations with Contracts. - Diogo G. Sousa; Ricardo J. Dias; Carla Ferreira 001; João Lourenço (CoRR, 2015)

Verifying Concurrent Programs Using Contracts. - Ricardo J. Dias; Carla Ferreira 001; Jan Fiedor; João M. Lourenço; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar (ICST, 2017)