Browsing by advisors 1917

Jump to: 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

or enter first few letters:  

Showing results 1 to 20 of 20.
Issue DateTitleAuthor(s)TypeAccess
31-Jan-2022An HAROS extension for variability aware ROS code analysisPereira, Ricardo RibeiroMaster thesis Open access
13-Nov-2020Analysis of message passing software using electrumCarvalho, Bruno Renato FernandesMaster thesis Open access
2022Automatic repair of behavioural specificationsCerqueira, Jorge Gabriel AlvesMaster thesis Open access
17-Sep-2012Bidirectional data transformation by calculationPacheco, Hugo José PereiraDoctoral thesisOpen access
10-Dec-2014Bidirectional distributed data aggregationSousa, Nuno Miguel Rocha deMaster thesis Open access
10-Dec-2014A comparison betwee DSLs and GPLs for the implementation of unidirectional and bidirectional transformationsMurta, Daniel R.Master thesis Open access
14-Nov-2011Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARKRomano, Ricardo Jorge CantadorMaster thesis Open access
25-May-2022Encoding and analysis of variational ROS computation graphsMoura, Pedro Rafael PaivaMaster thesis Open access
2-Dec-2021Estudo empírico da variabilidade em sistemas ROSMelo, Sara Maria BarreiraMaster thesis Open access
2022Formalização da reconfiguração de protocolos de consenso usando AlloySoares, Cecília da Conceição de OliveiraMaster thesis Open access
14-Dec-2011Formalizing Alloy with a shallow embedding to Isabelle/HOLEiras, Mário André BarbosaMaster thesis Open access
19-Dec-2022Formalizing ROS2 security configuration with AlloyRibeiro, Luís Mário MacedoMaster thesis Open access
20-Dec-2021Lightweight trustworthy high-level software designLiu, ChongDoctoral thesisOpen access
10-Dec-2014A model repair application scenario with PROVAJorge, Tiago Manuel da SilvaMaster thesis Open access
10-Dec-2016Parallel verification of dynamic systems with rich configurationsPessoa, Eduardo José DiasMaster thesis Open access
29-Oct-2014A relational approach to bidirectional transformationMacedo, NunoDoctoral thesisOpen access
16-Jul-2021Safety verification for ROS softwareSantos, André Filipe FariaDoctoral thesisOpen access
23-Dec-2019Towards model checking electrum specifications with LTSminCancelinha, Bruno Miguel SousaMaster thesis Open access
28-Oct-2010Translating alloy specification to the point-free styleMacedo, NunoMaster thesis Restricted access (UMinho)
2017A web-based social environment for AlloyPereira, José Manuel CostaMaster thesis Open access