Algoritmi | User | André Monteiro de Oliveira Restivo
André Monteiro de Oliveira Restivo
André Monteiro de Oliveira Restivo
At LASI
Other with Dr Habil
Member of the LIACC R&D Unit
Academic Degree
Dr Habil
Current Position
at
Personal Webpage
Personal Email
arestivo@fe.up.ptOrcid
0000-0002-1328-3391Researcher ID
FCT Public Key
Ciência ID
BA1C-B90F-2F18Google Scholar
About Me
Prof. André Restivo holds a Ph.D. in Informatics Engineering from the Faculdade de Engenharia da Universidade do Porto (2016). He is an Assistant Professor at FEUP/DEI and a Research Fellow at the Artificial Intelligence and Computer Science Laboratory, University of Porto (LIACC). His main research areas are software engineering, IoT, automated program repair (APR), software testing, and machine learning (ML). He is the author of 45 articles in conferences and journals with scientific referee, participated in 12 scientific research projects, is supervising (or co-supervising) 7 Ph.D. thesis and supervised (or co-supervised) more than 70 M.Sc. dissertations. He is currently member of the Scientific Committee of the Master in Informatics and Computing Engineering at FEUP.
Publications (55)
Exploring Transformer Placement in Variational Autoencoders for Tabular Data Generation
CoRR
2026 | journal-article
Container Orchestration Patterns for Optimizing Resource Use
CoRR
2025 | journal-article
WASMICO: Micro-containers in microcontrollers with WebAssembly
Journal of Systems and Software
2024 | journal-article
Using Recurrent Neural Networks to improve initial conditions for a solar wind forecasting model
Engineering Applications of Artificial Intelligence
2024 | journal-article
The Impact of a Live Refactoring Environment on Software Development
2024 | conference-paper
Finding Patterns in Ambiguity: Interpretable Stress Testing in the Decision Boundary
CoRR
2024 | journal-article
Leveraging Physics-Informed Neural Networks as Solar Wind Forecasting Models
ESANN
2024 | conference-paper
Neural Networks for Surrogate Models of the Corona and Solar Wind
2024 | other
Tabular data generation with tensor contraction layers and transformers
CoRR
2024 | journal-article
Empirical Evaluation of a Live Environment for Extract Method Refactoring
CoRR
2023 | journal-article
GASTeN: Generative Adversarial Stress Test Networks
2023 | book-chapter
SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices
2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
2023 | conference-paper
LiveRef: a Tool for Live Refactoring Java Code
2022 | conference-paper
A Live Environment to Improve the Refactoring Experience
Programming
2022 | conference-paper
Designing and constructing internet-of-Things systems: An overview of the ecosystem
INTERNET OF THINGS
2022 | review
Evaluation of IoT Self-healing Mechanisms using Fault-Injection in Message Brokers
International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)
2022 | preprint
A Review on Visual Programming for Distributed Computation in IoT
ICCS (4)
2021 | conference-paper
Automatic Program Repair as Semantic Suggestions: An Empirical Study
2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021)
2021 | conference-paper
Automatically Generating Websites from Hand-drawn Mockups
VISAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 5: VISAPP
2021 | conference-paper
Empowering Visual Internet-of-Things Mashups with Self-Healing Capabilities
2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT)
2021 | conference-paper
Programming IoT-Spaces: A User-Survey on Home Automation Rules
ICCS (4)
2021 | conference-paper
Live Software Inspection and Refactoring
SEDES, Software Engineering Doctoral Symposium
2020 | conference-paper
Real-time Feedback in Node-RED for IoT Development: An Empirical Study
2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
2020 | conference-paper
Test case generation based on mutations over user execution traces
Software Quality Journal
2020 | journal-article
A Pattern-Language for Self-Healing Internet-of-Things Systems
EuroPLoP
2020 | conference-paper
Determining Microservice Boundaries: A Case Study Using Static and Dynamic Software Analysis
SOFTWARE ARCHITECTURE (ECSA 2020)
2020 | conference-paper
Experimenting with Liveness in Cloud Infrastructure Management
Communications in Computer and Information Science
2020 | book-chapter
Helping software developers through live software metrics visualization
Programming
2020 | conference-paper
Trusted Data Transformation with Blockchain Technology in Open Data
Advances in Intelligent Systems and Computing
2020 | book-chapter
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
2020 | book-chapter
Visually-defined Real-Time Orchestration of IoT Systems
2020 | book
Towards a pattern language for the masters student
Proceedings of the 24th European Conference on Pattern Languages of Programs - EuroPLop '19
2019 | conference-paper
A Survey on Blockchain Technologies and Research
Journal of Information Assurance and Security
2019 | journal-article
Live software development: tightening the feedback loops
Programming
2019 | conference-paper
Mutation-Based Web Test Case Generation
Communications in Computer and Information Science
2019 | book-chapter
A Survey of Blockchain Frameworks and Applications
SoCPaR
2018 | conference-paper
Automatic Test Case Generation from Usage Information
2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)
2018 | conference-paper
An Incremental Approach to Testing AOP
Communications in Computer and Information Science
2017 | book-chapter
Responsive website vs. mobile application: Street food of Phnom Penh, Cambodia
International Journal of Technology, Knowledge and Society
2017 | conference-paper
Incremental Modular Testing for AOP
ICSOFT-PT: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 2
2016 | conference-paper
Incremental Modular Testing in Aspect Oriented Programing
2016 | dissertation-thesis
Incremental Modular Testing in Aspect Oriented Programing
2016 | dissertation-thesis
3-D Surface Characterization Using a Structured Light Technique
2012 | conference-paper
Applying usability principles to the design of a web interface for the "iLab - Inventory manager for electronics laboratory"
Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
2010 | conference-paper
Ilab - Inventory manager for electronics laboratory
Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009
2009 | conference-paper
Simulator and scale model of an industrial manufacturing cell
IECON Proceedings (Industrial Electronics Conference)
2009 | conference-paper
Testing for unexpected interactions in AOP
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Disciplined composition of aspects using tests
Proceedings of the 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - held at the 7th International Conference on Aspect-Oriented Software Development
2008 | conference-paper
Disciplined Reuse of Aspects (State of the Art & Work Plan)
2007 | report
Disciplined Reuse of Aspects (State of the Art & Work Plan)
2007 | report
Towards detecting and solving aspect conflicts and interferences using unit tests
Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Held at the 6th International Conference on Aspect-Oriented Software Development
2007 | conference-paper
Clustering agent optimization results in dynamic scenarios
CEUR Workshop Proceedings
2006 | conference-paper
Dynamic scenario simulation optimization
2006 | dissertation-thesis
Dynamic scenario simulation optimization
2006 | dissertation-thesis
3-D surface characterization using a structured light technique
2000 | journal-article
Exploring Transformer Placement in Variational Autoencoders for Tabular Data Generation
CoRR
2026 | journal-article
Container Orchestration Patterns for Optimizing Resource Use
CoRR
2025 | journal-article
WASMICO: Micro-containers in microcontrollers with WebAssembly
Journal of Systems and Software
2024 | journal-article
Using Recurrent Neural Networks to improve initial conditions for a solar wind forecasting model
Engineering Applications of Artificial Intelligence
2024 | journal-article
The Impact of a Live Refactoring Environment on Software Development
2024 | conference-paper
Finding Patterns in Ambiguity: Interpretable Stress Testing in the Decision Boundary
CoRR
2024 | journal-article
Leveraging Physics-Informed Neural Networks as Solar Wind Forecasting Models
ESANN
2024 | conference-paper
Neural Networks for Surrogate Models of the Corona and Solar Wind
2024 | other
Tabular data generation with tensor contraction layers and transformers
CoRR
2024 | journal-article
Empirical Evaluation of a Live Environment for Extract Method Refactoring
CoRR
2023 | journal-article
GASTeN: Generative Adversarial Stress Test Networks
2023 | book-chapter
SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices
2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
2023 | conference-paper
LiveRef: a Tool for Live Refactoring Java Code
2022 | conference-paper
A Live Environment to Improve the Refactoring Experience
Programming
2022 | conference-paper
Designing and constructing internet-of-Things systems: An overview of the ecosystem
INTERNET OF THINGS
2022 | review
Evaluation of IoT Self-healing Mechanisms using Fault-Injection in Message Brokers
International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)
2022 | preprint
A Review on Visual Programming for Distributed Computation in IoT
ICCS (4)
2021 | conference-paper
Automatic Program Repair as Semantic Suggestions: An Empirical Study
2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021)
2021 | conference-paper
Automatically Generating Websites from Hand-drawn Mockups
VISAPP: PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS - VOL. 5: VISAPP
2021 | conference-paper
Empowering Visual Internet-of-Things Mashups with Self-Healing Capabilities
2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT)
2021 | conference-paper
Programming IoT-Spaces: A User-Survey on Home Automation Rules
ICCS (4)
2021 | conference-paper
Live Software Inspection and Refactoring
SEDES, Software Engineering Doctoral Symposium
2020 | conference-paper
Real-time Feedback in Node-RED for IoT Development: An Empirical Study
2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
2020 | conference-paper
Test case generation based on mutations over user execution traces
Software Quality Journal
2020 | journal-article
A Pattern-Language for Self-Healing Internet-of-Things Systems
EuroPLoP
2020 | conference-paper
Determining Microservice Boundaries: A Case Study Using Static and Dynamic Software Analysis
SOFTWARE ARCHITECTURE (ECSA 2020)
2020 | conference-paper
Experimenting with Liveness in Cloud Infrastructure Management
Communications in Computer and Information Science
2020 | book-chapter
Helping software developers through live software metrics visualization
Programming
2020 | conference-paper
Trusted Data Transformation with Blockchain Technology in Open Data
Advances in Intelligent Systems and Computing
2020 | book-chapter
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
2020 | book-chapter
Visually-defined Real-Time Orchestration of IoT Systems
2020 | book
Towards a pattern language for the masters student
Proceedings of the 24th European Conference on Pattern Languages of Programs - EuroPLop '19
2019 | conference-paper
A Survey on Blockchain Technologies and Research
Journal of Information Assurance and Security
2019 | journal-article
Live software development: tightening the feedback loops
Programming
2019 | conference-paper
Mutation-Based Web Test Case Generation
Communications in Computer and Information Science
2019 | book-chapter
A Survey of Blockchain Frameworks and Applications
SoCPaR
2018 | conference-paper
Automatic Test Case Generation from Usage Information
2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC)
2018 | conference-paper
An Incremental Approach to Testing AOP
Communications in Computer and Information Science
2017 | book-chapter
Responsive website vs. mobile application: Street food of Phnom Penh, Cambodia
International Journal of Technology, Knowledge and Society
2017 | conference-paper
Incremental Modular Testing for AOP
ICSOFT-PT: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 2
2016 | conference-paper
Incremental Modular Testing in Aspect Oriented Programing
2016 | dissertation-thesis
Incremental Modular Testing in Aspect Oriented Programing
2016 | dissertation-thesis
3-D Surface Characterization Using a Structured Light Technique
2012 | conference-paper
Applying usability principles to the design of a web interface for the "iLab - Inventory manager for electronics laboratory"
Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
2010 | conference-paper
Ilab - Inventory manager for electronics laboratory
Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009
2009 | conference-paper
Simulator and scale model of an industrial manufacturing cell
IECON Proceedings (Industrial Electronics Conference)
2009 | conference-paper
Testing for unexpected interactions in AOP
4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software
2009 | conference-paper
Disciplined composition of aspects using tests
Proceedings of the 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - held at the 7th International Conference on Aspect-Oriented Software Development
2008 | conference-paper
Disciplined Reuse of Aspects (State of the Art & Work Plan)
2007 | report
Disciplined Reuse of Aspects (State of the Art & Work Plan)
2007 | report
Towards detecting and solving aspect conflicts and interferences using unit tests
Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Held at the 6th International Conference on Aspect-Oriented Software Development
2007 | conference-paper
Clustering agent optimization results in dynamic scenarios
CEUR Workshop Proceedings
2006 | conference-paper
Dynamic scenario simulation optimization
2006 | dissertation-thesis
Dynamic scenario simulation optimization
2006 | dissertation-thesis
3-D surface characterization using a structured light technique
2000 | journal-article




