André Restivo

some pointers

• André Restivo | SiFEUP
• Contact: arestivo@fe.up.pt
• Room: I229

current classes

2024/25

2^nd semester

1^st semester

recent publications

2024

• Inês Gomes, Luis F Teixeira, Jan N. Van Rijn, Carlos Soares, André Restivo, Luís Cunha and Moises Rocha Dos Santos, "Finding Patterns in Ambiguity: Interpretable Stress Testing in the Decision Boundary", Proceedings of the 1st Workshop on Responsible Generative AI at the Conference on Computer Vision and Pattern Recognition Seattle, USA, 2024.
• Nuno Costa, Filipa S. Barros, João J. G. Lima, Rui F. Pinto and André Restivo, "Leveraging Physics-Informed Neural Networks as Solar Wind Forecasting Models", 2024 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, 2024.
• E Ribeiro, A Restivo, H Ferreira, JP Dias "WASMICO: Micro-containers in microcontrollers with WebAssembly", Journal of Systems and Software, 214, p.112081.
• F Barros, P Graça, J Lima, R Pinto, A Restivo, M Villa, "Using Recurrent Neural Networks to improve initial conditions for a solar wind forecasting model", Engineering Applications of Artificial Intelligence, 133, p.108266.
• S Fernandes, A Aguiar , A Restivo, "The Impact of a Live Refactoring Environment on Software Development", Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (pp. 337-338).
• F Barros, JJG Lima, RF Pinto, A Restivo, "Neural Networks for Surrogate Models of the Corona and Solar Wind", EGU General Assembly 2024, Vienna, Austria.

2023

• S Fernandes, A Aguiar, A Restivo, "Empirical Evaluation of a Live Environment for Extract Method Refactoring"
• T Fragoso, D Silva, JP Dias, A Restivo, HS Ferreira, "SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices", 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems … 2023
• L Cunha, C Soares, A Restivo, LF Teixeira, "GASTeN: Generative Adversarial Stress Test Networks", International Symposium on Intelligent Data Analysis, 91-102

2022

• Fernandes S., Aguiar, A. and Restivo, A., "LiveRef: a Tool for Live Refactoring Java Code", Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (Demo Track) (ASE 2022). Michigan, United States, 2022.
• Fernandes, S., Aguiar, A. and Restivo, A., "Empirical Evaluation of a Live Environment for Code Refactoring", Proceedings of the 6th International Workshop on Refactoring (IWOR 2022). Michigan, United States, 2022.
• Dias, J.P., Restivo, A. and Ferreira, H.S., 2022. "Designing and constructing internet-of-Things systems: An overview of the ecosystem. Internet of Things". In Internet of Things: Engineering Cyber Physical Human Systems, Volume 19, August 2022, Elsevier.
• Duarte, M., Dias, J.P., Ferreira, H.S. and Restivo, A., 2022, May. "Evaluation of IoT Self-healing Mechanisms using Fault-Injection in Message Brokers". In 4th International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT).
• Fernandes, S., Aguiar, A., and Restivo, A., "A Live Environment to Improve the Refactoring Experience", Programming ’22 Companion: Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming (programming 2022). Porto, Portugal, 2022.

2021

• Silva, M., Dias, J.P., Restivo, A. and Ferreira, H.S., 2021, June. "A review on visual programming for distributed computation in IoT". In International Conference on Computational Science (pp. 443-457). Springer, Cham.
• Soares, D., Dias, J.P., Restivo, A. and Ferreira, H.S., 2021, June. "Programming IoT-spaces: A user-survey on home automation rules". In International Conference on Computational Science (pp. 512-525). Springer, Cham.
• Campos, D., Restivo, A., Ferreira, H.S. and Ramos, A., 2021, April. "Automatic program repair as semantic suggestions: An empirical study". In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (pp. 217-228). IEEE.
• Dias, J.P., Restivo, A. and Ferreira, H.S., 2021, June. "Empowering visual internet-of-things mashups with self-healing capabilities". In 2021 IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT) (pp. 44-51). IEEE.
• Ferreira, J.S., Restivo, A. and Ferreira, H.S., 2021. "[Automatically Generating Websites from Hand-drawn Mockups](Automatically Generating Websites from Hand-drawn Mockups)".

2020

• Torres, D., Dias, J.P., Restivo, A. and Ferreira, H.S., 2020, September. "Real-time Feedback in Node-RED for IoT Development: An Empirical Study". In 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real-time Applications (DS-RT) (pp. 1-8). IEEE Computer Society.
• Matias, T., Correia, F.F., Fritzsch, J., Bogner, J., Ferreira, H.S. and Restivo, A., 2020, September. "Determining microservice boundaries: a case study using static and dynamic software analysis". In European Conference on Software Architecture (pp. 315-332). Springer, Cham.
• Al-Sharif, Z.A., Abdalrahman, W.F. and Jeffery, C.L., 2021, May. "Encoding Test Cases using Execution Traces". In 2021 12th International Conference on Information and Communication Systems (ICICS) (pp. 239-244). IEEE.
• Dias, J.P., Sousa, T.B., Restivo, A. and Ferreira, H.S., 2020, July. "A pattern-language for self-healing internet-of-things systems". In Proceedings of the European Conference on Pattern Languages of Programs 2020 (pp. 1-17).
• Dias, J.P., Lima, B., Faria, J.P., Restivo, A. and Ferreira, H.S., 2020, June. "Visual self-healing modelling for reliable internet-of-things systems". In International Conference on Computational Science (pp. 357-370). Springer, Cham.
• Fernandes, S., Restivo, A., Ferreira, H.S. and Aguiar, A., 2020, March. "Helping software developers through live software metrics visualization". In Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming (pp. 209-210).
• Silva, M., Dias, J., Restivo, A. and Ferreira, H., 2020, December. "Visually-defined real-time orchestration of IoT systems". In MobiQuitous 2020-17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (pp. 225-235).
• Fernandes, S., Aguiar, A. and Restivo, A., 2020. "Live Software Inspection and Refactoring". In 2020 8th Software Engineering Doctoral Symposium (SEDES). CEUR-WS.

2019

• Almeida, S., Paiva, A.C. and Restivo, A., "Mutation-Based Web Test Case Generation". Quality of Information and Communications Technology, p.339.
• Ferreira, H.S., Restivo, A. and Sousa, T.B., 2019, July. "Towards a pattern language for the masters student". In Proceedings of the 24th European Conference on Pattern Languages of Programs (pp. 1-12).
• Tavares, B., Correia, F.F. and Restivo, A., 2019, June. "Trusted data transformation with blockchain technology in open data". In International Symposium on Distributed Computing and Artificial Intelligence (pp. 213-216). Springer, Cham.
• Lourenço, P., Dias, J.P., Aguiar, A., Ferreira, H.S. and Restivo, A., 2019, May. "Experimenting with liveness in cloud infrastructure management". In International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 58-82). Springer, Cham.
• Aguiar, A., Restivo, A., Correia, F.F., Ferreira, H.S. and Dias, J.P., 2019, April. "Live software development: Tightening the feedback loops". In Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming (pp. 1-6).
• Tavares, B., Correia, F.F. and Restivo, A., 2019. "A survey on blockchain technologies and research". Journal of Information Assurance and Security, 14, pp.118-128.

slides

Web Development

Databases

Software Engineering

Programming Languages