Acronym	Title	Funding Entity	Start Date	End Date
EuroProofNet	European Research Network on Formal Proofs	COST ACTION	11/10/2021	10/10/2025
DACOMICO	Data Consistency in Microservices Compositions	FCT	15/01/2022	14/01/2025

PAST

Acronym	Title	Funding Entity	Start Date	End Date
SafeSessions	Safe Concurrent Programming with Session Types	FCT	01/03/2021	31/08/2024
THOR	Computer Assisted Thoracic Assessment using POCUS	FCT	01/03/2021	29/02/2024
RAP	Resource Aware Programming	FCT	13/01/2022	12/01/2024
CAMELOT	Autonomic platform for Machine Learning using anonymized data	P2020	01/07/2020	01/01/2023
Erasmus+ ACC	ERASMUS+ Advanced Computing Consortium – HPC, HPDA, AI & HPV	EU ERASMUS+	01/10/2021	31/12/2022
EUTypes	The European Research Network on Types for Programming and Verification	COST ACTION	24/03/2016	20/03/2020

Pedro Barbosa, Rosina Savisaar, Alcides Fonseca. Semantically Rich Local Dataset Generation for Explainable AI in Genomics. In Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2024 [Biblios]

F. O. de Franca, M. Virgolin, M. Kommenda, M. S. Majumder, M. Cranmer, G. Espada, L. Ingelse, A. Fonseca, M. Landajuela, B. Petersen, R. Glatt, N. Mundhenk, C. S. Lee, J. D. Hochhalter, D. L. Randall, P. Kamienny, H. Zhang, G. Dick, A. Simon, B. Burlacu, Jaan Kasak, Meera Machado, Casper Wilstrup, W. G. La Cavaz. SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation. IEEE Transactions on Evolutionary Computation, 1-1, Institute of Electrical and Electronics Engineers (IEEE), 2024 [Biblios]

Paulo Canelas, Trenton Tabor, John-Paul Ore, Alcides Fonseca, Claire Le Goues, Christopher S. Timperley. Is it a Bug? Understanding Physical Unit Mismatches in Robot Software. In IEEE International Conference on Robotics and Automation (ICRA), pages 4819-4826. IEEE, 2024 [Biblios]

Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley. Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. In International Symposium on Software Testing and Analysis, 2024 [Biblios]

Leon Ingelse, José-Ignacio Hidalgo, José Manuel Colmenar, Nuno Lourenço, Alcides Fonseca. Comparing Individual Representations in Grammar-Guided Genetic Programming for Glucose Prediction in People with Diabetes. In Proceedings of the Companion Conference on Genetic and Evolutionary Computation. ACM, 2023 [Biblios]

Diogo Poças, Alcides Fonseca. Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference, 2023 [Biblios]

Catarina Gamboa, Paulo Canelas, Christopher Timperley, Alcides Fonseca. Usability-Oriented Design of Liquid Types for Java. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 2023 [Biblios]

Leon Ingelse, Alcides Fonseca. Domain-Aware Feature Learning with Grammar-Guided Genetic Programming. In Lecture Notes in Computer Science,Genetic Programming, pages 227-243. Springer Nature Switzerland, 2023 [Biblios]

Pedro Barbosa, Rosina Savisaar, Maria Carmo-Fonseca, Alcides Fonseca. Computational prediction of human deep intronic variation. GigaScience, 12, Oxford University Press (OUP), 2022 [Biblios]

Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, Alcides Fonseca. Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming. In Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 2022 [Biblios]

Pedro Barbosa, Marta Ribeiro, Maria Carmo-Fonseca, Alcides Fonseca. Clinical significance of genetic variation in hypertrophic cardiomyopathy: comparison of computational tools to prioritize missense variants. Frontiers in Cardiovascular Medicine, 9, Frontiers Media SA, 2022 [Biblios]

Alcides Fonseca, Guilherme Espada. Type Systems in Resource-Aware Programming: Opportunities and Challenges. In ArXiV, 2022 [Biblios]

Alcides Fonseca, Máximo Oliveira. Figra: Evaluating a larger search space for Cardumen in Automatic Program Repair. In Proceedings of the Third International Workshop on Automated Program Repair. ACM, 2022 [Biblios]

Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher S. Timperley. An experience report on challenges in learning the robot operating system. In Proceedings of the 4th International Workshop on Robotics Software Engineering. ACM, 2022 [Biblios]

