http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS The Research/QAIS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Publications Publications 2014 2015 Nuno Oliveira, Luís Soares Barbosa: Reasoning about software reconfigurations: The behavioural and structural perspectives. Science of Computer ... (last changed by AlexandraSilva) 2015-10-29T13:02:49Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WorkBench Grant BI1 2012 PTDC/EIA CCO/122240/2010 UMINHO WP1 Calculating fault propagation in functional programs This site contains the experimental part of the homonym ... (last changed by JoseNunoOliveira) 2014-10-06T21:24:25Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/BisimulationsInKAT Constructing (Bi)simulations for KAT This page contains the source code of KAT Decider, a project which features the decision of language inclusion/equality between ... (last changed by RicardoAlmeida) 2013-11-08T00:51:13Z RicardoAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebPreferences Research/QAIS Web Preferences The following settings are web preferences of the Research/QAIS web. These preferences overwrite the site level preferences in ... (last changed by JoseFaria) 2013-10-15T16:52:20Z JoseFaria http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebSideBar Overview Home Project Description Team Research Team Job Opportunities Results Publications WorkBench (Bi)simulations in KAT ... (last changed by LuisSoaresBarbosa) 2013-10-15T15:48:02Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Workshops Workshops Workshop 0 : Braga, 17 October 2011, see program here. Workshop 1 : Braga, 16 17 September 2013. Workshop 2 : Lisbon, 15 16 September 2014 (dates ... (last changed by JoseNunoOliveira) 2013-09-17T14:38:17Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Team Research Team Silva Alejandro Sanchez Ana Maldonado Elisabete Freire Nuno Oliveira Monteiro Barbosa Nuno Oliveira Daniel ... (last changed by JoseNunoOliveira) 2013-09-17T14:31:47Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebHome Quantitative analysis of interacting systems: foundations and algorithms Project Summary In recent years, there has been an increasing interest in studying the behavior ... (last changed by AlexandraSilva) 2012-09-07T22:13:03Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Jobs Job announcements None at the moment. (last changed by AlexandraSilva) 2012-01-06T17:07:59Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/FctForm Quantitative analysis of interacting systems: foundations and algorithms Summary 5000 In recent years, there has been an increasing interest in studying the behavior ... (last changed by AlexandraSilva) 2012-01-06T16:19:20Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebCss .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by AlexandraSilva) 2012-01-06T13:09:55Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T4 T4 Case study: the ASK system The ASK system is a communication software product that acts as a mediator between service consumers and service providers, for instance ... (last changed by AlexandraSilva) 2012-01-06T13:08:12Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T5 T5 Application: a !QoS robust composition calculus for services This task aims at integrating the theoretical results obtained in T1 ad T2 with the team previous work ... (last changed by AlexandraSilva) 2012-01-06T13:08:12Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T1 T1 Uniform metric derivation for quantitative models of computation In order to study services from a quantitative perspective, there is a need to shift from classical ... (last changed by AlexandraSilva) 2012-01-06T13:08:11Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T3 T3: Computational Layer: algorithms Language equivalences of finite DAs and bisimilarity of finite LTSs can be respectively computed via the Myhill Nerode algorithm ... (last changed by AlexandraSilva) 2012-01-06T13:08:11Z AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T2 T2 Coalgebraic Metric Bisimulation Bisimulations are an extremely useful tool for reasoning about the equivalence of systems: in order to prove that two systems ... (last changed by AlexandraSilva) 2012-01-06T13:08:11Z AlexandraSilva