Percorrer por orientadores 1917

Í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-20 de um total de 20 resultados.
DataTítuloAutor(es)TipoAcesso
31-Jan-2022An HAROS extension for variability aware ROS code analysisPereira, Ricardo RibeiroDissertação de mestrado Acesso aberto
13-Nov-2020Analysis of message passing software using electrumCarvalho, Bruno Renato FernandesDissertação de mestrado Acesso aberto
2022Automatic repair of behavioural specificationsCerqueira, Jorge Gabriel AlvesDissertação de mestrado Acesso aberto
17-Set-2012Bidirectional data transformation by calculationPacheco, Hugo José PereiraTese de doutoramentoAcesso aberto
10-Dez-2014Bidirectional distributed data aggregationSousa, Nuno Miguel Rocha deDissertação de mestrado Acesso aberto
10-Dez-2014A comparison betwee DSLs and GPLs for the implementation of unidirectional and bidirectional transformationsMurta, Daniel R.Dissertação de mestrado Acesso aberto
14-Nov-2011Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARKRomano, Ricardo Jorge CantadorDissertação de mestrado Acesso aberto
25-Mai-2022Encoding and analysis of variational ROS computation graphsMoura, Pedro Rafael PaivaDissertação de mestrado Acesso aberto
2-Dez-2021Estudo empírico da variabilidade em sistemas ROSMelo, Sara Maria BarreiraDissertação de mestrado Acesso aberto
2022Formalização da reconfiguração de protocolos de consenso usando AlloySoares, Cecília da Conceição de OliveiraDissertação de mestrado Acesso aberto
14-Dez-2011Formalizing Alloy with a shallow embedding to Isabelle/HOLEiras, Mário André BarbosaDissertação de mestrado Acesso aberto
19-Dez-2022Formalizing ROS2 security configuration with AlloyRibeiro, Luís Mário MacedoDissertação de mestrado Acesso aberto
20-Dez-2021Lightweight trustworthy high-level software designLiu, ChongTese de doutoramentoAcesso aberto
10-Dez-2014A model repair application scenario with PROVAJorge, Tiago Manuel da SilvaDissertação de mestrado Acesso aberto
10-Dez-2016Parallel verification of dynamic systems with rich configurationsPessoa, Eduardo José DiasDissertação de mestrado Acesso aberto
29-Out-2014A relational approach to bidirectional transformationMacedo, NunoTese de doutoramentoAcesso aberto
16-Jul-2021Safety verification for ROS softwareSantos, André Filipe FariaTese de doutoramentoAcesso aberto
23-Dez-2019Towards model checking electrum specifications with LTSminCancelinha, Bruno Miguel SousaDissertação de mestrado Acesso aberto
28-Out-2010Translating alloy specification to the point-free styleMacedo, NunoDissertação de mestrado Acesso restrito UMinho
2017A web-based social environment for AlloyPereira, José Manuel CostaDissertação de mestrado Acesso aberto
Mostrar 1-20 de um total de 20 resultados.