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.pt

Orcid

0000-0002-1328-3391

Researcher ID

FCT Public Key

Ciência ID

BA1C-B90F-2F18

Google Scholar

About Me



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

This user account status is Approved