Paulo Canelas, Miguel Tavares, Ricardo Cordeiro, Alcides Fonseca, Christopher S. Timperley. An Experience Report on Challenges in Learning the Robot Operating System. In International Workshop on Robotics Software Engineering, 2022 [Biblios]

Leon Ingelse, Guilherme Espada, Alcides Fonseca. Benchmarking Individual Representation in Grammar-Guided Genetic Programming. In EasyChair, 2022 [Biblios]

Alcides Fonseca, Paulo Santos, Guilherme Espada, Sara Silva. Grammatical Evolution Mapping for Semantically-Constrained Genetic Programming, In Genetic and Evolutionary Computation,Genetic Programming Theory and Practice XVIII, pages 45 - 62. Springer Singapore, 2022 [Biblios]

Cordeiro, Ricardo Jorge Dias, Fonseca, Alcides Miguel Cachulo Aguiar, Timperley, Christopher Steven. Formalization and Runtime Verification of Invariants for Robotic Systems. Master's dissertation, 2022 [Biblios]

Ingelse, Leon Kornelis, Fonseca, Alcides Aguiar. Optimization of feature learning through grammar-guided genetic programming. Master's dissertation, 2022 [Biblios]

Tavares, Miguel Rodrigues, Fonseca, Alcides Miguel Cachulo Aguiar, Timperley, Christopher Steven. RobotFix : Detecting Bugs On Variables In Robot Programs. Master's dissertation, 2022 [Biblios]

Gonçalo Miguel Inácio Duarte, José Carlos Medeiros de Campos, Alcides Miguel Cachulo Aguiar Fonseca. Bio-inspired Optimization Algorithms for Unit Test Generation. Master's dissertation, 2021 [Biblios]

João Pedro Vieira David, Alcides Miguel Cachulo Aguiar Fonseca. Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis. Master's dissertation, 2021 [Biblios]

Máximo José Nicolaas Hoefnagel Oliveira, Alcides Miguel Cachulo Aguiar Fonseca. Exploring a Larger Search Space for Automatic Program Repair. Master's dissertation, 2021 [Biblios]

Paulo Santos, Jose Campos, Christopher S. Timperley, Alcides Fonseca. Augmenting Search-based Techniques with Static Synthesis-based Input Generation. In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST), pages 12-15. IEEE, 2021 [Biblios]

Raul Barbosa, Alcides Fonseca, Filipe Araujo. Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal, 29(3):705-731, Springer Science and Business Media LLC, 2021 [Biblios]

Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca. LiquidJava: Adding Lightweight Verification to Java. In INFORUM, 2021 [Biblios]

Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca. User-driven design and evaluation of Liquid Types in java. In Human Aspects of Types and Reasoning Assistants, 2021 [Biblios]

Paulo Santos, Sara Silva, Alcides Fonseca. Refined typed genetic programming as a user interface for genetic programming, Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion, 2020 [Biblios]

Alcides Fonseca, Rick Kazman, Patricia Lago. A Manifesto for Energy-Aware Software. IEEE Computing Edge, 18(4), Institute of Electrical and Electronics Engineers (IEEE), 2020 [Biblios]

Bernardo Filipe Martinho Neves, Alcides Miguel Cachulo Aguiar Fonseca. Centralização de configurações de serviços num ambiente de micro-serviços. Master's dissertation, 2020 [Biblios]

Guilherme Jorge Nunes Monteiro Espada, Alcides Miguel Cachulo Aguiar Fonseca. Automatic conversion of Ada source code to Scala. Master's dissertation, 2020 [Biblios]

Paulo Alexandre Canelas dos Santos, Alcides Miguel Cachulo Aguiar Fonseca. Towards the conceptualization of refinement typed genetic programming. Master's dissertation, 2020 [Biblios]

Alcides Fonseca, Paulo Santos, Sara Silva. The Usability Argument for Refinement Typed Genetic Programming. In Parallel Problem Solving from Nature – PPSN XVI,Lecture Notes in Computer Science, pages 18-32. Springer International Publishing, 2020 [Biblios]