http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS The DI/FMHAS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. 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/DI/FMHAS http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/TechnicalReports Technical Reports LaTeX style file: haslab report.sty 2011 TR HASLab:01:2011 L. S. Barbosa and Dimitrios Settas (eds). Pre Proceedings of the Fifth International ... (last changed by JoseNunoOliveira) 2020-06-19T09:48:28Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/BestCaseRL8 Languages And Tools for Critical Real time Systems The goal of this project is to contribute to a change to the current paradigm of secure ITC infrastructure, according ... (last changed by JoseCampos) 2015-11-02T00:12:05Z JoseCampos http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/Seminar This page has been moved to the new HASLab web site at http://haslab.uminho.pt/calendar HASLab Seminar Series The HASLab Seminar Series is a scientific colloquium ... (last changed by JoseNunoOliveira) 2015-04-04T20:32:47Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/NewsHeadlines New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709 #8211;728, WSP Company. DOI: 10.1142/S0129054113400145 ... (last changed by TWikiGuest) 2013-12-30T11:29:41Z guest http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/News News New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709 #8211;728, WSP Company. DOI: 10.1142/S0129054113400145 ... (last changed by JoseNunoOliveira) 2013-12-30T11:29:41Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/People (All email addresses are AT di.uminho.pt) Staff Maranhão Abreu email: rui computer org http://portal.acm.org/author page.cfm?id 81321488948 ACM repositoriUM ... (last changed by PauloSilva) 2013-11-25T20:31:40Z PauloSilva http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/WebHome Welcome to HASLab Our Motto "Improving Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting ... (last changed by JoseNunoOliveira) 2013-10-25T12:27:50Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/PastProjects Past Projects Research Projects (FP7) (FCT) Evolve (ADI) MathIS (FCT) (FCT) (FCT) AudioBrowser (FCT) KARMA (ADI) ... (last changed by JoseNunoOliveira) 2013-10-23T09:33:56Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/HASLabPress Imprensa Universidade do Minho desenvolve aplicação que evita erros no Excel http://www.tvi.iol.pt/videos/13893309 UMinho recebe polo do INESC TEC http://www.cienciahoje ... (last changed by JacomeCunha) 2013-06-14T13:26:39Z JacomeCunha http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/Projects #ResearchProjects Research Projects SmartGrids (ON.2, 2013 2015) Network Sensing for Critical Systems Monitoring (ON.2, 2013 2015) Cooperation and ... (last changed by JoseCampos) 2013-06-07T23:01:04Z JoseCampos http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/Opportunities Working at HASLab HASLab is located in the Braga Campus of Universidade do Minho, one of the top state funded research universities in Portugal and in the top 3% of ... (last changed by AlcinoCunha) 2013-05-31T13:31:23Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/WebSideBar Overview Home People Selected Publications Technical Reports BookShelf Projects Seminar Blog Press ... (last changed by JoseNunoOliveira) 2013-05-06T16:29:07Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/SelectedPublications Recent Publications Journal Papers J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering ... (last changed by JoseNunoOliveira) 2013-04-10T14:13:28Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/PastPeople #FormerStudents Former Researchers and Ph.D Students Post Doc Visser (2003 2007) Uustalu (2000 2002) Pons (2000 2001) Barthe (1998 1999) Ph ... (last changed by JoseNunoOliveira) 2013-04-10T14:09:10Z JoseNunoOliveira http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/Links #OldWebPages Sites: File System GC (VFS @ Minho) Old webpages: FAST (CCTC) and Formal Methods (DIUM) and Formal Methods Group 2361 (INESC ... (last changed by JorgeSousaPinto) 2012-10-12T10:47:54Z JorgeSousaPinto http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/Research Lemma "Improve Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting computers' behaviour. HASLab ... (last changed by JorgeSousaPinto) 2012-10-09T14:27:31Z JorgeSousaPinto