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


Technical Reports

LaTeX style file: haslab-report.sty


TR-HASLab:01:2011 - L. S. Barbosa and Dimitrios Settas (eds). Pre-Proceedings of the Fifth International Workshop on Foundations and Techniques for Open Source Software Certification. Nov. 2011

TR-HASLab:02:2011 - A. Madeira, J. M. Faria, M. A. Martins and L. S. Barbosa. Hybrid specification of reactive systems: An institutional approach (extended version). Nov. 2011

TR-HASLab:03:2011 - J.N. Oliveira. Pointfree Foundations for (Generic) Lossless Decomposition. Nov. 2011

TR-HASLab:04:2011 - Hugo Macedo and J.N. Oliveira. Do the two middle letters of "OLAP" stand for Linear Algebra ("LA")?. Nov. 2011


TR-HASLab:01:2012 - Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto. Verification Graphs for Programs with Contracts. Feb. 2012

TR-HASLab:02:2012 - Hugo Pacheco, Alcino Cunha, and Zhenjiang Hu. Delta Lenses over Inductive Types. Feb. 2012.

TR-HASLab:03:2012 - Nuno Macedo, Hugo Pacheco, and Alcino Cunha. Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants. Jul. 2012.

TR-HASLab:04:2012 - Daniel Cadete, Alcino Cunha, José M. Faria, J.N. Oliveira and André Passos. From boilerplated requirements to Alloy: half-way between text and formal model. Jul. 2012.


TR-HASLab:01:2013 - D. Murta and J.N. Oliveira. Calculating fault propagation in functional programs. May. 2013.


TR-HASLab:01:2014 - Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. Embedding, Evolution, and Validation of Model-Driven Spreadsheets. April. 2014.

TR-HASLab:02:2014 - João Saraiva et al., !SSaaPP: SpreadSheets as a Programming Paradigm. August. 2014.

TR-HASLab:03:2014 - Victor Miraldo, Object Oriented Programming with Monadic Mealy Machines (PDF). QAIS Project, October 2014.

TR-HASLab:04:2014 - Jorge Mendes, Model-driven Spreadsheets on Google Drive. December, 2014.


TR-HASLab:01:2016 - J.N. Oliveira. Exploiting Galois connections for 'Rely/Guarantee Thinking'. May 2016.



TR-HASLab:01:2020 - is the next one

r20 - 19 Jun 2020 - 09:48:28 - 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