Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Publicações Confirmadas: 62



1
TÍTULO: Going beyond templates: composition and evolution in nested OSTRICH  Full Text
AUTORES: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla ;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE AND SYSTEMS MODELING
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Models for Storage in Database Backends A Rigorous Approach for Formally-Correct Designs
AUTORES: Schiebelbein, Edgard; Hatia, Saalik; Bieniusa, Annette; Petri, Gustavo ; Ferreira, Carla; Shapiro, Marc;
PUBLICAÇÃO: 2024, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Monitoring of spatio-temporal properties with nonlinear SAT solvers  Full Text
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
4
TÍTULO: An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications
AUTORES: João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues ; João Costa Seco; Carla Ferreira ; Joana Parreira;
PUBLICAÇÃO: 2023, FONTE: SN Comput. Sci., VOLUME: 4, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
5
TÍTULO: Software Engineering and Formal Methods. 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
AUTORES: Carla Ferreira ; Tim A C Willemse;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
6
TÍTULO: VeriFx: Correct Replicated Data Types for the Masses
AUTORES: Kevin De Porre; Carla Ferreira ; Elisa Gonzalez Boix;
PUBLICAÇÃO: 2023, FONTE: 37th European Conference on Object-Oriented Programming, ECOOP 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 263
INDEXADO EM: Scopus
NO MEU: ORCID
7
TÍTULO: Derivations with Holes for Concept-Based Program Synthesis
AUTORES: João Costa Seco; Jonathan Aldrich; Luis Carvalho; Bernardo Toninho ; Carla Ferreira ;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
8
TÍTULO: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
9
TÍTULO: Nested OSTRICH: Hatching Compositions of Low-code Templates. hatching compositions of low-code templates
AUTORES: Seco, JC; Lourenço, H; Parreira, J; Ferreira, C ;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
10
TÍTULO: OSTRICH: a rich template language for low-code development (extended version)  Full Text
AUTORES: Lourenço, H; Ferreira, C ; Costa Seco, J; Parreira, J;
PUBLICAÇÃO: 2022, FONTE: Software and Systems Modeling, VOLUME: 22, NÚMERO: 5
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
Página 1 de 7. Total de resultados: 62.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service