Carla Ferreira
Scholar

Carla Ferreira

Google Scholar ID: l7GG8NoAAAAJ
NOVA LINCS / NOVA University Lisbon
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,945
 
H-index
20
 
i10-index
36
 
Publications
20
 
Co-authors
18
list available
Publications
2 items
Systematic API Testing Through Model Checking and Executable Contracts
2026
Cited
0
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
2026
Cited
0
Co-authors
10 total
Marc Shapiro
Marc Shapiro
Sorbonne-Université—LIP6 & Inria
Hongseok Yang
Hongseok Yang
Professor, School of Computing, KAIST
Ivan Lanese
Ivan Lanese
University of Bologna
Elisa Gonzalez Boix
Elisa Gonzalez Boix
Professor of Computer Science, Vrije Universiteit Brussel
Roberto Bruni
Roberto Bruni
University of Pisa
Luis Caires
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Paulo Sérgio Almeida
Paulo Sérgio Almeida
HASLab / INESC TEC and Universidade do Minho
Alcino Cunha
Alcino Cunha
HASLab, INESC TEC and Universidade do Minho