Nuno Macedo

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 40

Top Topics

Teaching Mathematics

Partial Knowledge

Relational Models

Top Venues

Publications

Alcino Cunha, Nuno Macedo, Eunsuk Kang
Task Model Design and Analysis with Alloy. ABZ (2023)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Verifying Temporal Relational Models with Pardinus. ABZ (2023)
Alexandre Abreu, Nuno Macedo, Alexandra Mendes
Exploring Automatic Specification Repair in Dafny Programs. ASEW (2023)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Adding Records to Alloy. ABZ (2023)
André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira
Variability Analysis for Robot Operating System Applications. IRC (2022)
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
Verification of railway network models with EVEREST. MoDELS (2022)
Jorge Cerqueira, Alcino Cunha, Nuno Macedo
Timely Specification Repair for Alloy 6. SEFM (2022)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66 (4) (2022)
Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE (2022)
André Santos, Alcino Cunha, Nuno Macedo
Schema-guided Testing of Message-oriented Systems. ENASE (2022)
Chong Liu, Nuno Macedo, Alcino Cunha
Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. 220 (2022)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211 (2021)
André Santos, Alcino Cunha, Nuno Macedo
The High-Assurance ROS Framework. RoSE@ICSE (2021)
André Santos, Alcino Cunha, Nuno Macedo
The High-Assurance ROS Framework. CoRR (2021)
Hugo Pacheco, Nuno Macedo
ROSY: An elegant language to teach the pure reactive nature of robot programming. IRC (2020)
Alcino Cunha, Nuno Macedo
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Chong Liu, Nuno Macedo, Alcino Cunha
Merging Cloned Alloy Models with Colorful Refactorings. SBMF (2020)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ (2020)
Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos
Verification of system-wide safety properties of ROS applications. IROS (2020)
Alcino Cunha, Nuno Macedo, Chong Liu
Validating Multiple Variants of an Automotive Light System with Electrum. ABZ (2020)
Hugo Pacheco, Nuno Macedo
ROSY: An elegant language to teach the pure reactive nature of robot programming. CoRR (2019)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva
Sharing and Learning Alloy on the Web. CoRR (2019)
André Santos, Alcino Cunha, Nuno Macedo
Static-Time Extraction and Analysis of the ROS Computation Graph. IRC (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM (2019)
Chong Liu, Nuno Macedo, Alcino Cunha
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA (2019)
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
Proposition of an Action Layer for Electrum. ABZ (2018)
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha
Improving the Visualization of Alloy Instances. F-IDE@FLoC (2018)
André Santos, Alcino Cunha, Nuno Macedo
Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE (2018)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença
Teaching how to program using automated assessment and functional glossy games (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo
The electrum analyzer: model checking relational first-order temporal specifications. ASE (2018)
Alcino Cunha, Nuno Macedo
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ (2018)
Nuno Macedo, Alcino Cunha, Eduardo Pessoa
Exploiting Partial Knowledge for Efficient Model Analysis. ATVA (2017)
Raju Halder, José Proença, Nuno Macedo, André Santos
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE (2017)
Nuno Macedo, Jorge Tiago, Alcino Cunha
A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. 43 (7) (2017)
André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos
Mining the usage patterns of ROS primitives. IROS (2017)
Bruno Oliveira, Orlando Belo, Nuno Macedo
Towards a Formal Validation of ETL Patterns Behaviour. MEDI (2016)
Nuno Macedo, Alcino Cunha
Alloy meets TLA+: An exploratory study. CoRR (2016)
André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço
A framework for quality assessment of ROS repositories. IROS (2016)
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE (2016)
Nuno Macedo, Alcino Cunha
Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15 (3) (2016)
Nuno Macedo, Alcino Cunha, Tiago Guimarães
Exploring Scenario Exploration. FASE (2015)
Nuno Macedo, Jorge Tiago, Alcino Cunha
A Feature-based Classification of Model Repair Approaches. CoRR (2015)
João Mendes Moreira, Alcino Cunha, Nuno Macedo
An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research 4 (2015)
Nuno Macedo, Alcino Cunha, Hugo Pacheco
Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops (2014)
Alcino Cunha, Nuno Macedo, Tiago Guimarães
Target Oriented Relational Model Finding. FASE (2014)
Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha
Bidirectional spreadsheet formulas. VL/HCC (2014)
Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
A Generic Scheme and Properties of Bidirectional Transformations. CoRR (2013)
Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Nuno Macedo, Alcino Cunha
Implementing QVT-R Bidirectional Model Transformations Using Alloy. FASE (2013)
Nuno Macedo, Tiago Guimarães, Alcino Cunha
Model repair and transformation with Echo. ASE (2013)
Nuno Macedo, Alcino Cunha
Automatic Unbounded Verification of Alloy Specifications with Prover9 CoRR (2012)
Nuno Macedo, Hugo Pacheco, Alcino Cunha
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS (2012)