4 | João Lourençohttps://joaomlourenco.github.io/publication-type/4.html4Wowchemy (https://wowchemy.com)en-usSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/media/icon_hu11734318148517933569.png4https://joaomlourenco.github.io/publication-type/4.htmlDetection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approachhttps://joaomlourenco.github.io/publications/tr-2011a-dias.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/tr-2011a-dias.htmlStarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programshttps://joaomlourenco.github.io/publications/tr-2011b-dias.htmlSat, 01 Jan 2011 00:00:00 +0000https://joaomlourenco.github.io/publications/tr-2011b-dias.htmlFlexible Interface for Distributed Debugging (Library and Engine): Reference Manualhttps://joaomlourenco.github.io/publications/fiddle-2000-lourenco.htmlFri, 01 Dec 2000 00:00:00 +0000https://joaomlourenco.github.io/publications/fiddle-2000-lourenco.htmlA Software Architecture for the Integration of Monitoring, Debugging and Profiling Tools for Parallel Program Developmenthttps://joaomlourenco.github.io/publications/paste-1998-cunha.htmlSun, 01 Nov 1998 00:00:00 +0000https://joaomlourenco.github.io/publications/paste-1998-cunha.htmlIntegration of STEPS and DDBGhttps://joaomlourenco.github.io/publications/stepsddbg-1996-neyman.htmlMon, 01 Jul 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/stepsddbg-1996-neyman.htmlDDBG: A distributed debugger–user’s guidehttps://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_sepp_project_copernicus_programme_5th_progress_report._university_of_westminster_london_uk_ddbg_a_distributed.htmlMonitoring and Debugging Supporthttps://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.htmlMon, 01 Jan 1996 00:00:00 +0000https://joaomlourenco.github.io/publications/1996_cunha_unknown_journal_monitoring_and_debugging.htmlA Layered Architecture for Group-Oriented Parallel and Distributed Logic Programminghttps://joaomlourenco.github.io/publications/jlp-1995-cunha.htmlSun, 01 Jan 1995 00:00:00 +0000https://joaomlourenco.github.io/publications/jlp-1995-cunha.html