Carolina Carreira

According to our database, Carolina Carreira authored at least 11 papers between 2021 and 2025.

Collaborative distances:

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

2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Francisco Oliveira, Alexandra Mendes, Carolina Carreira

CoRR, June, 2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.

Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes

CoRR, June, 2025

Can Automated Feedback Turn Students into Happy Prologians?

Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins

CoRR, April, 2025

From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges.

Carolina Carreira, Nuno Saavedra, Alexandra Mendes, João F. Ferreira

CoRR, April, 2025

Are Users More Willing to Use Formally Verified Password Managers?

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin

CoRR, April, 2025

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges.

Carolina Carreira, Alexandra Mendes, João F. Ferreira, Nicolas Christin

CoRR, April, 2025

Contract Usage and Evolution in Android Mobile Applications.

David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira

Autom. Softw. Eng., June, 2024

2023

The Human Side of XAI: Bridging the Gap between AI and Non-expert Audiences.

Beatriz Severes, Carolina Carreira, Ana Beatriz Vieira, Eduardo Gomes, João Tiago Aparício, Inês Pereira

Proceedings of the 41st ACM International Conference on Design of Communication, 2023

2022

Studying Users' Willingness to Use a Formally Verified Password Manager.

Carolina Carreira

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021