Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 62



1
TITLE: Going beyond templates: composition and evolution in nested OSTRICH  Full Text
AUTHORS: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla ;
PUBLISHED: 2024, SOURCE: SOFTWARE AND SYSTEMS MODELING
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Models for Storage in Database Backends A Rigorous Approach for Formally-Correct Designs
AUTHORS: Schiebelbein, Edgard; Hatia, Saalik; Bieniusa, Annette; Petri, Gustavo ; Ferreira, Carla; Shapiro, Marc;
PUBLISHED: 2024, SOURCE: 11th Workshop on Principles and Practice of Consistency for Distributed Data (PAPOC) in PROCEEDINGS OF THE ELEVENTH ACM WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2024
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Monitoring of spatio-temporal properties with nonlinear SAT solvers  Full Text
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications
AUTHORS: João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues ; João Costa Seco; Carla Ferreira ; Joana Parreira;
PUBLISHED: 2023, SOURCE: SN Comput. Sci., VOLUME: 4, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
5
6
TITLE: VeriFx: Correct Replicated Data Types for the Masses
AUTHORS: Kevin De Porre; Carla Ferreira ; Elisa Gonzalez Boix;
PUBLISHED: 2023, SOURCE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
INDEXED IN: Scopus
IN MY: ORCID
7
TITLE: Derivations with Holes for Concept-Based Program Synthesis
AUTHORS: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLISHED: 2022, SOURCE: 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, co-located with SPLASH 2022 in Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
8
TITLE: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTHORS: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLISHED: 2022, SOURCE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
9
TITLE: Nested OSTRICH: Hatching Compositions of Low-code Templates. hatching compositions of low-code templates
AUTHORS: Seco, JC; Lourenço, H; Parreira, J; Ferreira, C ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
10
TITLE: OSTRICH: a rich template language for low-code development (extended version)  Full Text
AUTHORS: Lourenço, H; Ferreira, C ; Costa Seco, J; Parreira, J;
PUBLISHED: 2022, SOURCE: Software and Systems Modeling, VOLUME: 22, ISSUE: 5
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
Page 1 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

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