Home Page

Welcome to HASLab's Interactive Systems Engineering page!

Work on interactive systems at HASLab focusses on supporting the design, analysis and implementation of safe and usable systems for human use, through model based approaches rooted on formal methods. We have a particular focus on medical devices.

Current Projects

NanoSTIMA RL 1.4 - High-Assurance Medical Cyber-physical Systems (P2020)

TRUST - Trustworthy Software Design with Alloy (FCT)

OutSystems Learnability Model (OutSystems)

Recent Publications

  • R. Couto and J.C. Campos (accepted) Improving traces visualisation through layout managers. In International Conference on Graphics and Interaction - ICGI 2018.. IEEE.(BibTeX)
  • C. Silva and J.C. Campos (accepted) Towards a Simulation-Based Medical Education Platform for PVSio-Web. In International Conference on Graphics and Interaction - ICGI 2018.. IEEE.(BibTeX)
  • M.D. Harrison, P. Masci and J.C. Campos (accepted) Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering.(BibTeX)