Pervasive play for everyone using the weather. - Sofia Reis; Teresa Romão; Nuno Correia 001 (Advances in Computer Entertainment Technology, 2010)

An imaginary friend that connects with the user's emotions. - Sofia Reis; Nuno Correia 001 (Advances in Computer Entertainment Technology, 2011)

The Perception of Sound and Its Influence in the Classroom. - Sofia Reis; Nuno Correia 001 (INTERACT (1), 2011)

Expanding the Magic Circle in Pervasive Casual Play. - Sofia Reis (ICEC, 2012)

Playing with the Weather. - Sofia Reis; Nuno Correia 001 (ICEC, 2012)

Insights into co-located shared mobile search. - Sofia Reis; Karen Church (CHI Extended Abstracts, 2013)

Super-fon: mobile entertainment to combat phonological disorders in children. - Rui Neves Madeira; Patrícia Macedo; Sofia Reis; João Ferreira 003 (Advances in Computer Entertainment, 2014)

Casual games with a pervasive twist. - Sofia Reis; Nuno Correia 001 (Entertain. Comput., 2014)

The use of mobile devices to support daily routines of teens with Down syndrome: a case study. - Sofia Reis; Ana Margarida Almeida (DSAI, 2016)

SECBENCH: A Database of Real Security Vulnerabilities. - Sofia Reis; Rui Abreu 001 (SecSE@ESORICS, 2017)

A Database of Existing Vulnerabilities to Enable Controlled Testing Studies. - Sofia Reis; Rui Abreu 001 (Int. J. Secur. Softw. Eng., 2017)

Usability evaluation of navigation tasks by people with intellectual disabilities: a Google and SAPO comparative study regarding different interaction modalities. - Tânia Rocha; Diana Carvalho; Maximino Bessa; Sofia Reis; Luís Magalhães (Univers. Access Inf. Soc., 2017)

Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization. - Sofia Reis; Rui Abreu 001; Marcelo d'Amorim (IJCAI, 2019)

Collaborative Tabletops for Blind People: The Effect of Auditory Design on Workspace Awareness. - Daniel Mendes; Sofia Reis; João Guerreiro 002; Hugo Nicolau (Proc. ACM Hum. Comput. Interact., 2020)

On using distributed representations of source code for the detection of C security vulnerabilities. - David Coimbra; Sofia Reis; Rui Abreu 001; Corina S. Pasareanu; Hakan Erdogmus (CoRR, 2021)

A ground-truth dataset of real security patches. - Sofia Reis; Rui Abreu 001 (CoRR, 2021)

Fixing vulnerabilities potentially hinders maintainability. - Sofia Reis; Rui Abreu 001; Luis Cruz 002 (Empir. Softw. Eng., 2021)

Leveraging Practitioners' Feedback to Improve a Security Linter. - Sofia Reis; Rui Abreu 001; Marcelo d'Amorim; Daniel Fortunato (ASE, 2022)

SECOM: Towards a convention for security commit messages. - Sofia Reis; Rui Abreu 001; Hakan Erdogmus; Corina S. Pasareanu (MSR, 2022)

Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection. - Eduard Pinconschi; Sofia Reis; Chi Zhang; Rui Abreu 001; Hakan Erdogmus; Corina S. Pasareanu; Limin Jia 001 (CAIN, 2023)

Are security commit messages informative? Not enough! - Sofia Reis; Rui Abreu 001; Corina S. Pasareanu (EASE, 2023)

SECOMlint: A linter for Security Commit Messages. - Sofia Reis; Corina S. Pasareanu; Rui Abreu 001; Hakan Erdogmus (CoRR, 2023)

The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. - Ashwin Prasad Shivarpatna Venkatesh; Samkutty Sabu; Amir M. Mir; Sofia Reis; Eric Bodden (FORGE, 2024)

An Empirical Study of Large Language Models for Type and Call Graph Analysis. - Ashwin Prasad Shivarpatna Venkatesh; Rose Sunil; Samkutty Sabu; Amir M. Mir; Sofia Reis; Eric Bodden (CoRR, 2024)