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.
- Bernardeschi, C., Domiinici, A. and Masci, P. (accepted) A PVS-Simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Transactions on Software Engineering.(BibTeX)
- Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P. (to appear) The specification and analysis of use properties of a nuclear control system. In The Handbook on Formal Methods in Human Computer Interaction. Springer.(BibTeX)
- B. Weyers, M. Harrison, J. Bowen, A. Dix, P. Palanque (to appear) Case studies. In The Handbook on Formal Methods in Human Computer Interaction. Springer.(BibTeX)