default search action

combined dblp search
author search
venue search
publication search

ask others

Nuno Macedo 0001

Nuno Filipe Moreira Macedo

> Home > Persons

Person information

affiliation: INESC TEC, Porto, Portugal
affiliation: University of Porto, Faculty of Engineering, Üortugal

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CunhaML24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CunhaML24
Alcino Cunha, Nuno Macedo, Chong Liu:
Validating multiple variants of an automotive light system with Alloy 6. Int. J. Softw. Tools Technol. Transf. 26(3): 365-377 (2024)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BarrosNCMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BarrosNCMP24
Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva:
Alloy Repair Hint Generation Based on Historical Data. FM (2) 2024: 104-121
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CunhaMCMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CunhaMCMS24
Alcino Cunha, Nuno Macedo, José Creissac Campos, Iara Margolis, Emanuel Sousa:
Assessing the impact of hints in learning formal specification. SEET@ICSE 2024: 151-161
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/SilvaCMO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/SilvaCMO24
Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Alloy Goes Fuzzy. ABZ 2024: 61-79
2023
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/AbreuMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/AbreuMM23
Alexandre Abreu, Nuno Macedo, Alexandra Mendes:
Exploring Automatic Specification Repair in Dafny Programs. ASEW 2023: 105-112
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/BrunelCCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/BrunelCCM23
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Adding Records to Alloy. ABZ 2023: 212-219
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/MacedoBCC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/MacedoBCC23
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. ABZ 2023: 254-261
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/CunhaMK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/CunhaMK23
Alcino Cunha, Nuno Macedo, Eunsuk Kang:
Task Model Design and Analysis with Alloy. ABZ 2023: 303-320
2022
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MacedoBCC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MacedoBCC22
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66(4): 861-904 (2022)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LiuMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiuMC22
Chong Liu, Nuno Macedo, Alcino Cunha:
Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. 220: 102829 (2022)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/0001CM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/0001CM22
André Santos, Alcino Cunha, Nuno Macedo:
Schema-guided Testing of Message-oriented Systems. ENASE 2022: 26-37
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/SantosCMMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/SantosCMMP22
André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira:
Variability Analysis for Robot Operating System Applications. IRC 2022: 111-118
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/models/MartinsFCCCMO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/MartinsFCCCMO22
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: 345-355
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/CerqueiraCM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/CerqueiraCM22
Jorge Cerqueira, Alcino Cunha, Nuno Macedo:
Timely Specification Repair for Alloy 6. SEFM 2022: 288-303
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SilvaOMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SilvaOMC22
Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha:
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE 2022: 885-896
2021
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MacedoCPCSPRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MacedoCPCSPRS21
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: 102690 (2021)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rose-ws/0001CM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rose-ws/0001CM21
André Santos, Alcino Cunha, Nuno Macedo:
The High-Assurance ROS Framework. RoSE@ICSE 2021: 37-40
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-01603
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-01603
André Santos, Alcino Cunha, Nuno Macedo:
The High-Assurance ROS Framework. CoRR abs/2103.01603 (2021)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CunhaM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CunhaM20
Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Int. J. Softw. Tools Technol. Transf. 22(3): 281-296 (2020)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/MacedoCPCSPRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/MacedoCPCSPRS20
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: 61-77
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/CunhaML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/CunhaML20
Alcino Cunha, Nuno Macedo, Chong Liu:
Validating Multiple Variants of an Automotive Light System with Electrum. ABZ 2020: 318-334
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/PachecoM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/PachecoM20
Hugo Pacheco, Nuno Macedo:
ROSY: An elegant language to teach the pure reactive nature of robot programming. IRC 2020: 240-247
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/CarvalhoCM020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/CarvalhoCM020
Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos:
Verification of system-wide safety properties of ROS applications. IROS 2020: 7249-7254
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiuMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiuMC20
Chong Liu, Nuno Macedo, Alcino Cunha:
Merging Cloned Alloy Models with Colorful Refactorings. SBMF 2020: 173-191

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/irc/0001CM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/irc/0001CM19
André Santos, Alcino Cunha, Nuno Macedo:
Static-Time Extraction and Analysis of the ROS Computation Graph. IRC 2019: 62-69
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuMC19
Chong Liu, Nuno Macedo, Alcino Cunha:
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA 2019: 38-55
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-10634
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-10634
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM 2019: 63-69
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-02275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-02275
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 abs/1907.02275 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-03262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-03262
Hugo Pacheco, Nuno Macedo:
ROSY: An elegant language to teach the pure reactive nature of robot programming. CoRR abs/1911.03262 (2019)
2018
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AlmeidaCM0P18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AlmeidaCM0P18
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): 82:1-82:17 (2018)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/CunhaM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/CunhaM18
Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ 2018: 307-321
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BrunelCCHMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BrunelCCHMT18
Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa:
Proposition of an Action Layer for Electrum. ABZ 2018: 397-402
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BrunelCCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BrunelCCM18
Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
The electrum analyzer: model checking relational first-order temporal specifications. ASE 2018: 884-887
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/0001CM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/0001CM18
André Santos, Alcino Cunha, Nuno Macedo:
Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE 2018: 56-62
[c14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10817
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10817
Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MacedoTC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MacedoTC17
Nuno Macedo, Jorge Tiago, Alcino Cunha:
A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. 43(7): 615-640 (2017)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/MacedoCP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/MacedoCP17
Nuno Macedo, Alcino Cunha, Eduardo Pessoa:
Exploiting Partial Knowledge for Efficient Model Analysis. ATVA 2017: 344-362
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HalderPMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HalderPMS17
Raju Halder, José Proença, Nuno Macedo, André Santos:
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE 2017: 44-50
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SantosCMAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SantosCMAS17
André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos:
Mining the usage patterns of ROS primitives. IROS 2017: 3855-3860
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/MacedoC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/MacedoC16
Nuno Macedo, Alcino Cunha:
Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3): 783-810 (2016)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SantosCML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SantosCML16
André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço:
A framework for quality assessment of ROS repositories. IROS 2016: 4491-4496
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/OliveiraBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/OliveiraBM16
Bruno Oliveira, Orlando Belo, Nuno Macedo:
Towards a Formal Validation of ETL Patterns Behaviour. MEDI 2016: 156-165
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MacedoBCCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MacedoBCCK16
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg:
Lightweight specification and analysis of dynamic systems with rich configurations. SIGSOFT FSE 2016: 373-383
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MacedoC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MacedoC16
Nuno Macedo, Alcino Cunha:
Alloy meets TLA+: An exploratory study. CoRR abs/1603.03599 (2016)
2015
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MacedoCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MacedoCG15
Nuno Macedo, Alcino Cunha, Tiago Guimarães:
Exploring Scenario Exploration. FASE 2015: 301-315
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MacedoTC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MacedoTC15
Nuno Macedo, Jorge Tiago, Alcino Cunha:
A Feature-based Classification of Model Repair Approaches. CoRR abs/1504.03947 (2015)
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/f1000research/MoreiraCM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/f1000research/MoreiraCM15
João Mendes Moreira, Alcino Cunha, Nuno Macedo:
An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research 4: 181 (2015)
2014
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/pt/Macedo14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/pt/Macedo14
Nuno Macedo:
A relational approach to bidirectional transformation. University of Minho, Portugal, 2014
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/edbt/MacedoCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/MacedoCP14
Nuno Macedo, Alcino Cunha, Hugo Pacheco:
Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops 2014: 71-74
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/CunhaMG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/CunhaMG14
Alcino Cunha, Nuno Macedo, Tiago Guimarães:
Target Oriented Relational Model Finding. FASE 2014: 17-31
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/MacedoPSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/MacedoPSC14
Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha:
Bidirectional spreadsheet formulas. VL/HCC 2014: 161-168
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MacedoPCO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MacedoPCO13
Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira:
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MacedoC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MacedoC13
Nuno Macedo, Alcino Cunha:
Implementing QVT-R Bidirectional Model Transformations Using Alloy. FASE 2013: 297-311
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MacedoGC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MacedoGC13
Nuno Macedo, Tiago Guimarães, Alcino Cunha:
Model repair and transformation with Echo. ASE 2013: 694-697
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PachecoMCV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PachecoMCV13
Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer:
A Generic Scheme and Properties of Bidirectional Transformations. CoRR abs/1306.4473 (2013)
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/MacedoPC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/MacedoPC12
Nuno Macedo, Hugo Pacheco, Alcino Cunha:
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS 2012: 146-161
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1209-5773
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1209-5773
Nuno Macedo, Alcino Cunha:
Automatic Unbounded Verification of Alloy Specifications with Prover9. CoRR abs/1209.5773 (2012)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.