HASLab

High-Assurance Software Laboratory

Overview

People

* Staff

News

  • 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
  • New Paper: Nuno Macedo and Alcino Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy. Accepted at FASE'13
  • New Paper: Shin-Cheng Mu, J.N. Oliveira. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81 (2012) 680–704 (DOI 10.1016/j.jlap.2012.05.003)
  • New Position: Hugo Macedo is since this month (Jan. 2013) a post-doct at Deducteam in Paris.
  • New Paper: J.N. Oliveira. Towards a Linear Algebra of Programming. Formal Aspects of Computing (2012) 24: 433–458 (DOI 10.1007/s00165-012-0240-9)

                        (more...)

DI » FMHAS » WebHome » People

DSC_1369.jpg

(All email addresses are AT di.uminho.pt)

Staff

Post-doctoral Fellows

Ph.D Students

Ph.D in Industry Students (BDE grantholders)

External Research Students (Co-supervised)

Associate Researchers

Former Researchers and Students

to be completed

r60 - 10 Apr 2013 - 14:52:14 - JoseNunoOliveira
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