Carla Maria Gonçalves Ferreira
AuthID: R-000-307
1
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
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
2
TITLE: Models for Storage in Database Backends
AUTHORS: Edgard Schiebelbein; Saalik Hatia; Annette Bieniusa; Carla Ferreira; Gustavo Petri; Marc Shapiro;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Edgard Schiebelbein; Saalik Hatia; Annette Bieniusa; Carla Ferreira; Gustavo Petri; Marc Shapiro;
PUBLISHED: 2024, SOURCE: 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
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
AUTHORS: Seco, Joao Costa; Lourenco, Hugo; Parreira, Joana; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: SOFTWARE AND SYSTEMS MODELING
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
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
5
TITLE: The Authenticity Business Model Canvas: A new tool applied to the Portuguese Way of St. James
AUTHORS: Ferreira, C; Oliveira, JM; de Sousa Aroso, M;
PUBLISHED: 2023, SOURCE: Journal of Innovation Management, VOLUME: 10, ISSUE: 4
AUTHORS: Ferreira, C; Oliveira, JM; de Sousa Aroso, M;
PUBLISHED: 2023, SOURCE: Journal of Innovation Management, VOLUME: 10, ISSUE: 4
INDEXED IN: 
Scopus
Scopus6
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
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
Scopus IN MY: 
ORCID
ORCID7
TITLE: Software Engineering and Formal Methods. 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
AUTHORS: Carla Ferreira; Tim A C Willemse;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science
AUTHORS: Carla Ferreira; Tim A C Willemse;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science
8
TITLE: HOW DOES SOCIAL INNOVATION CONTRIBUTE TO THE ENERGY TRANSITION? A SWOT ANALYSIS
AUTHORS: Cunha, Jorge; Ferreira, Carla;
PUBLISHED: 2022, SOURCE: 5th International Conference on Energy and Environment - bringing together Economics and Engineering (ICEE) in TECHNOLOGIES, MARKETS AND POLICIES: BRINGING TOGETHER ECONOMICS AND ENGINEERING
AUTHORS: Cunha, Jorge; Ferreira, Carla;
PUBLISHED: 2022, SOURCE: 5th International Conference on Energy and Environment - bringing together Economics and Engineering (ICEE) in TECHNOLOGIES, MARKETS AND POLICIES: BRINGING TOGETHER ECONOMICS AND ENGINEERING
INDEXED IN: 
WOS
WOS9
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
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
10
TITLE: Nested OSTRICH: 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
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
Scopus IN MY: ORCID
ORCID