Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Confirmed Publications: 53



51
TITLE: Model Repair and Transformation with Echo
AUTHORS: Nuno Macedo ; Tiago Guimaraes; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | ResearcherID | DBLP
52
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
53
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 6 of 6. Total results: 53.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service