Carla Ferreira

According to our database, Carla Ferreira authored at least 61 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2024

Monitoring of spatio-temporal properties with nonlinear SAT solvers.

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira

Int. J. Softw. Tools Technol. Transf., April, 2024

Models for Storage in Database Backends.

Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira, Gustavo Petri, Marc Shapiro

Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, 2024

2023

OSTRICH: a rich template language for low-code development (extended version).

Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira

Softw. Syst. Model., October, 2023

An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications.

João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira

SN Comput. Sci., 2023

VeriFx: Correct Replicated Data Types for the Masses (Artifact).

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix

Dagstuhl Artifacts Ser., 2023

CHAMELEON: OutSystems Live Bidirectional Transformations.

Hugo Lourenço, João Costa Seco, Carla Ferreira, Tiago Simões, Vasco Silva, Filipe Assunção, André Menezes

CoRR, 2023

JepREST: Functional tests for distributed REST applications.

Sara Simões, Ana Ribeiro, Carla Ferreira, Nuno M. Preguiça

CoRR, 2023

VeriFx: Correct Replicated Data Types for the Masses.

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Derivations with Holes for Concept-Based Program Synthesis.

João Costa Seco, Jonathan Aldrich, Luis Carvalho, Bernardo Toninho, Carla Ferreira

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Nested OSTRICH: hatching compositions of low-code templates.

João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

ECROs: building global scale systems from sequential code.

Kevin De Porre, Carla Ferreira, Nuno M. Preguiça, Elisa Gonzalez Boix

Proc. ACM Program. Lang., 2021

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

Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro

CoRR, 2021

OSTRICH - A Type-Safe Template Language for Low-Code Development.

Hugo Lourenço, Carla Ferreira, João Costa Seco

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.

Bárbara Lopes, Sérgio Amorim, Carla Ferreira

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

An Ontology based Task Oriented Dialogue.

João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira

Proceedings of the 13th International Joint Conference on Knowledge Discovery, 2021

2020

Robust Contract Evolution in a TypeSafe MicroServices Architecture.

João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão

Art Sci. Eng. Program., 2020

CISE3: Verifying Weakly Consistent Applications with Why3.

Filipe Meirim, Mário Pereira, Carla Ferreira

CoRR, 2020

Test mocks for low-code applications built with OutSystems.

Alexandre Jacinto, Miguel Lourenço, Carla Ferreira

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+.

Peter Zeller, Annette Bieniusa, Carla Ferreira

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019

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

Carla Ferreira, Philipp Haller, Guido Salvaneschi

Dagstuhl Reports, 2019

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

Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão, Carla Ferreira

CoRR, 2019

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

Filipe Meirim, Mário Pereira, Carla Ferreira

CoRR, 2019

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

André Rijo, Carla Ferreira, Nuno M. Preguiça

CoRR, 2019

Antidote SQL: Relaxed When Possible, Strict When Necessary.

Pedro Lopes, João Sousa, Valter Balegas, Carla Ferreira, Sérgio Duarte, Annette Bieniusa, Rodrigo Rodrigues, Nuno M. Preguiça

CoRR, 2019

Techniques for safe and highly available cloud applications.

Carla Ferreira

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.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça

Proc. VLDB Endow., 2018

2017

Composition in State-based Replicated Data Types.

Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira

Bull. EATCS, 2017

Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Bringing Hybrid Consistency Closer to Programmers.

Gonçalo Marcelino, Valter Balegas, Carla Ferreira

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.

Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis

IEEE Data Eng. Bull., 2016

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

Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

The CISE tool: proving weakly-consistent applications correct.

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Making weak consistency great again.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Nuno M. Preguiça, Rodrigo Rodrigues

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.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro

ACM SIGOPS Oper. Syst. Rev., 2015

Preventing Atomicity Violations with Contracts.

Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço

CoRR, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.

Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh

CoRR, 2015

Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.

Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno M. Preguiça

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Putting consistency back into eventual consistency.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

The Case for Fast and Invariant-Preserving Geo-Replication.

Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2012

On the analysis of compensation correctness.

Cátia Vaz, Carla Ferreira

J. Log. Algebraic Methods Program., 2012

First-Order Dynamic Logic for Compensable Processes.

Roberto Bruni, Carla Ferreira, Anne Kersten Kauer

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Concurrent Development of Model and Implementation

Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner

CoRR, 2011

Model-Based Trace-Checking

Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto

CoRR, 2011

Towards Automated Verification of Web Services

Cátia Vaz, Carla Ferreira

CoRR, 2011

Advanced Mechanisms for Service Combination and Transactions.

Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

A simple proof system for lock-free concurrency.

Luís Caires, Carla Ferreira, António Ravara

Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

On the Expressive Power of Primitives for Compensation Handling.

Ivan Lanese, Cátia Vaz, Carla Ferreira

Proceedings of the Programming Languages and Systems, 2010

2009

Towards Compensation Correctness in Interactive Systems.

Cátia Vaz, Carla Ferreira

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2008

Dynamic Recovering of Long Running Transactions.

Cátia Vaz, Carla Ferreira, António Ravara

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

A Process Calculus Analysis of Compensations.

Luís Caires, Carla Ferreira, Hugo Torres Vieira

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

2005

Precise Modelling of Compensating Business Transactions and its Application to BPEL.

Michael J. Butler, Carla Ferreira, Muan Yong Ng

J. Univers. Comput. Sci., 2005

Comparing Two Approaches to Compensable Flow Composition.

Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari

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.

Michael J. Butler, Carla Ferreira

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

A Trace Semantics for Long-Running Transactions.

Michael J. Butler, C. A. R. Hoare, Carla Ferreira

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

Using B Refinement to Analyse Compensating Business Processes.

Carla Ferreira, Michael J. Butler

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Model-Based Approaches for Validating Business Critical Systems.

Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Using SPIN and STeP to Verify Business Processes Specifications.

Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig

Proceedings of the Perspectives of Systems Informatics, 2003

The Benefits of Rapid Modelling for E-business System Development.

Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng

Proceedings of the Conceptual Modeling for Novel Application Domains, 2003

2002

Precise modelling of business processes with compensation.

Carla Ferreira

PhD thesis, 2002

Extending the concept of transaction compensation.

Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson

IBM Syst. J., 2002

2000

A Process Compensation Language.

Michael J. Butler, Carla Ferreira

Proceedings of the Integrated Formal Methods, Second International Conference, 2000