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 49-68 de um total de 79 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
1997Resource allocation on agent meta-societiesCunha, Alcino; Belo, OrlandoArtigo em ata de conferênciaAcesso aberto
2022Schema-guided testing of message-oriented systemsSantos, André; Cunha, Alcino; Macedo, NunoArtigo 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
2012Specifying UML protocol state machines in AlloyGaris, Ana; Paiva, Ana; 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
2007Strongly typed rewriting for coupled software transformationCunha, Alcino; Visser, JoostArtigoAcesso aberto
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
Mostrar 49-68 de um total de 79 resultados. < anterior   próximo >