The Research/QAIS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS Copyright 2020 by contributing authors 2015-10-29T13:02:49Z http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Publications 2015-10-29T13:02:49Z

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)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WorkBench 2014-10-06T21:24:25Z

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)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/BisimulationsInKAT 2013-11-08T00:51:13Z

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)

RicardoAlmeida http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebPreferences 2013-10-15T16:52:20Z

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)

JoseFaria http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebSideBar 2013-10-15T15:48:02Z

Overview Home Project Description Team Research Team Job Opportunities Results Publications WorkBench (Bi)simulations in KAT ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Workshops 2013-09-17T14:38:17Z

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)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Team 2013-09-17T14:31:47Z

Research Team Silva Alejandro Sanchez Ana Maldonado Elisabete Freire Nuno Oliveira Monteiro Barbosa Nuno Oliveira Daniel ... (last changed by JoseNunoOliveira)

JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebHome 2012-09-07T22:13:03Z

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)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Jobs 2012-01-06T17:07:59Z

Job announcements None at the moment. (last changed by AlexandraSilva)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/FctForm 2012-01-06T16:19:20Z

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)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebCss 2012-01-06T13:09:55Z

.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by AlexandraSilva)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebStatistics 2012-01-06T13:09:55Z

Statistics for Research/QAIS Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by AlexandraSilva)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T4 2012-01-06T13:08:12Z

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)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T5 2012-01-06T13:08:12Z

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)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T1 2012-01-06T13:08:11Z

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)

AlexandraSilva http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T3 2012-01-06T13:08:11Z

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)

AlexandraSilva