conf.researchr.org / Nuno Macedo
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

ESEC/FSE 2022 Author of Quantitative Relational Modelling with QAlloy within the Research Papers-track
MODELS 2022 Author of Verification of Railway Network Models with EVEREST within the Technical Track-track
ICT4S 2022 Virtualization and Web Co-Chairs in Organizing Committee
RoSE 2021 Author of The High-Assurance ROS Framework within the RoSE 2021-track
ESEC/FSE 2018 Author of Property-Based Testing for the Robot Operating System within the A-TEST-track
ICFP 2018 Author of Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) within the Research Papers-track