Vasco Pessanha

According to our database, Vasco Pessanha authored at least 3 papers between 2009 and 2012.

Collaborative distances:

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

2012

Precise Detection of Atomicity Violations.

Ricardo J. Dias, Vasco Pessanha, João Lourenço

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Practical verification of high-level dataraces in transactional memory programs.

Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2009

Understanding the behavior of transactional memory applications.

João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009