| Characterizing sopcast client behavior A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos Computer Communications 35 (8), 1004-1016, 2012 | 42 | 2012 |
| Sound control-flow graph extraction for Java programs with exceptions A Amighi, P de C. Gomes, D Gurov, M Huisman Software Engineering and Formal Methods: 10th International Conference, SEFM …, 2012 | 27 | 2012 |
| Sopcast p2p live streaming: Live session traces and analysis AB Vieira, APC da Silva, F Henrique, G Goncalves, P de Carvalho Gomes Proceedings of the 4th ACM multimedia systems conference, 125-130, 2013 | 25 | 2013 |
| Specification and verification of synchronization with condition variables PC Gomes, D Gurov, M Huisman, C Artho Science of computer programming 163, 174-189, 2018 | 14 | 2018 |
| Provably correct control-flow graphs from Java programs with exceptions A Amighi, P de Carvalho Gomes, D Gurov, M Huisman KTH Royal Institute of Technology and University of Twente, 2012 | 12 | 2012 |
| Provably correct control flow graphs from Java bytecode programs with exceptions A Amighi, PC Gomes, D Gurov, M Huisman International journal on software tools for technology transfer 18, 653-684, 2016 | 10 | 2016 |
| Sound control flow graph extraction from incomplete Java bytecode programs P de Carvalho Gomes, A Picoco, D Gurov Fundamental Approaches to Software Engineering: 17th International …, 2014 | 8 | 2014 |
| Algorithmic verification of multithreaded programs with condition variables P de Carvalho Gomes, D Gurov, M Huisman Technical report, KTH Royal Institute of Technology, 2015 | 4 | 2015 |
| A behaviour model of the sopcast users AB Vieira, P Gomes, M Rocha, J Almeida, S Campos Proceedings of the XV Brazilian Symposium on Multimedia and the Web, 1-8, 2009 | 4 | 2009 |
| Centralidade em redes p2p de transmissão ao vivo J Oliveira, AB Vieira, P de Carvalho Gomes, SV de Aguiar Campos VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P), 2010 | 3 | 2010 |
| Sound Modular Extraction of Control Flow Graphs from Java Bytecode PC Gomes KTH Royal Institute of Technology, 2012 | 2 | 2012 |
| Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions P de Carvalho Gomes, SVA Campos, AB Vieira 2012 International Conference on High Performance Computing & Simulation …, 2012 | 1 | 2012 |
| Sound extraction of control-flow graphs from open java bytecode systems P de Carvalho Gomes, A Picoco, D Gurov | 1 | 2012 |
| Verification of symmetric models using semiautomatic abstractions P de Carvalho Gomes Universidade Federal de Minas Gerais, 2010 | 1 | 2010 |
| Modelo de Comportamento dos Participantes do SopCast. AB Vieira, P Gomes, M Rocha, J Almeida, S Campos Webmedia, 2009 | 1 | 2009 |
| Automatic Extraction of Program Models for Formal Software Verification P de Carvalho Gomes KTH Royal Institute of Technology, 2015 | | 2015 |
| Algorithmic Verification of Synchronization with Condition Variables P de Carvalho Gomes, D Gurov, M Huisman | | 2015 |
Alex Borges VieiraProfessor, Computer Science Department, Universidade Federal de Juiz de ForaVerified email at ufjf.edu.br
