Below is the list of my publications, and reference in Bibtex format.
The PDF files are hosted externally. Please contact me if you can not access them.

(pdf,bib) - P. Gomes, D. Gurov, M. Huisman, C. Artho . Specification and Verification of Synchronization with Condition Variables. Science of Computer Programming. 2018.

(pdf,bib) - P. Gomes, D. Gurov and M. Huisman. Specification and Verification of Synchronization with Condition Variables. 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS). 2017.

(pdf,bib) - P. Gomes. Automatic Extraction of Program Models for Formal Software Verification. Doctoral thesis. KTH Royal Institute of Technology. 2015.

(pdf,bib) - P. Gomes, D. Gurov and M. Huisman. Algorithmic Verification of Synchronization with Condition Variables. Technical Report. 2015.

(pdf,bib) - A. Amighi, P. Gomes, D. Gurov and M. Huisman. Provably Correct Control Flow Graphs from Java Bytecode Programs with Exceptions. International Journal on Software Tools for Technology Transfer (STTT). Springer. 2015.

(pdf,bib) - P. Gomes, A. Picoco and D. Gurov. Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. 17th International Conference on Fundamental Approaches to Software Engineering (FASE). 2014.

(pdf,bib) - A. Vieira, A. da Silva, F. Henrique, G. Goncalves, P. Gomes. SopCast P2P Live Streaming: Live Session Traces and Analysis. 4th ACM Multimedia Systems Conference (MMSys). 2013.

(pdf,bib) - P. Gomes. Sound Modular Extraction of Control Flow Graphs from Java Bytecode. Licentiate thesis. KTH Royal Institute of Technology. 2012.

(pdf,bib) - P. Gomes, A. Picoco and D. Gurov. Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems. Technical Report. 2012.

(pdf,bib) - A. Amighi, P. Gomes, D. Gurov and M. Huisman. Sound Control-Flow Graph Extraction for Java Programs with Exceptions. 10th International Conference on Software Engineering and Formal Methods (SEFM). 2012.

(pdf,bib) - P. Gomes, S. Campos. and A. Vieira. Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions. International Conference on High Performance Computing and Simulation (HPCS/MOSPAS). 2012.

(pdf,bib) - A. Amighi, P. Gomes, D. Gurov and M. Huisman. Provably Correct Control-Flow Graphs from Java programs with Exceptions. Technical Report. 2012.

(pdf,bib) - A. Vieira, P. Gomes, J. Nacif, R. Mantini, J. Almeida and S. Campos. Characterizing SopCast Client Behavior. Computer Communications. Elsevier. 2012.

(pdf,bib) - A. Amighi, P. Gomes and M. Huisman. Provably Correct Control-Flow Graphs from Java programs with Exceptions. In pre-proceedings of Formal Verification of Object-Oriented Systems (FoVeOos). 2011.

(pdf,bib) - P. Gomes. Verification of Symmetric Models Using Semiautomatic Abstractions. M.Sc. Thesis. Universidade Federal de Minas Gerais. 2010.

(pdf,bib) - J. Oliveira; A. Vieira; P. Gomes; S. Campos. Centralidade em Redes P2P de Transmissão ao Vivo. In VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P). 2010.

(pdf,bib) - A. Vieira, P. Gomes, M. Rocha, J. Almeida and S. Campos. A behaviour model of the SopCast users. Proceedings of the XV Brazilian Symposium on Multimedia and the Web (WebMedia). 2009.