Pedro de Carvalho Gomes

According to our database, Pedro de Carvalho Gomes authored at least 10 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Specification and verification of synchronization with condition variables.

Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho

Sci. Comput. Program., 2018

2016

Provably correct control flow graphs from Java bytecode programs with exceptions.

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., 2016

Specification and Verification of Synchronization with Condition Variables.

Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

Automatic Extraction of Program Models for Formal Software Verification.

Pedro de Carvalho Gomes

PhD thesis, 2015

2014

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs.

Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

SopCast P2P live streaming: live session traces and analysis.

Alex Borges Vieira, Ana Paula Couto da Silva, Francisco Henrique, Glauber D. Gonçalves, Pedro de Carvalho Gomes

Proceedings of the Multimedia Systems Conference 2013, 2013

2012

Characterizing SopCast client behavior.

Alex Borges Vieira, Pedro de Carvalho Gomes, José Augusto Miranda Nacif, Rodrigo Mantini, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Comput. Commun., 2012

Sound Control-Flow Graph Extraction for Java Programs with Exceptions.

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions.

Pedro de Carvalho Gomes, Sérgio Vale Aguiar Campos, Alex Borges Vieira

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

2009

A behaviour model of the SopCast users.

Alex Borges Vieira, Pedro de Carvalho Gomes, Marcus Vinicius de Melo Rocha, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Proceedings of the XV Brazilian Symposium on Multimedia and the Web, 2009