Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 49



1
TITLE: ECROs: Building Global Scale Systems from Sequential Code
AUTHORS: De Porre, K; Ferreira, C ; Preguica, N; Boix, EG;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, ISSUE: OOPSLA
INDEXED IN: WOS CrossRef: 2
IN MY: ORCID
2
TITLE: ECROs: building global scale systems from sequential code
AUTHORS: Kevin De Porre; Carla Ferreira ; Nuno M Preguiça; Elisa Gonzalez Boix;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: OOPSLA
INDEXED IN: Scopus DBLP
IN MY: ORCID
3
TITLE: OSTRICH - A Type-safe Template Language for Low-code Development
AUTHORS: Lourenco, H; Ferreira, C ; Seco, JC;
PUBLISHED: 2021, SOURCE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2021)
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
4
TITLE: Solution Discovery over Feature Toggling with Built-in Abstraction in OutSystems
AUTHORS: Lopes, B; Amorim, S; Ferreira, C ;
PUBLISHED: 2021, SOURCE: 24th International ACM/IEEE Conference on Model-Driven Engineering Languages and Systems (MODELS) in 24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: Understanding the Linkage Between Social Innovation and Sustainable Development Goals: Some Insights of Field Research
AUTHORS: Cunha, J.; Ferreira, C. ; Araujo, M.; Nunes, M. L.; Ferreira, P.;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) in 2021 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEE IEEM21)
INDEXED IN: Scopus WOS CrossRef: 1
6
TITLE: Preface
AUTHORS: Ulidowski, I; Lanese, I; Schultz, UP; Ferreira, C ;
PUBLISHED: 2020, SOURCE: 12th International Conference on Reversible Computation, RC 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12070 LNCS
INDEXED IN: Scopus
IN MY: ORCID
7
TITLE: Robust Contract Evolution in a TypeSafe MicroService Architectures
AUTHORS: Seco, JC; Ferreira, P; Lourenço, H; Ferreira, C ; Ferrão, L;
PUBLISHED: 2020, SOURCE: Art, Science, and Engineering of Programming, VOLUME: 4, ISSUE: 3
INDEXED IN: Scopus CrossRef
IN MY: ORCID
8
TITLE: Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
AUTHORS: Zeller, P; Bieniusa, A; Ferreira, C ;
PUBLISHED: 2020, SOURCE: 19th ACM SIGPLAN International Workshop on Erlang, Erlang 2020, co-located with the Annual International Conference on Functional Programming, ICFP 2020 in Erlang 2020 - Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2020
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
9
TITLE: Test mocks for low-code applications built with OutSystems
AUTHORS: Jacinto, A; Lourenço, M; Ferreira, C ;
PUBLISHED: 2020, SOURCE: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 in Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
10
TITLE: Techniques for safe and highly available cloud applications
AUTHORS: Ferreira, C ;
PUBLISHED: 2019, SOURCE: 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019 in Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2019
INDEXED IN: Scopus
IN MY: ORCID
Page 1 of 5. Total results: 49.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service