Nuno Macedo
Identifiers
- name variant Nuno Macedo 0.60 · backfill
Papers (6)
- Model checking of hyperproperties for high-level relational models cs.SE · 2025 · author #1
- Sharing and Learning Alloy on the Web cs.CY · 2019 · author #1
- Alloy meets TLA+: An exploratory study cs.SE · 2016 · author #1
- A Feature-based Classification of Model Repair Approaches cs.SE · 2015 · author #1
- A Generic Scheme and Properties of Bidirectional Transformations cs.PL · 2013 · author #2
- Automatic Unbounded Verification of Alloy Specifications with Prover9 cs.FL · 2012 · author #1
Mentions
Frequent Coauthors
- Alcino Cunha 5 shared papers
- Hugo Pacheco 2 shared papers
- Ana C. R. Paiva 1 shared papers
- Daniel Silva 1 shared papers
- Janis Voigtl\"ander 1 shared papers
- Jos\'e Pereira 1 shared papers
- Miguel S. Ramalho 1 shared papers
- Renato Carvalho 1 shared papers
- Ricardo Silva 1 shared papers
- Tiago Jorge 1 shared papers