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. 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
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 ...
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 ...
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 ...
Welcome to HASLab Our Motto "Improving Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting ...
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 ...
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 ...
Recent Publications Journal Papers J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering ...
Lemma "Improve Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting computers' behaviour. HASLab ...
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 ...
TWiki.DI/FMHAS Web Preferences The following settings are web preferences of the TWiki.DI/FMHAS web. These preferences overwrite the site level preferences ...
Forthcoming Events GTTSE'11 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011. Past Events 2010 7th Int ...
GTTSE'11 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011 2010 7th Int. Conference on Formal Aspects of Component ...
Dependable Distributed Systems The goal is to advance the state of the art in dependable distributed data management and dependable distributed systems, in particular ...
(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 ...
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 ...