Percorrer por autor 1917 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 69-79 de um total de 79 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2015Translating between Alloy specifications and UML class diagrams annotated with OCLCunha, Alcino; Garis, Ana; Riesco, DanielArtigoAcesso aberto
2006Type-safe two-level data transformationCunha, Alcino; Oliveira, José Nuno Fonseca; Visser, JoostArtigo em ata de conferênciaAcesso aberto
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Resumo em ata de conferência Acesso aberto
2012Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Artigo 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
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
2020Verification of system-wide safety properties of ROS applicationsCarvalho, Renato; Cunha, Alcino; Macedo, Nuno, 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 69-79 de um total de 79 resultados. < anterior