Linkedin

Member

Paulo Canelas

PAST

Acronym Title Funding Entity Start Date End Date
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
CONFIDENT Communication Contracts for Distributed Systems Development FCT 01/05/2016 31/10/2019
to
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]
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]
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]
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]
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]
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]
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]
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]