publicações selecionadas
-
artigo de conferência
- Demonstrating that Medical Devices Satisfy User Related Safety Requirements. Computational Methods in Applied Sciences. 2017
- Modelling information resources and their salience in medical device design 2016
- 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
-
artigo de revista
- Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems. 2017
- Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST. 2013
-
capítulo de livro
- The Specification and Analysis of Use Properties of a Nuclear Control System. Human-Computer Interaction Series. 2017