Nuno Macedo

According to our database, Nuno Macedo authored at least 52 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Validating multiple variants of an automotive light system with Alloy 6.

Alcino Cunha, Nuno Macedo, Chong Liu

Int. J. Softw. Tools Technol. Transf., June, 2024

Alloy Goes Fuzzy.

Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Assessing the impact of hints in learning formal specification.

Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa

Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training, 2024

Alloy Repair Hint Generation Based on Historical Data.

Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Verifying Temporal Relational Models with Pardinus.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Task Model Design and Analysis with Alloy.

Alcino Cunha, Nuno Macedo, Eunsuk Kang

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Adding Records to Alloy.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Exploring Automatic Specification Repair in Dafny Programs.

Alexandre Abreu, Nuno Macedo, Alexandra Mendes

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

2022

Merging cloned Alloy models with colorful refactorings.

Chong Liu, Nuno Macedo, Alcino Cunha

Sci. Comput. Program., 2022

Pardinus: A Temporal Relational Model Finder.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

J. Autom. Reason., 2022

Quantitative relational modelling with QAlloy.

Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Timely Specification Repair for Alloy 6.

Jorge Cerqueira, Alcino Cunha, Nuno Macedo

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Verification of railway network models with EVEREST.

João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Variability Analysis for Robot Operating System Applications.

André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira

Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

Schema-guided Testing of Message-oriented Systems.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021

Experiences on teaching alloy with an automated assessment platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Sci. Comput. Program., 2021

The High-Assurance ROS Framework.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

2020

Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum.

Alcino Cunha, Nuno Macedo

Int. J. Softw. Tools Technol. Transf., 2020

Verification of system-wide safety properties of ROS applications.

Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

ROSY: An elegant language to teach the pure reactive nature of robot programming.

Hugo Pacheco, Nuno Macedo

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Validating Multiple Variants of an Automotive Light System with Electrum.

Alcino Cunha, Nuno Macedo, Chong Liu

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Simulation under Arbitrary Temporal Logic Constraints.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Sharing and Learning Alloy on the Web.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva

CoRR, 2019

Simplifying the Analysis of Software Design Variants with a Colorful Alloy.

Chong Liu, Nuno Macedo, Alcino Cunha

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Static-Time Extraction and Analysis of the ROS Computation Graph.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2018

Teaching how to program using automated assessment and functional glossy games (experience report).

José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, José Proença

Proc. ACM Program. Lang., 2018

Improving the Visualization of Alloy Instances.

Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Property-based testing for the robot operating system.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

The electrum analyzer: model checking relational first-order temporal specifications.

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Proposition of an Action Layer for Electrum.

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

A Feature-Based Classification of Model Repair Approaches.

Nuno Macedo, Jorge Tiago, Alcino Cunha

IEEE Trans. Software Eng., 2017

Mining the usage patterns of ROS primitives.

André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.

Raju Halder, José Proença, Nuno Macedo, André Santos

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Exploiting Partial Knowledge for Efficient Model Analysis.

Nuno Macedo, Alcino Cunha, Eduardo Pessoa

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Least-change bidirectional model transformation with QVT-R and ATL.

Nuno Macedo, Alcino Cunha

Softw. Syst. Model., 2016

Alloy meets TLA+: An exploratory study.

Nuno Macedo, Alcino Cunha

CoRR, 2016

Lightweight specification and analysis of dynamic systems with rich configurations.

Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Towards a Formal Validation of ETL Patterns Behaviour.

Bruno Oliveira, Orlando Belo, Nuno Macedo

Proceedings of the Model and Data Engineering - 6th International Conference, 2016

A framework for quality assessment of ROS repositories.

André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

2015

An ORCID based synchronization framework for a national CRIS ecosystem.

João Mendes Moreira, Alcino Cunha, Nuno Macedo

F1000Research, 2015

Exploring Scenario Exploration.

Nuno Macedo, Alcino Cunha, Tiago Guimarães

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

A relational approach to bidirectional transformation

Nuno Macedo

PhD thesis, 2014

Bidirectional spreadsheet formulas.

Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Target Oriented Relational Model Finding.

Alcino Cunha, Nuno Macedo, Tiago Guimarães

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Towards a Framework for Multidirectional Model Transformations.

Nuno Macedo, Alcino Cunha, Hugo Pacheco

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Composing Least-change Lenses.

Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Generic Scheme and Properties of Bidirectional Transformations.

Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer

CoRR, 2013

Model repair and transformation with Echo.

Nuno Macedo, Tiago Guimarães, Alcino Cunha

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Implementing QVT-R Bidirectional Model Transformations Using Alloy.

Nuno Macedo, Alcino Cunha

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Automatic Unbounded Verification of Alloy Specifications with Prover9

Nuno Macedo, Alcino Cunha

CoRR, 2012

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants.

Nuno Macedo, Hugo Pacheco, Alcino Cunha

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012