Följ
Carla Ferreira
Carla Ferreira
NOVA LINCS / NOVA University Lisbon
Verifierad e-postadress på fct.unl.pt - Startsida
Titel
Citeras av
Citeras av
År
An operational semantics for StAC, a language for modelling long-running business transactions
M Butler, C Ferreira
International Conference on Coordination Languages and Models (COORD), 87-104, 2004
1992004
A trace semantics for long-running transactions
M Butler, T Hoare, C Ferreira
Communicating Sequential Processes. The First 25 Years, 133-150, 2005
1952005
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
ACM SIGPLAN Notices (POPL) 51 (1), 371-384, 2016
1932016
Putting consistency back into eventual consistency
V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça, M Najafzadeh, ...
European Conference on Computer Systems (EuroSys), 6:1-6:16, 2015
1822015
Comparing two approaches to compensable flow composition
R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari
International Conference on Concurrency Theory (CONCUR), 383-397, 2005
862005
A process compensation language
M Butler, C Ferreira
International Conference on Integrated Formal Methods (IFM), 61-76, 2000
842000
Precise modelling of compensating business transactions and its application to BPEL
M Butler, C Ferreira, MY Ng
Journal of Universal Computer Science 11 (5), 712-743, 2005
782005
Extending the concept of transaction compensation
M Chessell, C Griffin, D Vines, M Butler, C Ferreira, P Henderson
IBM Systems Journal 41 (4), 743-758, 2002
732002
Extending eventually consistent cloud databases for enforcing numeric invariants
V Balegas, D Serra, S Duarte, C Ferreira, M Shapiro, R Rodrigues, ...
Reliable Distributed Systems (SRDS), 2015 IEEE 34th Symposium on, 31-36, 2015
612015
The CISE tool: proving weakly-consistent applications correct
M Najafzadeh, A Gotsman, H Yang, C Ferreira, M Shapiro
Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016
572016
On the expressive power of primitives for compensation handling
I Lanese, C Vaz, C Ferreira
European Symposium on Programming (ESOP), 366-386, 2010
472010
A process calculus analysis of compensations
L Caires, C Ferreira, H Vieira
International Symposium on Trustworthy Global Computing (TGC), 87-103, 2008
452008
IPA: invariant-preserving applications for weakly consistent replicated databases
V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça
Proceedings of the VLDB Endowment 12 (4), 404-418, 2018
422018
Dynamic recovering of long running transactions
C Vaz, C Ferreira, A Ravara
International Symposium on Trustworthy Global Computing (TGC), 201-215, 2008
302008
ECROs: building global scale systems from sequential code
K De Porre, C Ferreira, N Preguiça, E Gonzalez Boix
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
272021
Test mocks for low-code applications built with OutSystems
A Jacinto, M Lourenço, C Ferreira
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
262020
Model-based trace-checking
Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto
arXiv preprint arXiv:1111.2825, 2011
262011
Geo-Replication: Fast If Possible, Consistent If Necessary
V Balegas, C Li, M Najafzadeh, D Porto, A Clement, S Duarte, C Ferreira, ...
IEEE Data Engineering Bulletin 39 (1), 12, 2016
242016
Advanced mechanisms for service combination and transactions
C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro
Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011
242011
Composition in state-based replicated data types
C Baquero, PS Almeida, A Cunha, C Ferreira
Bulletin of the European Association for Theoretical Computer Science, 2017
23*2017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20