Carla Ferreira

Affiliations:
  • Universidade Nova de Lisboa, Portugal


According to our database1, Carla Ferreira authored at least 53 papers between 2000 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
VeriFx: Correct Replicated Data Types for the Masses.
CoRR, 2022

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.
Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021
ECROs: building global scale systems from sequential code.
Proc. ACM Program. Lang., 2021

A coordination-free, convergent, and safe replicated tree.
CoRR, 2021

OSTRICH - A Type-Safe Template Language for Low-Code Development.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

An Ontology based Task Oriented Dialogue.
Proceedings of the 13th International Joint Conference on Knowledge Discovery, 2021

2020
Robust Contract Evolution in a TypeSafe MicroServices Architecture.
Art Sci. Eng. Program., 2020

CISE3: Verifying Weakly Consistent Applications with Why3.
CoRR, 2020

Test mocks for low-code applications built with OutSystems.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442).
Dagstuhl Reports, 2019

Análise de Segurança Baseada em Roles para Fábricas de Software.
CoRR, 2019

CISE3: Verificação de aplicações com consistência fraca em Why3.
CoRR, 2019

Set CRDT com Múltiplas Políticas de Resolução de Conflitos.
CoRR, 2019

Antidote SQL: Relaxed When Possible, Strict When Necessary.
CoRR, 2019

Techniques for safe and highly available cloud applications.
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018
IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases.
Proc. VLDB Endow., 2018

2017
Composition in State-based Replicated Data Types.
Bull. 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

2016
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

2015
Towards Fast Invariant Preservation in Geo-replicated Systems.
ACM SIGOPS Oper. Syst. Rev., 2015

Preventing Atomicity Violations with Contracts.
CoRR, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
CoRR, 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

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

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

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

2011
Concurrent Development of Model and Implementation
CoRR, 2011

Model-Based Trace-Checking
CoRR, 2011

Towards Automated Verification of Web Services
CoRR, 2011

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

2010
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

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

2008
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

2005
Precise Modelling of Compensating Business Transactions and its Application to BPEL.
J. Univers. Comput. Sci., 2005

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

2004
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

2003
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

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

Extending the concept of transaction compensation.
IBM Syst. J., 2002

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


  Loading...