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.

Recent Publications

  • M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker (accepted) Safety analysis of software components of a dialysis machine using model checking. In FACS'17..(BibTeX)
  • M. Pinto, M. Gonc╠žalves, P. Masci, and J.C. Campos (accepted) TOM: a Model-Based GUI Testing framework. In FACS'17..(BibTeX)
  • C. Bernardeschi, A. Domiinici and P. Masci (accepted) A PVS-Simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Transactions on Software Engineering.(BibTeX)