| Beyond "Do-They-Look-the-Same?" to "Do-They-Behave-The-Same?": Similarity Analysis and Assessment Across Interactive Critical Systems Behaviours
|
2026 |
- |
| Proving Use Requirements of Interactive Systems with Remote Monitoring and Control Capabilities |
2026 |
- |
| Balancing the formal and the informal in user centred design |
2021 |
|
| Verification Templates for the Analysis of User Interface Software Design |
2019 |
|
| Formal modelling as a component of user centred design |
2018 |
|
| Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices |
2017 |
|
| Modelling information resources and their salience in medical device design |
2016 |
|
| Systematic analysis of control panel interfaces using formal tools |
2008 |
|