Follow
Pedro de Carvalho Gomes
Title
Cited by
Cited by
Year
Characterizing sopcast client behavior
A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos
Computer Communications 35 (8), 1004-1016, 2012
412012
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
262012
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
252013
Specification and verification of synchronization with condition variables
PC Gomes, D Gurov, M Huisman, C Artho
Science of computer programming 163, 174-189, 2018
142018
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
122012
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
102016
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
82014
Algorithmic verification of multithreaded programs with condition variables
P de Carvalho Gomes, D Gurov, M Huisman
Technical report, KTH Royal Institute of Technology, 2015
42015
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
42009
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
32010
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
12012
Sound extraction of control-flow graphs from open java bytecode systems
P de Carvalho Gomes, A Picoco, D Gurov
12012
Sound Modular Extraction of Control Flow Graphs from Java Bytecode
PC Gomes
KTH Royal Institute of Technology, 2012
12012
Verification of symmetric models using semiautomatic abstractions
P de Carvalho Gomes
Universidade Federal de Minas Gerais, 2010
12010
Modelo de Comportamento dos Participantes do SopCast.
AB Vieira, P Gomes, M Rocha, J Almeida, S Campos
Webmedia, 2009
12009
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
The system can't perform the operation now. Try again later.
Articles 1–17