Carla Ferreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
15
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | In Perfect Harmony: Orchestrating Causality in Actor-Based Systems. | Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira |
| 2026 | ICST | Systematic API Testing Through Model Checking and Executable Contracts. | Ana Catarina Ribeiro, Margarida Mamede, Carla Ferreira |
| 2025 | ECOOP | Ensuring Convergence and Invariants Without Coordination. | Dina Borrego, Nuno M. Preguia, Elisa Gonzalez Boix, Carla Ferreira |
| 2023 | ECOOP | VeriFx: Correct Replicated Data Types for the Masses. | Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix |
| 2022 | FMICS | Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. | Andr de Matos Pedro, Toms Silva, Tiago F. Sequeira, Joo Loureno, Joo Costa Seco, Carla Ferreira |
| 2022 | MODELS | Nested OSTRICH: hatching compositions of low-code templates. | Joo Costa Seco, Hugo Loureno, Joana Parreira, Carla Ferreira |
| 2022 | Onward | Derivations with Holes for Concept-Based Program Synthesis. | Joo Costa Seco, Jonathan Aldrich, Lus Carvalho, Bernardo Toninho, Carla Ferreira |
| 2021 | IC3K | An Ontology based Task Oriented Dialogue. | Joo Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, Joo Costa Seco, Carla Ferreira, Joana Parreira |
| 2021 | MODELS | Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems. | Brbara Lopes, Srgio Amorim, Carla Ferreira |
| 2021 | MODELS | OSTRICH - A Type-Safe Template Language for Low-Code Development. | Hugo Loureno, Carla Ferreira, Joo Costa Seco |
| 2020 | MODELS | Test mocks for low-code applications built with OutSystems. | Alexandre Jacinto, Miguel Loureno, Carla Ferreira |
| 2019 | EuroSys | Techniques for safe and highly available cloud applications. | Carla Ferreira |
| 2017 | EuroSys | Bringing Hybrid Consistency Closer to Programmers. | Gonalo Marcelino, Valter Balegas, Carla Ferreira |
| 2017 | ICST | Verifying Concurrent Programs Using Contracts. | Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar |
| 2016 | EuroSys | Making weak consistency great again. | Valter Balegas, Srgio Duarte, Carla Ferreira, Nuno M. Preguia, Rodrigo Rodrigues |
| 2016 | EuroSys | The CISE tool: proving weakly-consistent applications correct. | Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro |
| 2016 | POPL | 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. | Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro |
| 2015 | EuroSys | Putting consistency back into eventual consistency. | Valter Balegas, Srgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguia, Mahsa Najafzadeh, Marc Shapiro |
| 2015 | SRDS | Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants. | Valter Balegas, Diogo Serra, Srgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno M. Preguia |
| 2014 | SRDS | The Case for Fast and Invariant-Preserving Geo-Replication. | Valter Balegas, Srgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Nuno M. Preguia, Marc Shapiro, Mahsa Najafzadeh |
| 2012 | Coordination | First-Order Dynamic Logic for Compensable Processes. | Roberto Bruni, Carla Ferreira, Anne Kersten Kauer |
| 2010 | ESOP | On the Expressive Power of Primitives for Compensation Handling. | Ivan Lanese, Ctia Vaz, Carla Ferreira |
| 2010 | LICS | A simple proof system for lock-free concurrency. | Lus Caires, Carla Ferreira, Antnio Ravara |
| 2005 | CONCUR | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2004 | Coordination | An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. | Michael J. Butler, Carla Ferreira |
| 2003 | ER | The Benefits of Rapid Modelling for E-business System Development. | Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng |
| 2000 | IFM | A Process Compensation Language. | Michael J. Butler, Carla Ferreira |