HASLab

High-Assurance Software Laboratory

Overview


News

  • New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709–728, WSP Company. DOI: 10.1142/S0129054113400145
  • New Paper: H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. SCP 78:11, pp.2160-2191 (DOI 10.1016/j.scico.2012.07.012)
  • New Paper: J.C. Campos and J. Machado, A Specification Patterns System for Discrete Event Systems Analysis, Int. J. Adv. Robotic Systems, vol. 10, 2013, doi:110.5772/56412
  • Job Opportunities: We are opening five post-doctoral positions. tinynew.gif Details here
  • New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15

                        (more...)

DI » FMHAS » WebHome » WebIndex
DI/FMHAS Web Changed Changed by
BestCaseRL8 02 Nov 2015 - 00:12 - r10 JoseCampos
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 ...
BookShelf 09 Oct 2012 - 14:24 - NEW JorgeSousaPinto
http://dx.doi.org/10.1007/978 3 540 88643 3 JorgeSousaPinto 09 Oct 2012
Education 22 Mar 2012 - 10:48 - r11 JoseNunoOliveira
Ph.D. MAP/I Doctoral Programme in Computer Science. See eg. units such as PSVC. M.Sc. Master courses in Computer science at Minho University are built upon the ...
Events 28 May 2011 - 23:27 - r9 JoseNunoOliveira
Forthcoming Events GTTSE'11 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011. Past Events 2010 7th Int ...
EventsHeadlines 28 May 2011 - 23:27 - NEW TWikiGuest
GTTSE'11 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011 2010 7th Int. Conference on Formal Aspects of Component ...
HASLabPress 14 Jun 2013 - 13:26 - r15 JacomeCunha
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 ...
Links 12 Oct 2012 - 10:47 - r7 JorgeSousaPinto
#OldWebPages Sites: File System GC (VFS @ Minho) Old webpages: FAST (CCTC) and Formal Methods (DIUM) and Formal Methods Group 2361 (INESC ...
LocalLinksSideBar 23 Nov 2009 - 23:34 - r3 JorgeSousaPinto
do Minho of Informatics Science and Technology Center (CCTC) page @ CCTC site FMHAS Intranet
News 30 Dec 2013 - 11:29 - r64 JoseNunoOliveira
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 ...
NewsHeadlines 30 Dec 2013 - 11:29 - NEW TWikiGuest
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 ...
Opportunities 31 May 2013 - 13:31 - r17 AlcinoCunha
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 ...
PastPeople 10 Apr 2013 - 14:09 - r6 JoseNunoOliveira
#FormerStudents Former Researchers and Ph.D Students Post Doc Visser (2003 2007) Uustalu (2000 2002) Pons (2000 2001) Barthe (1998 1999) Ph ...
PastProjects 23 Oct 2013 - 09:33 - r8 JoseNunoOliveira
Past Projects Research Projects (FP7) (FCT) Evolve (ADI) MathIS (FCT) (FCT) (FCT) AudioBrowser (FCT) KARMA (ADI) ...
People 25 Nov 2013 - 20:31 - r62 PauloSilva
(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 ...
PeopleSideBar 10 Nov 2009 - 17:33 - r2 JorgeSousaPinto
Staff Research Students External Research Students Former Research Members Former Researchers and Students
Projects 07 Jun 2013 - 23:01 - r36 JoseCampos
#ResearchProjects Research Projects SmartGrids (ON.2, 2013 2015) Network Sensing for Critical Systems Monitoring (ON.2, 2013 2015) Cooperation and ...
ProjectsSideBar 10 Nov 2009 - 17:28 - r3 JorgeSousaPinto
Research Projects Research Networks and Coordination Actions Training and Cooperation Projects Transfer Projects Past Projects
Research 09 Oct 2012 - 14:27 - r16 JorgeSousaPinto
Lemma "Improve Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting computers' behaviour. HASLab ...
ResearchLines 12 May 2011 - 15:31 - r3 PauloSergioAlmeida
Dependable Distributed Systems The goal is to advance the state of the art in dependable distributed data management and dependable distributed systems, in particular ...
ResearchPartners 16 Nov 2009 - 19:18 - NEW JorgeSousaPinto
#ResearchPartnerships Research Partnerships: Universitet (DK) TH (SE) CSK (JP) CWI (NL) IHA (DK) IIST UNU (Macau CN) Sophia Antipolis ...
ResearchSideBar 28 Oct 2009 - 11:55 - NEW JoseBacelarAlmeida
Research Partnerships Industrial Liaisons
SelectedPublications 10 Apr 2013 - 14:13 - r15 JoseNunoOliveira
Recent Publications Journal Papers J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering ...
Seminar 04 Apr 2015 - 20:32 - r200 JoseNunoOliveira
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 ...
TechnicalReports 19 Jun 2020 - 09:48 - r20 JoseNunoOliveira
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 ...
Tools 27 Mar 2010 - 15:39 - r4 JoseNunoOliveira
(Under revision) 2LT A two level data transformation system. 2LT is a deliverable of the PURe project. Examples of application include XML schema evolution coupled ...
WebChanges 16 Aug 2001 - 19:58 - NEW PeterThoeny?
WebCss 29 Mar 2008 - 03:33 - r2 JoseBacelarAlmeida
.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ...
WebHome 25 Oct 2013 - 12:27 - r76 JoseNunoOliveira
Welcome to HASLab Our Motto "Improving Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting ...
WebIndex 24 Nov 2001 - 11:41 - r2 PeterThoeny?
See also the faster WebTopicList
WebLeftBar 16 Aug 2004 - 09:01 - NEW ArthurClemens?
Web Web Home Changes Index Search Webs
WebNotify 04 Jun 2006 - 14:33 - r5 JoostVisser
This is a subscription service to be automatically notified by e mail when topics change in this DI/FMHAS web. This is a convenient service, so you do not have to ...
WebPreferences 06 Dec 2011 - 09:46 - r18 JoseFaria
TWiki.DI/FMHAS Web Preferences The following settings are web preferences of the TWiki.DI/FMHAS web. These preferences overwrite the site level preferences ...
WebRss 30 Jan 2003 - 08:15 - NEW Main.HASLab people
HASLab web /view/DI/FMHAS The DI/FMHAS web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
WebSearch 08 Aug 2001 - 05:26 - NEW PeterThoeny?
WebSearchAdvanced 28 Oct 2009 - 11:32 - NEW TWikiGuest
WebSideBar 06 May 2013 - 16:29 - r21 JoseNunoOliveira
Overview Home People Selected Publications Technical Reports BookShelf Projects Seminar Blog Press ...
WebStatistics 28 Jun 2007 - 11:45 - r1056 JoseBacelarAlmeida
Statistics for DI/FMHAS Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and ...
WebTopicList 24 Nov 2001 - 11:40 - NEW PeterThoeny?
See also the verbose WebIndex.
Found 38 topics.

See also the faster WebTopicList

r2 - 24 Nov 2001 - 11:41:09 - PeterThoeny?
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM