• Sign in
  • Sign up
conf.researchr.org / Nuno Macedo
  • ASE 2023 profile
  • ESEC/FSE 2018 profile
  • ESEC/FSE 2022 profile
  • ICFP 2018 profile
  • ICSE 2021 profile
  • ICSE 2024 profile
  • ICT4S 2022 profile
  • MODELS 2022 profile
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
Share
xSat 17 May 14:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up