Carla Maria Gonçalves Ferreira
AuthID: R-000-307
1
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
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
2
TÃTULO: Models for Storage in Database Backends
AUTORES: Edgard Schiebelbein; Saalik Hatia; Annette Bieniusa; Carla Ferreira; Gustavo Petri; Marc Shapiro;
PUBLICAÇÃO: 2024, FONTE: 11th ACM Workshop on Principles and Practice of Consistency for Distributed Data, PAPOC 2024 in PAPOC 2024 - Proceedings of the 11th ACM Workshop on Principles and Practice of Consistency for Distributed Data, Part of: Eurosys 2024
AUTORES: Edgard Schiebelbein; Saalik Hatia; Annette Bieniusa; Carla Ferreira; Gustavo Petri; Marc Shapiro;
PUBLICAÇÃO: 2024, FONTE: 11th ACM Workshop on Principles and Practice of Consistency for Distributed Data, PAPOC 2024 in PAPOC 2024 - Proceedings of the 11th ACM Workshop on Principles and Practice of Consistency for Distributed Data, Part of: Eurosys 2024
3
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
AUTORES: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE AND SYSTEMS MODELING
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
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
5
TÃTULO: The Authenticity Business Model Canvas: A new tool applied to the Portuguese Way of St. James
AUTORES: Ferreira, C; Oliveira, JM; de Sousa Aroso, M;
PUBLICAÇÃO: 2023, FONTE: Journal of Innovation Management, VOLUME: 10, NÚMERO: 4
AUTORES: Ferreira, C; Oliveira, JM; de Sousa Aroso, M;
PUBLICAÇÃO: 2023, FONTE: Journal of Innovation Management, VOLUME: 10, NÚMERO: 4
INDEXADO EM: 
Scopus
Scopus6
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
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
Scopus NO MEU: 
ORCID
ORCID7
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
AUTORES: Carla Ferreira; Tim A C Willemse;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
8
TÃTULO: HOW DOES SOCIAL INNOVATION CONTRIBUTE TO THE ENERGY TRANSITION? A SWOT ANALYSIS
AUTORES: Cunha, Jorge; Ferreira, Carla;
PUBLICAÇÃO: 2022, FONTE: 5th International Conference on Energy and Environment - bringing together Economics and Engineering (ICEE) in TECHNOLOGIES, MARKETS AND POLICIES: BRINGING TOGETHER ECONOMICS AND ENGINEERING
AUTORES: Cunha, Jorge; Ferreira, Carla;
PUBLICAÇÃO: 2022, FONTE: 5th International Conference on Energy and Environment - bringing together Economics and Engineering (ICEE) in TECHNOLOGIES, MARKETS AND POLICIES: BRINGING TOGETHER ECONOMICS AND ENGINEERING
INDEXADO EM: 
WOS
WOS9
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
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
10
TÃTULO: Nested OSTRICH: 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
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
Scopus NO MEU: ORCID
ORCID