Paulo Barros

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 2

Top Topics

Information Flows

Static Analysis

Top Venues

ESEC/SIGSOFT FSE

Publications

Daniel Barros, Paulo Barros, Emanuel Lomba, Vitor Manuel Ferreira, Pedro Pinto
A System Architecture to Detect and Block Unwanted Wireless Signals in a Classroom (Short Paper). ICPEC (2021)
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE (2015)
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
Collaborative Verification of Information Flow for a High-Assurance App Store. CCS (2014)
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don S. Batory, Sabrina Souto, Paulo Barros, Marcelo d'Amorim
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems. ESEC/SIGSOFT FSE (2013)