publicações selecionadas
-
artigo académico
- Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. 2020
- A More Intelligent Test Case Generation Approach through Task Models Manipulation. PACMHCI. 2017
-
artigo de conferência
- 50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey 2024
- Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. International Journal on Software Tools for Technology Transfer. 2019
- Trends on engineering interactive systems: An overview of works presented in workshops at EICS 2019 2019
- Evaluation of formal IDEs for human-machine interface design and analysis: The case of CIRCUS and PVSio-web. Electronic Proceedings in Theoretical Computer Science. 2017
- Systematic automation of scenario-based testing of user interfaces 2016
-
capítulo de livro
- AMAN Case Study. International Journal on Software Tools for Technology Transfer. 2023
- Teaching HCI Engineering: Four Case Studies. International Journal on Software Tools for Technology Transfer. 2022
- HCI-E2: HCI Engineering Education. International Journal on Software Tools for Technology Transfer. 2021
-
documento
- Preface [International Conference on Rigorous State-Based Methods (ABZ 2023)]. International Journal on Software Tools for Technology Transfer. 2023
- Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interacting With Computers. 2021
- Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems 2016
- Welcome to EICS 2016 2016