Carla Ferreira

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 39

Top Venues

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
VeriFx: Correct Replicated Data Types for the Masses. ECOOP (2023)
Hugo Lourenço, João Costa Seco, Carla Ferreira, Tiago Simões, Vasco Silva, Filipe Assunção, André Menezes
CHAMELEON: OutSystems Live Bidirectional Transformations. CoRR (2023)
Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira
OSTRICH: a rich template language for low-code development (extended version). Softw. Syst. Model. 22 (5) (2023)
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
VeriFx: Correct Replicated Data Types for the Masses (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications. SN Comput. Sci. 4 (1) (2023)
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. FMICS (2022)
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
VeriFx: Correct Replicated Data Types for the Masses. CoRR (2022)
João Costa Seco, Jonathan Aldrich, Luis Carvalho, Bernardo Toninho, Carla Ferreira
Derivations with Holes for Concept-Based Program Synthesis. Onward! (2022)
João Costa Seco, Hugo Lourenço, Joana Parreira, Carla Ferreira
Nested OSTRICH: hatching compositions of low-code templates. MoDELS (2022)
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
An Ontology based Task Oriented Dialogue. KEOD (2021)
Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
A coordination-free, convergent, and safe replicated tree. CoRR (2021)
Kevin De Porre, Carla Ferreira, Nuno M. Preguiça, Elisa Gonzalez Boix
ECROs: building global scale systems from sequential code. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Hugo Lourenço, Carla Ferreira, João Costa Seco
OSTRICH - A Type-Safe Template Language for Low-Code Development. MoDELS (2021)
Bárbara Lopes, Sérgio Amorim, Carla Ferreira
Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems. MoDELS (Companion) (2021)
Alexandre Jacinto, Miguel Lourenço, Carla Ferreira
Test mocks for low-code applications built with OutSystems. MoDELS (Companion) (2020)
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão
Robust Contract Evolution in a TypeSafe MicroServices Architecture. Art Sci. Eng. Program. 4 (3) (2020)
Filipe Meirim, Mário Pereira, Carla Ferreira
CISE3: Verifying Weakly Consistent Applications with Why3. CoRR (2020)
Peter Zeller, Annette Bieniusa, Carla Ferreira
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. Erlang Workshop (2020)
João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, Lúcio Ferrão
Robust Contract Evolution in a TypeSafe MicroServices Architecture. CoRR (2020)
Carla Ferreira, Philipp Haller, Guido Salvaneschi
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). Dagstuhl Reports 9 (10) (2019)
Filipe Meirim, Mário Pereira, Carla Ferreira
CISE3: Verificação de aplicações com consistência fraca em Why3. CoRR (2019)
André Rijo, Carla Ferreira, Nuno M. Preguiça
Set CRDT com Múltiplas Políticas de Resolução de Conflitos. CoRR (2019)
Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão, Carla Ferreira
Análise de Segurança Baseada em Roles para Fábricas de Software. CoRR (2019)
Pedro Lopes, João Sousa, Valter Balegas, Carla Ferreira, Sérgio Duarte, Annette Bieniusa, Rodrigo Rodrigues, Nuno M. Preguiça
Antidote SQL: Relaxed When Possible, Strict When Necessary. CoRR (2019)
Carla Ferreira
Techniques for safe and highly available cloud applications. PaPoC@EuroSys (2019)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça
IPA: Invariant-preserving Applications for Weakly consistent Replicated Databases. Proc. VLDB Endow. 12 (4) (2018)
Valter Balegas, Nuno M. Preguiça, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues
IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases. CoRR (2018)
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
Verifying Concurrent Programs Using Contracts. ICST (2017)
Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira
Composition in State-based Replicated Data Types. Bull. EATCS 123 (2017)
Gonçalo Marcelino, Valter Balegas, Carla Ferreira
Bringing Hybrid Consistency Closer to Programmers. PaPoC@EuroSys (2017)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Nuno M. Preguiça, Rodrigo Rodrigues
Making weak consistency great again. PaPoC@EuroSys (2016)
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
The CISE tool: proving weakly-consistent applications correct. PaPoC@EuroSys (2016)
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
'Cause I'm strong enough: reasoning about consistency choices in distributed systems. POPL (2016)
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
Geo-Replication: Fast If Possible, Consistent If Necessary. IEEE Data Eng. Bull. 39 (1) (2016)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro
Towards Fast Invariant Preservation in Geo-replicated Systems. ACM SIGOPS Oper. Syst. Rev. 49 (1) (2015)
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. CoRR (2015)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Mahsa Najafzadeh, Marc Shapiro
Putting consistency back into eventual consistency. EuroSys (2015)
Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno M. Preguiça
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. SRDS (2015)
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço
Preventing Atomicity Violations with Contracts. CoRR (2015)
Valter Balegas, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguiça, Marc Shapiro, Mahsa Najafzadeh
The Case for Fast and Invariant-Preserving Geo-Replication. SRDS Workshops (2014)
Cátia Vaz, Carla Ferreira
On the analysis of compensation correctness. J. Log. Algebraic Methods Program. 81 (5) (2012)
Roberto Bruni, Carla Ferreira, Anne Kersten Kauer
First-Order Dynamic Logic for Compensable Processes. COORDINATION (2012)
Cátia Vaz, Carla Ferreira
Towards Automated Verification of Web Services CoRR (2011)
Yvonne Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto
Model-Based Trace-Checking CoRR (2011)
Andrew M. Gravell, Yvonne Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner
Concurrent Development of Model and Implementation CoRR (2011)
Ivan Lanese, Cátia Vaz, Carla Ferreira
On the Expressive Power of Primitives for Compensation Handling. ESOP (2010)
Luís Caires, Carla Ferreira, António Ravara
A simple proof system for lock-free concurrency. PSPL@LICS (2010)
Cátia Vaz, Carla Ferreira
Towards Compensation Correctness in Interactive Systems. WS-FM (2009)
Cátia Vaz, Carla Ferreira, António Ravara
Dynamic Recovering of Long Running Transactions. TGC (2008)
Luís Caires, Carla Ferreira, Hugo Torres Vieira
A Process Calculus Analysis of Compensations. TGC (2008)
Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari
Comparing Two Approaches to Compensable Flow Composition. CONCUR (2005)
Michael J. Butler, Carla Ferreira, Muan Yong Ng
Precise Modelling of Compensating Business Transactions and its Application to BPEL. J. Univers. Comput. Sci. 11 (5) (2005)
Michael J. Butler, Carla Ferreira
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. COORDINATION (2004)
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes (2004)
Carla Ferreira, Michael J. Butler
Using B Refinement to Analyse Compensating Business Processes. ZB (2003)
Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng
The Benefits of Rapid Modelling for E-business System Development. ER (Workshops) (2003)
Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig
Using SPIN and STeP to Verify Business Processes Specifications. Ershov Memorial Conference (2003)
Juan Carlos Augusto, Yvonne Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel
Model-Based Approaches for Validating Business Critical Systems. STEP (2003)
Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson
Extending the concept of transaction compensation. IBM Syst. J. 41 (4) (2002)
Michael J. Butler, Carla Ferreira
A Process Compensation Language. IFM (2000)

Carla Ferreira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carla Ferreira