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

  • 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)
  • E. Moreira and J.C. Campos (2025) On the role of generative AI in explaining model checking counterexamples. In Engineering Interactive Computer Systems, pages 138-158. . Springer.(BibTeX)
  • J. C. Campos and M. D. Harrison (2025) Formal approaches for Interactive Systems. In Handbook of Human Computer Interaction. Springer.(BibTeX)
  • E. Moreira and J.C. Campos (2024) A language for explaining counterexamples. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024).. Schloss Dagstuhl - LZI, pages 11:1-11:14.(BibTeX)