21
TITLE: The CISE Tool: Proving Weakly-Consistent Applications Correct
AUTHORS: Mahsa Najafzadeh; Alexey Gotsman; Hongseok Yang; Carla Ferreira ; Marc Shapiro;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016
INDEXED IN: Scopus WOS
IN MY: ORCID
22
TITLE: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants  Full Text
AUTHORS: Balegas, V; Serra, D; Duarte, S ; Ferreira, C ; Shapiro, M; Rodrigues, R ; Preguica, N;
PUBLISHED: 2015, SOURCE: SRDS 2015 34th Symposium on Reliable Distributed Systems in 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS)
INDEXED IN: WOS CrossRef
IN MY: ORCID
23
TITLE: Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants  Full Text
AUTHORS: Valter Balegas; Diogo Serra; Sérgio Duarte; Carla Ferreira ; Marc Shapiro; Rodrigo Rodrigues ; Nuno M Preguiça;
PUBLISHED: 2015, SOURCE: 34th IEEE International Symposium on Reliable Distributed Systems, SRDS 2015 in 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015, VOLUME: 2016-January
INDEXED IN: Scopus DBLP
IN MY: ORCID
24
TITLE: Putting consistency back into eventual consistency
AUTHORS: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguica, N; Najafzadeh, M; Shapiro, M;
PUBLISHED: 2015, SOURCE: 10th European Conference on Computer Systems, EuroSys 2015 in Proceedings of the 10th European Conference on Computer Systems, EuroSys 2015
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
25
TITLE: Towards fast invariant preservation in geo-replicated systems  Full Text
AUTHORS: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguiça, N; Najafzadeh, M; Shapiro, M;
PUBLISHED: 2015, SOURCE: 8th Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2014 in Operating Systems Review (ACM), VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
26
TITLE: The case for fast and invariant-preserving geo-replication  Full Text
AUTHORS: Balegas, V; Duarte, S ; Ferreira, C ; Rodrigues, R ; Preguica, N; Shapiro, M; Najafzadeh, M;
PUBLISHED: 2014, SOURCE: 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, SRDSW 2014 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
27
TITLE: First-order dynamic logic for compensable processes
AUTHORS: Bruni, R; Ferreira, C ; Kersten Kauer, A;
PUBLISHED: 2012, SOURCE: 14th International Conference on Coordination Models and Languages, COORDINATION 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7274 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
28
TITLE: On the analysis of compensation correctness  Full Text
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
29
TITLE: Advanced mechanisms for service combination and transactions
AUTHORS: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef
IN MY: ORCID
30
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXED IN: DBLP
Page 3 of 5. Total results: 49.