Percorrer por autor Macedo, Nuno Subscrever estatísticas do autor Macedo, Nuno

Índice: 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

ou inserir as letras iniciais:  

Mostrar 1-14 de um total de 14 resultados.
DataTítuloAutor(es)TipoAcesso
2023Adding records to alloyBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.ArtigoAcesso restrito UMinho
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
2022Pardinus: a temporal relational model finderMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.ArtigoAcesso aberto
2022Quantitative relational modelling with QAlloySilva, Pedro; Oliveira, José Nuno Fonseca; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
29-Out-2014A relational approach to bidirectional transformationMacedo, NunoTese de doutoramentoAcesso aberto
2022Schema-guided testing of message-oriented systemsSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2023Task model design and analysis with alloyCunha, Alcino; Macedo, Nuno; Kang, EunsukArtigo em ata de conferênciaAcesso aberto
2021The High-Assurance ROS FrameworkSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2022Timely specification repair for alloy 6Cerqueira, Jorge; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
28-Out-2010Translating alloy specification to the point-free styleMacedo, NunoDissertação de mestrado Acesso restrito UMinho
2022Variability analysis for robot operating system applicationsSantos, Andre; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
23-Out-2022Verification of railway network models with EVERESTMartins, João; Fonseca, José M.; Costa, Rafael, et al.Artigo em ata de conferênciaAcesso aberto
2023Verifying temporal relational models with PardinusMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 1-14 de um total de 14 resultados.