High-Assurance Software Laboratory



  • 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


DI » FMHAS » WebHome » Research


"Improve Practice Through Theory"


Software technology is pre-scientific in its lack of an effective basis for predicting computers' behaviour. HASLab research aims at improving scientific standards in software design through rigorous methods and mathematical techniques.

HASLab researchers have a long tradition of linking their research to national and international industry partners, and a deep involvement in the department's teaching activities, at both the undergraduate and the postgraduate level.

Regular group's activities include a research seminar that provides a stimulating meeting opportunity for the whole team, including post-grad (Ph.D and M.Sc) students.

In the period 2003-2008, the lab members have published around 80 research papers, and edited 6 volumes as program chairs. 10 doctoral theses were defended. The lab has also coordinated an international ALFA network and participated in the TYPES and APPSEM II coordination actions, as well as in an FP7 project. At the national level three FCT-funded projects were coordinated, together with a number of transfer projects. Concerning the organisation of events, the highlight was the ETAPS conference, held in 2007.

HASLab "Tripod"

  • Formal methods
  • Dependable Distributed Systems
  • Cryptography & Information security

Research Topics

  • High-assurance Model-driven Software Engineering
  • Foundations for architectural design (service certification, dynamic reconfiguration and self-adaptability)
  • Formal verification of real-time Systems
  • Secure embedded systems (static ckecking of embedded systems against safety policies)
  • Theoretical Cryptography / Provable Security
  • Implementation, Verification, and Analysis of Cryptographic Software
  • Dependability of interactive systems (model checking-based analysis of interactive systems)

r16 - 09 Oct 2012 - 14:27:31 - JorgeSousaPinto
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