Concepedia

Carla Ferreira

CF

21

Publications

585

Citations

12

H-Index

2001

Active since

Affiliations

Universidade Nova de Lisboa(Current)

Sorbonne Université

University of Southampton

University of Lisbon

University of Oxford

Carla Ferreira is an author at Universidade Nova de Lisboa specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSoftware AnalysisVerificationData ManagementSystem SoftwareProgram AnalysisAutomated Reasoning

Publications per year

2001–2022

21

Publications

21

Putting consistency back into eventual consistency

Valter Balegas, Sérgio Duarte, Carla Ferreira et al. · 2015 · 119 citations · Full text

Availability, Engineering, Eventual Consistency +19

'Cause I'm strong enough: Reasoning about consistency choices in distributed systems

Alexey Gotsman, Hongseok Yang, Carla Ferreira et al. · 2016 · 117 citations · Full text

Engineering, Verification, Fault Tolerance +20

Extending the concept of transaction compensation

Mandy Chessell, C. Griffin, D. Vines et al. · IBM Systems Journal · 2002 · 46 citations

Software Maintenance, Business Process Integration, Engineering +20

Precise Modelling of Compensating Business Transactions and its Application to BPEL

Michael Butler, Carla Ferreira, Muan Yong Ng · ePrints Soton (University of Southampton) · 2005 · 46 citations · Full text

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang et al. · 2016 · 32 citations · Full text

Software Maintenance, Engineering, Verification +22

Rows per page

1–5 of 21