Carla Ferreira

76 papers A* 1A 7B 4C 5Journal 35Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems.
CoRR
Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
2025 J jnl
Concurrency Contracts for Designing Highly Available Replicated Data Types.
Softw. Pract. Exp.
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
2025 J jnl
Ensuring Convergence and Invariants Without Coordination (Artifact).
Dagstuhl Artifacts Ser.
Dina Borrego, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira
2025 A conf
Ensuring Convergence and Invariants Without Coordination.
ECOOP
Dina Borrego, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira
2025 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
FORTE
Carla Ferreira, Claudio Antares Mezzina
2025 J jnl
Going beyond templates: composition and evolution in nested OSTRICH.
Softw. Syst. Model.
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira
2025 — conf
ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs.
PaPoC@EuroSys
Dina Borrego, João Afonso Vilalonga, Henrique Domingos, Nuno M. Preguiça, Elisa Gonzalez Boix, Carla Ferreira
2025 — conf
Towards Local-First Distributed Property Graphs.
PaPoC@EuroSys
Ayush Pandey, Stefania Dumbrava, Marc Shapiro, Carla Ferreira, Mário Pereira, Nuno M. Preguiça
2024 — conf
Models for Storage in Database Backends.
PaPoC@EuroSys
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Carla Ferreira, Gustavo Petri, Marc Shapiro
2024 J jnl
Models for Storage in Database Backends.
CoRR
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, Marc Shapiro
2024 J jnl
Monitoring of spatio-temporal properties with nonlinear SAT solvers.
Int. J. Softw. Tools Technol. Transf.
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
2023 J jnl
An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications.
SN Comput. Sci.
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
2023 J jnl
CHAMELEON: OutSystems Live Bidirectional Transformations.
CoRR
Hugo Lourenço, João Costa Seco, Carla Ferreira, Tiago Simões, Vasco Silva, Filipe Assunção, André Menezes
2023 J jnl
JepREST: Functional tests for distributed REST applications.
CoRR
Sara Simões, Ana Ribeiro, Carla Ferreira, Nuno M. Preguiça
2023 J jnl
OSTRICH: a rich template language for low-code development (extended version).
Softw. Syst. Model.
Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira
2023 B ed.
Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
SEFM
Carla Ferreira, Tim A. C. Willemse
2023 J jnl
VeriFx: Correct Replicated Data Types for the Masses (Artifact).
Dagstuhl Artifacts Ser.
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
2023 A conf
VeriFx: Correct Replicated Data Types for the Masses.
ECOOP
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
2022 — conf
Derivations with Holes for Concept-Based Program Synthesis.
Onward!
João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira
2022 C conf
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.
FMICS
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
2022 A conf
Nested OSTRICH: hatching compositions of low-code templates.
MoDELS
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira
2022 J jnl
VeriFx: Correct Replicated Data Types for the Masses.
CoRR
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
2021 J jnl
A coordination-free, convergent, and safe replicated tree.
CoRR
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
2021 C conf
An Ontology based Task Oriented Dialogue.
KEOD
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
2021 J jnl
ECROs: building global scale systems from sequential code.
Proc. ACM Program. Lang.
Kevin De Porre, Carla Ferreira, Nuno M. Preguiça, Elisa Gonzalez Boix
2021 A conf
OSTRICH - A Type-Safe Template Language for Low-Code Development.
MoDELS
Hugo Lourenço, Carla Ferreira, João Costa Seco
2021 — conf
Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems.
MoDELS (Companion)
Bárbara Lopes, Sérgio Amorim, Carla Ferreira
2020 J jnl
CISE3: Verifying Weakly Consistent Applications with Why3.
CoRR
Filipe Meirim, Mário Pereira, Carla Ferreira
2020 — book
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405
Selected Results of the COST Action IC1405
Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
2020 J jnl
Robust Contract Evolution in a TypeSafe MicroServices Architecture.
CoRR
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão
2020 J jnl
Robust Contract Evolution in a TypeSafe MicroServices Architecture.
Art Sci. Eng. Program.
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão
2020 — conf
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.
Erlang Workshop
Peter Zeller, Annette Bieniusa, Carla Ferreira
2020 — conf
Test mocks for low-code applications built with OutSystems.
MoDELS (Companion)
Alexandre Jacinto, Miguel Lourenço, Carla Ferreira
2019 J jnl
Antidote SQL: Relaxed When Possible, Strict When Necessary.
CoRR
Pedro Lopes, João Sousa, Valter Balegas, Carla Ferreira, Sérgio Duarte, Annette Bieniusa, Rodrigo Rodrigues, Nuno M. Preguiça
2019 J jnl
Análise de Segurança Baseada em Roles para Fábricas de Software.
CoRR
Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão, Carla Ferreira
2019 J jnl
CISE3: Verificação de aplicações com consistência fraca em Why3.
CoRR
Filipe Meirim, Mário Pereira, Carla Ferreira
2019 J jnl
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442).
Dagstuhl Reports
Carla Ferreira, Philipp Haller, Guido Salvaneschi
2019 J jnl
Set CRDT com Múltiplas Políticas de Resolução de Conflitos.
CoRR
André Rijo, Carla Ferreira, Nuno M. Preguiça
2019 — conf
Techniques for safe and highly available cloud applications.
PaPoC@EuroSys
Carla Ferreira
2018 J jnl
IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases.
Proc. VLDB Endow.
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça
2018 J jnl
IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases.
CoRR
Valter Balegas, Nuno M. Preguiça, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues
2017 — conf
Bringing Hybrid Consistency Closer to Programmers.
PaPoC@EuroSys
Gonçalo Marcelino, Valter Balegas, Carla Ferreira
2017 J jnl
Composition in State-based Replicated Data Types.
Bull. EATCS
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira
2017 A conf
Verifying Concurrent Programs Using Contracts.
ICST
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
2016 A* conf
'Cause I'm strong enough: reasoning about consistency choices in distributed systems.
POPL
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
2016 J jnl
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull.
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
2016 — conf
Making weak consistency great again.
PaPoC@EuroSys
Valter Balegas, Sérgio Duarte, Carla Ferreira, Nuno M. Preguiça, Rodrigo Rodrigues
2016 — conf
The CISE tool: proving weakly-consistent applications correct.
PaPoC@EuroSys
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
2015 B conf
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
SRDS
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno M. Preguiça
2015 J jnl
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants.
CoRR
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh
2015 J jnl
Preventing Atomicity Violations with Contracts.
CoRR
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço
2015 A conf
Putting consistency back into eventual consistency.
EuroSys
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro
2015 J jnl
Towards Fast Invariant Preservation in Geo-replicated Systems.
ACM SIGOPS Oper. Syst. Rev.
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro
2014 — conf
The Case for Fast and Invariant-Preserving Geo-Replication.
SRDS Workshops
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh
2012 C conf
First-Order Dynamic Logic for Compensable Processes.
COORDINATION
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
2012 J jnl
On the analysis of compensation correctness.
J. Log. Algebraic Methods Program.
Cátia Vaz, Carla Ferreira
2011 — ch.
Advanced Mechanisms for Service Combination and Transactions.
Results of the SENSORIA Project
Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro
2011 J jnl
Concurrent Development of Model and Implementation
CoRR
Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner
2011 J jnl
Model-Based Trace-Checking
CoRR
Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto
2011 J jnl
Towards Automated Verification of Web Services
CoRR
Cátia Vaz, Carla Ferreira
2010 — conf
A simple proof system for lock-free concurrency.
PSPL@LICS
Luís Caires, Carla Ferreira, António Ravara
2010 A conf
On the Expressive Power of Primitives for Compensation Handling.
ESOP
Ivan Lanese, Cátia Vaz, Carla Ferreira
2009 — conf
Towards Compensation Correctness in Interactive Systems.
WS-FM
Cátia Vaz, Carla Ferreira
2008 — conf
A Process Calculus Analysis of Compensations.
TGC
Luís Caires, Carla Ferreira, Hugo Torres Vieira
2008 — conf
Dynamic Recovering of Long Running Transactions.
TGC
Cátia Vaz, Carla Ferreira, António Ravara
2005 B conf
Comparing Two Approaches to Compensable Flow Composition.
CONCUR
Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
2005 J jnl
Precise Modelling of Compensating Business Transactions and its Application to BPEL.
J. Univers. Comput. Sci.
Michael J. Butler, Carla Ferreira, Muan Yong Ng
2004 — conf
A Trace Semantics for Long-Running Transactions.
25 Years Communicating Sequential Processes
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
2004 C conf
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.
COORDINATION
Michael J. Butler, Carla Ferreira
2003 — conf
Model-Based Approaches for Validating Business Critical Systems.
STEP
Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel
2003 — conf
The Benefits of Rapid Modelling for E-business System Development.
ER (Workshops)
Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng
2003 — conf
Using B Refinement to Analyse Compensating Business Processes.
ZB
Carla Ferreira, Michael J. Butler
2003 — conf
Using SPIN and STeP to Verify Business Processes Specifications.
Ershov Memorial Conference
Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig
2002 J jnl
Extending the concept of transaction compensation.
IBM Syst. J.
Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson
2002 — —
Precise modelling of business processes with compensation.
Carla Ferreira
2000 B conf
A Process Compensation Language.
IFM
Michael J. Butler, Carla Ferreira