Nuno Macedo -

Registered user since Mon 10 May 2021

Name:Nuno Macedo

Country:Portugal

Affiliation:University of Porto; INESC TEC

Personal website: https://nmacedo.github.io/

GitHub: https://github.com/nmacedo

Research interests:Lightweight formal methods, Trustworthy software design, Safe robotic software

Contributions

2024

ICSE

Author of Assessing the impact of hints in learning formal specification within the Software Engineering Education and Training-track
Author of Assessing the impact of hints in learning formal specification: Research artifact within the Artifact Evaluation-track

2023

ASE

Author of Exploring Automatic Specification Repair in Dafny Programs within the [Workshop] ASYDE-track

2022

ESEC/FSE

Author of Quantitative Relational Modelling with QAlloy within the Research Papers-track

MODELS

Author of Verification of Railway Network Models with EVEREST within the Technical Track-track

ICT4S

Virtualization and Web Co-Chairs in Organizing Committee

2021

RoSE

Author of The High-Assurance ROS Framework within the RoSE 2021-track

2018

ESEC/FSE

Author of Property-Based Testing for the Robot Operating System within the A-TEST-track

ICFP

Author of Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) within the Research Papers-track