Data | Título | Autor(es) | Tipo | Acesso |
31-Jan-2022 | An HAROS extension for variability aware ROS code analysis | Pereira, Ricardo Ribeiro | Dissertação de mestrado | Acesso aberto |
13-Nov-2020 | Analysis of message passing software using electrum | Carvalho, Bruno Renato Fernandes | Dissertação de mestrado | Acesso aberto |
2022 | Automatic repair of behavioural specifications | Cerqueira, Jorge Gabriel Alves | Dissertação de mestrado | Acesso aberto |
17-Set-2012 | Bidirectional data transformation by calculation | Pacheco, Hugo José Pereira | Tese de doutoramento | Acesso aberto |
10-Dez-2014 | Bidirectional distributed data aggregation | Sousa, Nuno Miguel Rocha de | Dissertação de mestrado | Acesso aberto |
10-Dez-2014 | A comparison betwee DSLs and GPLs for the implementation of unidirectional and bidirectional transformations | Murta, Daniel R. | Dissertação de mestrado | Acesso aberto |
14-Nov-2011 | Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARK | Romano, Ricardo Jorge Cantador | Dissertação de mestrado | Acesso aberto |
25-Mai-2022 | Encoding and analysis of variational ROS computation graphs | Moura, Pedro Rafael Paiva | Dissertação de mestrado | Acesso aberto |
2-Dez-2021 | Estudo empírico da variabilidade em sistemas ROS | Melo, Sara Maria Barreira | Dissertação de mestrado | Acesso aberto |
2022 | Formalização da reconfiguração de protocolos de consenso usando Alloy | Soares, Cecília da Conceição de Oliveira | Dissertação de mestrado | Acesso aberto |
14-Dez-2011 | Formalizing Alloy with a shallow embedding to Isabelle/HOL | Eiras, Mário André Barbosa | Dissertação de mestrado | Acesso aberto |
19-Dez-2022 | Formalizing ROS2 security configuration with Alloy | Ribeiro, Luís Mário Macedo | Dissertação de mestrado | Acesso aberto |
20-Dez-2021 | Lightweight trustworthy high-level software design | Liu, Chong | Tese de doutoramento | Acesso aberto |
10-Dez-2014 | A model repair application scenario with PROVA | Jorge, Tiago Manuel da Silva | Dissertação de mestrado | Acesso aberto |
10-Dez-2016 | Parallel verification of dynamic systems with rich configurations | Pessoa, Eduardo José Dias | Dissertação de mestrado | Acesso aberto |
29-Out-2014 | A relational approach to bidirectional transformation | Macedo, Nuno | Tese de doutoramento | Acesso aberto |
16-Jul-2021 | Safety verification for ROS software | Santos, André Filipe Faria | Tese de doutoramento | Acesso aberto |
23-Dez-2019 | Towards model checking electrum specifications with LTSmin | Cancelinha, Bruno Miguel Sousa | Dissertação de mestrado | Acesso aberto |
28-Out-2010 | Translating alloy specification to the point-free style | Macedo, Nuno | Dissertação de mestrado | Acesso restrito UMinho |
2017 | A web-based social environment for Alloy | Pereira, José Manuel Costa | Dissertação de mestrado | Acesso aberto |