Percorrer por autor 6210 Subscrever estatísticas do autor Autor

Í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 11-30 de um total de 30 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArtigoAcesso aberto
Jan-2016Lightweight specification and analysis of dynamic systems with rich configurationsMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
1-Jan-2020Merging cloned alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
2013Model repair and transformation with EchoMacedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2018Property-based testing for the robot operating systemSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2018Proposition of an action layer for electrumBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2019Simplifying the analysis of software design variants with a colorful alloyLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2019Simulation under arbitrary temporal logic constraintsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
Mar-2019Static-Time extraction and analysis of the ROS computation graphSantos, André Fernandes; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2014Target oriented relational model findingCunha, Alcino; Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2018Teaching how to program using automated assessment and functional glossy games (Experience Report)Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Set-2018The electrum analyzer: Model checking relational first-order temporal specificationsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
Set-2016Towards a formal validation of ETL patterns behaviourOliveira, Bruno; Belo, Orlando; Macedo, NunoArtigo em ata de conferênciaAcesso restrito autor
2014Towards a framework for multi-directional model transformationsMacedo, Nuno; Cunha, Alcino; Pacheco, HugoArtigo em ata de conferênciaAcesso aberto
2020Validating multiple variants of an automotive light system with electrumCunha, Alcino; Macedo, Nuno; Liu, ChongArtigo em ata de conferênciaAcesso aberto
Mai-2018Validating the hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2020Validating the Hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigoAcesso aberto
2020Verification of system-wide safety properties of ROS applicationsCarvalho, Renato; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 11-30 de um total de 30 resultados. < anterior