Home Page

Welcome to HASLab's Interactive Systems Engineering page!

Work on interactive systems at HASLab focuses on supporting the design, analysis and implementation of safe and usable systems for human use. We propose to achieve this through model-based approaches grounded in formal methods.

Recent Publications

  • M.D. Harrison, P. Masci and J.C. Campos (2026) Proving Use Requirements of Interactive Systems with Remote Monitoring and Control Capabilities. Proc. ACM Hum.-Comput. Interact., 10(4).(BibTeX)
  • J.C. Campos, P. Palanque, D.R. Hernando, C. Martinie and S. Steere (2026) Beyond "Do-They-Look-The-Same?" to "Do-They-Behave-The-Same?": Similarity Analysis and Assessment Across Interactive Critical Systems Behaviours. Proc. ACM Hum.-Comput. Interact., 10(4).(BibTeX)
  • E. Moreira and J.C. Campos (2026) On the use of LLMs to explain model checking counterexamples. In Engineering Interactive Computer Systems, pages 86-104. . Springer.(BibTeX)
  • J.P. Castro and J.C. Campos (2025) Automating Code Generation from User Interface Prototypes. In 2025 International Conference on Graphics and Interaction (ICGI).. IEEE, pages 1-8.(BibTeX)
  • J. Gomes, J. Gomes, M. Arcipreste and J.C. Campos (2025) Towards a More Natural Approach to Property Specification. In Human-Computer Interaction - INTERACT 2025, pages 509-531. . Springer.(BibTeX)