Paulo Barros

According to our database, Paulo Barros authored at least 4 papers between 2013 and 2021.

Collaborative distances:

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

2021

A System Architecture to Detect and Block Unwanted Wireless Signals in a Classroom (Short Paper).

Daniel Barros, Paulo Barros, Emanuel Lomba, Vitor Manuel Ferreira, Pedro Pinto

Proceedings of the Second International Computer Programming Education Conference, 2021

2015

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).

Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Collaborative Verification of Information Flow for a High-Assurance App Store.

Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.

Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013