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
362012
Sound control-flow graph extraction for Java programs with exceptions
A Amighi, PC Gomes, D Gurov, M Huisman
International Conference on Software Engineering and Formal Methods, 33-47, 2012
212012
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
182013
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
112012
Specification and verification of synchronization with condition variables
PC Gomes, D Gurov, M Huisman, C Artho
Science of computer programming 163, 174-189, 2018
92018
Provably correct control flow graphs from Java bytecode programs with exceptions
A Amighi, P de Carvalho Gomes, D Gurov, M Huisman
International journal on software tools for technology transfer 18 (6), 653-684, 2016
72016
Sound control flow graph extraction from incomplete Java bytecode programs
P de Carvalho Gomes, A Picoco, D Gurov
International Conference on Fundamental Approaches to Software Engineering …, 2014
52014
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
Proceedings of the VI Workshop de Redes Dinâmicas e Sistemas P2P, 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
Protecting location privacy against spatial inferences: the PROBE approach
P de Carvalho Gomes
2012
Modelo de Comportamento dos Participantes do SopCast
A Borges Vieira, P de Carvalho Gomes, M Rocha, J Almeida, S Campos
15th Brazilian Symposium on Multimedia and the Web, WebMedia 2009, Fortaleza …, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–18