Carla Ferreira
Universidade Nova de Lisboa
H-index: 19
Europe-Portugal
Top articles of Carla Ferreira
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Models for Storage in Database Backends | Edgard Schiebelbein Saalik Hatia Annette Bieniusa Carla Ferreira Gustavo Petri | 2024/4/22 | |
Monitoring of spatio-temporal properties with nonlinear SAT solvers | Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings | André de Matos Pedro Tomás Silva Tiago Sequeira João Lourenço João Costa Seco | 2022/9/5 |
OSTRICH: a rich template language for low-code development (extended version) | Software and Systems Modeling | Hugo Lourenço Carla Ferreira João Costa Seco Joana Parreira | 2023/10 |
CHAMELEON: OutSystems Live Bidirectional Transformations | arXiv preprint arXiv:2305.03361 | Hugo Lourenço João Costa Seco Carla Ferreira Tiago Simões Vasco Silva | 2023/5/5 |
JepREST: Functional tests for distributed REST applications | arXiv preprint arXiv:2303.14104 | Sara Simoes Ana Ribeiro Carla Ferreira Nuno Preguica | 2023/3/24 |
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings | Carla Ferreira Tim AC Willemse | 2023/10/30 | |
An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications | SN Computer Science | João Quirino Silva Dora Melo Irene Pimenta Rodrigues João Costa Seco Carla Ferreira | 2022/10/16 |
Derivations with Holes for Concept-Based Program Synthesis | João Costa Seco Jonathan Aldrich Luís Carvalho Bernardo Toninho Carla Ferreira | 2022/11/29 | |
Nested OSTRICH: hatching compositions of low-code templates | João Costa Seco Hugo Lourenço Joana Parreira Carla Ferreira | 2022/10/23 | |
An Ontology based Task Oriented Dialogue. | João Quirino Silva Dora Melo Irene Pimenta Rodrigues João Costa Seco Carla Ferreira | 2021 | |
ECROs: building global scale systems from sequential code | Proceedings of the ACM on Programming Languages | Kevin De Porre Carla Ferreira Nuno Preguiça Elisa Gonzalez Boix | 2021/10/15 |
Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems | Bárbara Lopes Sérgio Amorim Carla Ferreira | 2021/10/10 | |
OSTRICH - A Type-Safe Template Language for Low-Code Development | Hugo Lourenco Carla Ferreira Joao Costa Seco | 2021/10/1 | |
A coordination-free, convergent, and safe replicated tree | arXiv preprint arXiv:2103.04828 | Sreeja Nair Filipe Meirim Mário Pereira Carla Ferreira Marc Shapiro | 2021/3/8 |
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442) | Carla Ferreira Philipp Haller Guido Salvaneschi | 2020 | |
Test mocks for low-code applications built with OutSystems | Alexandre Jacinto Miguel Lourenço Carla Ferreira | 2020/10/16 | |
CISE3: Verifying Weakly Consistent Applications with Why3 | arXiv preprint arXiv:2010.06622 | Filipe Meirim Mário Pereira Carla Ferreira | 2020/10/13 |
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+ | Peter Zeller Annette Bieniusa Carla Ferreira | 2020/8/23 | |
Robust Contract Evolution in a TypeSafe MicroServices Architecture | arXiv preprint arXiv:2002.06185 | João Costa Seco Paulo Ferreira Carla Ferreira Lucio Ferrao | 2020/2/14 |
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405 | Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz Carla Ferreira | 2020 |
Co-Authors
