Browsing by subject Alloy

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 25.  next >
Issue DateTitleAuthor(s)TypeAccess
2022Automatic repair of behavioural specificationsCerqueira, Jorge Gabriel AlvesMaster thesis Open access
2018Designing safe and reliable ETL systems using alloyCapelo, Mariana; Belo, OrlandoConference paperOpen access
4-Sep-2019Enhancing the process of view selection in data cubes using what-If analysisCarvalho, Mariana Reimão Queiroga Valério deDoctoral thesisOpen access
2018Especificação e validação de processos ETL em AlloyCapelo, Mariana Almeida BrandãoMaster thesis Open access
2020Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.Conference paperOpen access
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.ArticleRestricted access (UMinho)
2022Formalização da reconfiguração de protocolos de consenso usando AlloySoares, Cecília da Conceição de OliveiraMaster thesis Open access
19-Dec-2022Formalizing ROS2 security configuration with AlloyRibeiro, Luís Mário MacedoMaster thesis Open access
Sep-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Conference paperOpen access
2018Inception and specification of what-if scenarios using OLAP usage preferencesCarvalho, Mariana; Belo, OrlandoConference paperRestricted access (Author)
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArticleOpen access
20-Dec-2021Lightweight trustworthy high-level software designLiu, ChongDoctoral thesisOpen access
1-Jan-2020Merging cloned alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoConference paperOpen access
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArticleOpen access
10-Dec-2016Parallel verification of dynamic systems with rich configurationsPessoa, Eduardo José DiasMaster thesis Open access
2019Simplifying the analysis of software design variants with a colorful alloyLiu, Chong; Macedo, Nuno; Cunha, AlcinoConference paperOpen access
2012Specifying UML protocol state machines in AlloyGaris, Ana; Paiva, Ana; Cunha, Alcino, et al.Conference paperOpen access
Sep-2016Towards a formal validation of ETL patterns behaviourOliveira, Bruno; Belo, Orlando; Macedo, NunoConference paperRestricted access (Author)
26-Jul-2021Towards a quantitative alloySilva, Pedro Faria Durães daMaster thesis Open access
23-Dec-2019Towards model checking electrum specifications with LTSminCancelinha, Bruno Miguel SousaMaster thesis Open access