Carla Ferreira

According to our database1, Carla Ferreira authored at least 31 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases.
PVLDB, 2018

Composition in State-based Replicated Data Types.
Bulletin of the EATCS, 2017

Verifying Concurrent Programs Using Contracts.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Bringing Hybrid Consistency Closer to Programmers.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull., 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

The CISE tool: proving weakly-consistent applications correct.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Making weak consistency great again.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Towards Fast Invariant Preservation in Geo-replicated Systems.
Operating Systems Review, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Putting consistency back into eventual consistency.
Proceedings of the Tenth European Conference on Computer Systems, 2015

The Case for Fast and Invariant-Preserving Geo-Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

On the analysis of compensation correctness.
J. Log. Algebr. Program., 2012

First-Order Dynamic Logic for Compensable Processes.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Advanced Mechanisms for Service Combination and Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

A simple proof system for lock-free concurrency.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

On the Expressive Power of Primitives for Compensation Handling.
Proceedings of the Programming Languages and Systems, 2010

Towards Compensation Correctness in Interactive Systems.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Dynamic Recovering of Long Running Transactions.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

A Process Calculus Analysis of Compensations.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Precise Modelling of Compensating Business Transactions and its Application to BPEL.
J. UCS, 2005

Comparing Two Approaches to Compensable Flow Composition.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

A Trace Semantics for Long-Running Transactions.
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

Using B Refinement to Analyse Compensating Business Processes.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Model-Based Approaches for Validating Business Critical Systems.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Using SPIN and STeP to Verify Business Processes Specifications.
Proceedings of the Perspectives of Systems Informatics, 2003

The Benefits of Rapid Modelling for E-business System Development.
Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

Precise modelling of business processes with compensation.
PhD thesis, 2002

Extending the concept of transaction compensation.
IBM Systems Journal, 2002

A Process Compensation Language.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000