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

  • P. Masci, Y. Zhang, P. Jones and J.C. CamposA Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. In SEFM'17..(BibTeX)
  • J.C. Campos, C. Fayollas, M. Gonçalves, C. Martinie, D. Navarre, P. Palanque and M. PintoA "More Intelligent" Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human Computer Interaction.(BibTeX)
  • M. Machado, R. Couto and J.C. CamposMODUS: Model-based user interfaces prototyping. In EICS 2017..(BibTeX)