TWiki's Research/QAIS web
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-usCopyright 2020 by contributing authorsTWiki Administrator [webmaster@di.uminho.pt]The contributing authors of TWikiTWikiDIUM.Research/QAIS
http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS
http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpgPublications
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:49ZAlexandraSilvaWorkBench
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:25ZJoseNunoOliveiraBisimulationsInKAT
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:13ZRicardoAlmeidaWebPreferences
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:20ZJoseFariaWebSideBar
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:02ZLuisSoaresBarbosaWorkshops
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:17ZJoseNunoOliveiraTeam
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:47ZJoseNunoOliveiraWebHome
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:03ZAlexandraSilvaJobs
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:59ZAlexandraSilvaFctForm
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:20ZAlexandraSilvaWebCss
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:55ZAlexandraSilvaT4
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:12ZAlexandraSilvaT5
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:12ZAlexandraSilvaT1
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:11ZAlexandraSilvaT3
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:11ZAlexandraSilvaT2
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:11ZAlexandraSilva