Pedro de Carvalho Gomes
Pedro de Carvalho Gomes
PhD in Computer Science, KTH Royal Institute of Technology
Bestätigte E-Mail-Adresse bei csc.kth.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
192013
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
Specification and verification of synchronization with condition variables
PC Gomes, D Gurov, M Huisman, C Artho
Science of computer programming 163, 174-189, 2018
82018
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
82016
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
62014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16