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 (ESEC/SIGSOFT FSE, 2013)

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 (CCS, 2014)

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 (ASE, 2015)

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 001 (ICPEC, 2021)

IoT Architectures for Indoor Radon Management: A Prospective Analysis. - Óscar Blanco-Novoa; Paulo Barros; Paula Fraga-Lamas; Sérgio Ivan Lopes; Tiago M. Fernández-Caramés (CoRR, 2024)