Browsing by author 6210 Subscribe author statistics Autor

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 20 of 30.  next >
Issue DateTitleAuthor(s)TypeAccess
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArticleOpen access
2014Bidirectional spreadsheet formulasPacheco, Hugo; Macedo, Nuno Filipe Moreira; Cunha, Alcino, et al.Conference paperOpen access
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al.ArticleOpen access
2020Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.Conference paperOpen access
Sep-2017Exploiting partial knowledge for efficient model analysisMacedo, Nuno; Cunha, Alcino; Pessoa, Eduardo José DiasConference paperOpen access
Apr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraConference paperOpen access
Jul-2017A feature-based classification of model repair approachesMacedo, Nuno; Jorge, Tiago Manuel Silva; Cunha, AlcinoArticleOpen access
Dec-2016A framework for quality assessment of ROS repositoriesSantos, André Filipe Faria; Cunha, Alcino; Macedo, Nuno, et al.Conference paperOpen access
2013Implementing QVT-R bidirectional model transformations using alloyMacedo, Nuno; Cunha, AlcinoConference paperOpen access
2018Improving the visualization of alloy instancesCouto, Rui; Campos, José C.; Macedo, Nuno, et al.Conference paperOpen access
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArticleOpen access
Jan-2016Lightweight specification and analysis of dynamic systems with rich configurationsMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Conference paperOpen access
1-Jan-2020Merging cloned alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoConference paperOpen access
13-Dec-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno, et al.Conference paperOpen access
2013Model repair and transformation with EchoMacedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira; Cunha, AlcinoConference paperOpen access
2018Property-based testing for the robot operating systemSantos, André; Cunha, Alcino; Macedo, NunoConference paperOpen access
2018Proposition of an action layer for electrumBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Conference paperOpen access
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoConference paperOpen access
2019Simplifying the analysis of software design variants with a colorful alloyLiu, Chong; Macedo, Nuno; Cunha, AlcinoConference paperOpen access
2019Simulation under arbitrary temporal logic constraintsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Conference paperOpen access