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, P. Masci and J.C. Campos (accepted) Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering.(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)
  • C. Bernardeschi, P. Masci and A. Santone (2018) Data Leakage in Java applets with Exception Mechanism. In Proceedings of Italian Conference on Cyber-Security (ITASEC18)..(BibTeX)