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 58-77 de um total de 79 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014Target oriented relational model findingCunha, Alcino; Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2023Task model design and analysis with alloyCunha, Alcino; Macedo, Nuno; Kang, EunsukArtigo 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
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
2014Towards a framework for multi-directional model transformationsMacedo, Nuno; Cunha, Alcino; Pacheco, HugoArtigo em ata de conferênciaAcesso aberto
2007Transformation of structure-shy programs : applied to XPath queries and strategic functionsCunha, Alcino; Visser, JoostArtigo em ata de conferênciaAcesso aberto
1-Jun-2011Transformation of structure-shy programs with application to XPath queries and strategic functionsCunha, Alcino; Visser, JoostArtigoAcesso aberto
2011Translating alloy apecifications to UML class diagrams annotated with OCLGaris, Ana; Cunha, Alcino; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2011Translating Alloy Specifications to UML Class Diagrams Annotated with OCLRiesco, Daniel; Cunha, Alcino; Garis, AnaArtigo em ata de conferênciaAcesso aberto
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
2020Validating the Hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigoAcesso aberto
Mai-2018Validating the hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso 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
Mostrar 58-77 de um total de 79 resultados. < anterior   próximo >