André Restivo

some pointers

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

current classes

2022/23

2^nd semester

1^st semester

recent publications

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.

materials

slides

Web Development

Databases

Software Engineering

Programming Languages