Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNuno Macedo 0001
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
2020 – today
- 2024
[j9]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)- [c38]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]Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Alloy Goes Fuzzy. ABZ 2024: 61-79 - 2023
- [c36]Alexandre Abreu, Nuno Macedo, Alexandra Mendes:
Exploring Automatic Specification Repair in Dafny Programs. ASEW 2023: 105-112 - [c35]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Adding Records to Alloy. ABZ 2023: 212-219 - [c34]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Verifying Temporal Relational Models with Pardinus. ABZ 2023: 254-261 - [c33]Alcino Cunha, Nuno Macedo, Eunsuk Kang:
Task Model Design and Analysis with Alloy. ABZ 2023: 303-320 - 2022
- [j8]Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha:
Pardinus: A Temporal Relational Model Finder. J. Autom. Reason. 66(4): 861-904 (2022) - [j7]Chong Liu, Nuno Macedo, Alcino Cunha:
Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. 220: 102829 (2022) - [c32]André Santos, Alcino Cunha, Nuno Macedo:
Schema-guided Testing of Message-oriented Systems. ENASE 2022: 26-37 - [c31]André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira:
Variability Analysis for Robot Operating System Applications. IRC 2022: 111-118 - [c30]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]Jorge Cerqueira, Alcino Cunha, Nuno Macedo:
Timely Specification Repair for Alloy 6. SEFM 2022: 288-303 - [c28]Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha:
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE 2022: 885-896 - 2021
- [j6]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]André Santos, Alcino Cunha, Nuno Macedo:
The High-Assurance ROS Framework. RoSE@ICSE 2021: 37-40 - [i8]André Santos, Alcino Cunha, Nuno Macedo:
The High-Assurance ROS Framework. CoRR abs/2103.01603 (2021) - 2020
- [j5]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]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]Alcino Cunha, Nuno Macedo, Chong Liu:
Validating Multiple Variants of an Automotive Light System with Electrum. ABZ 2020: 318-334 - [c24]Hugo Pacheco, Nuno Macedo:
ROSY: An elegant language to teach the pure reactive nature of robot programming. IRC 2020: 240-247 - [c23]Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos:
Verification of system-wide safety properties of ROS applications. IROS 2020: 7249-7254 - [c22]Chong Liu, Nuno Macedo, Alcino Cunha:
Merging Cloned Alloy Models with Colorful Refactorings. SBMF 2020: 173-191
2010 – 2019
- 2019
- [c21]André Santos, Alcino Cunha, Nuno Macedo:
Static-Time Extraction and Analysis of the ROS Computation Graph. IRC 2019: 62-69 - [c20]Chong Liu, Nuno Macedo, Alcino Cunha:
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA 2019: 38-55 - [c19]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
Simulation under Arbitrary Temporal Logic Constraints. F-IDE@FM 2019: 63-69 - [i7]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]Hugo Pacheco, Nuno Macedo:
ROSY: An elegant language to teach the pure reactive nature of robot programming. CoRR abs/1911.03262 (2019) - 2018
- [j4]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]Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ 2018: 307-321 - [c17]Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa:
Proposition of an Action Layer for Electrum. ABZ 2018: 397-402 - [c16]Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo:
The electrum analyzer: model checking relational first-order temporal specifications. ASE 2018: 884-887 - [c15]André Santos, Alcino Cunha, Nuno Macedo:
Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE 2018: 56-62 - [c14]Rui Couto, José Creissac Campos, Nuno Macedo, Alcino Cunha:
Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52 - 2017
- [j3]Nuno Macedo, Jorge Tiago, Alcino Cunha:
A Feature-Based Classification of Model Repair Approaches. IEEE Trans. Software Eng. 43(7): 615-640 (2017) - [c13]Nuno Macedo, Alcino Cunha, Eduardo Pessoa:
Exploiting Partial Knowledge for Efficient Model Analysis. ATVA 2017: 344-362 - [c12]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]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]Nuno Macedo, Alcino Cunha:
Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3): 783-810 (2016) - [c10]André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço:
A framework for quality assessment of ROS repositories. IROS 2016: 4491-4496 - [c9]Bruno Oliveira, Orlando Belo, Nuno Macedo:
Towards a Formal Validation of ETL Patterns Behaviour. MEDI 2016: 156-165 - [c8]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]Nuno Macedo, Alcino Cunha:
Alloy meets TLA+: An exploratory study. CoRR abs/1603.03599 (2016) - 2015
- [c7]Nuno Macedo, Alcino Cunha, Tiago Guimarães:
Exploring Scenario Exploration. FASE 2015: 301-315 - [i4]Nuno Macedo, Jorge Tiago, Alcino Cunha:
A Feature-based Classification of Model Repair Approaches. CoRR abs/1504.03947 (2015) - [i3]João Mendes Moreira, Alcino Cunha, Nuno Macedo:
An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research 4: 181 (2015) - 2014
- [b1]Nuno Macedo:
A relational approach to bidirectional transformation. University of Minho, Portugal, 2014 - [c6]Nuno Macedo, Alcino Cunha, Hugo Pacheco:
Towards a Framework for Multidirectional Model Transformations. EDBT/ICDT Workshops 2014: 71-74 - [c5]Alcino Cunha, Nuno Macedo, Tiago Guimarães:
Target Oriented Relational Model Finding. FASE 2014: 17-31 - [c4]Nuno Macedo, Hugo Pacheco, Nuno Rocha Sousa, Alcino Cunha:
Bidirectional spreadsheet formulas. VL/HCC 2014: 161-168 - 2013
- [j1]Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira:
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [c3]Nuno Macedo, Alcino Cunha:
Implementing QVT-R Bidirectional Model Transformations Using Alloy. FASE 2013: 297-311 - [c2]Nuno Macedo, Tiago Guimarães, Alcino Cunha:
Model repair and transformation with Echo. ASE 2013: 694-697 - [i2]Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer:
A Generic Scheme and Properties of Bidirectional Transformations. CoRR abs/1306.4473 (2013) - 2012
- [c1]Nuno Macedo, Hugo Pacheco, Alcino Cunha:
Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. RAMiCS 2012: 146-161 - [i1]Nuno Macedo, Alcino Cunha:
Automatic Unbounded Verification of Alloy Specifications with Prover9. CoRR abs/1209.5773 (2012)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-01 23:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
