publicações selecionadas
-
artigo de conferência
- A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. Computational Methods in Applied Sciences. 2017
- Demonstrating that Medical Devices Satisfy User Related Safety Requirements. Computational Methods in Applied Sciences. 2017
- 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
- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. Computational Methods in Applied Sciences. 2017
- TOM: A Model-Based GUI Testing Framework. Computational Methods in Applied Sciences. 2017
- Layers, resources and property templates in the specification and analysis of two interactive systems 2015
- Templates as heuristics for proving properties of medical devices 2015
- Modelling and systematic analysis of interactive systems 2012
-
artigo de revista
- Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. 2020
- A use error taxonomy for improving human-machine interface design in medical devices. ACM SIGBED Review. 2019
- Formal techniques in the safety analysis of software components of a new dialysis machine. Computational Methods in Applied Sciences. 2019
- Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering. 2019
- Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems. 2017
- Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering. 2015
- Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST. 2013
-
capítulo de livro
- Formal Modelling as a Component of User Centred Design. Computational Methods in Applied Sciences. 2018
- The Specification and Analysis of Use Properties of a Nuclear Control System. Human-Computer Interaction Series. 2017