Nuno Macedo

Identifiers

• name variant Nuno Macedo 0.60 · backfill

Papers (6)

1. Model checking of hyperproperties for high-level relational models cs.SE · 2025 · author #1
2. Sharing and Learning Alloy on the Web cs.CY · 2019 · author #1
3. Alloy meets TLA+: An exploratory study cs.SE · 2016 · author #1
4. A Feature-based Classification of Model Repair Approaches cs.SE · 2015 · author #1
5. A Generic Scheme and Properties of Bidirectional Transformations cs.PL · 2013 · author #2
6. Automatic Unbounded Verification of Alloy Specifications with Prover9 cs.FL · 2012 · author #1

Mentions

• 1306.4473 #2 · backfill · confidence 0.70 Nuno Macedo
• 1209.5773 #1 · backfill · confidence 0.70 Nuno Macedo

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