Nuno Macedo - RankMe

61 papers A* 2A 4B 7C 11Misc 1Journal 20Unranked 15

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