| Data | Título | Autor(es) | Tipo | Acesso |
| 2021 | Balancing the formal and the informal in user-centred design | Harrison, Michael D.; Masci, Paolo; Campos, José C. | Artigo | Acesso aberto |
| 2017 | Demonstrating that medical devices satisfy user related safety requirements | Harrison, Michael douglas; Masci, Paolo; Campos, José C., et al. | Artigo em ata de conferência | Acesso aberto |
| 2017 | Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web | Fayollas, Camille; Martinie, Celia; Palanque, Philippe, et al. | Artigo em ata de conferência | Acesso aberto |
| 2018 | Formal modelling as a component of user centred design | Harrison, Michael Douglas; Masci, Paolo; Campos, José C. | Artigo em ata de conferência | Acesso aberto |
| 2019 | Formal techniques in the safety analysis of software components of a new dialysis machine | Harrison, Michael douglas; Freitas, Leo; Drinnan, Michael, et al. | Artigo | Acesso aberto |
| 1-Jan-2017 | A hazard analysis method for systematic identification of safety requirements for user interface software in medical devices | Masci, Paolo; Zhang, Yi; Jones, Paul, et al. | Artigo em ata de conferência | Acesso aberto |
| 2015 | Layers, resources and property templates in the specification and analysis of two interactive systems | Campos, José C.; Curzon, Paul; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |
| 2012 | Modelling and systematic analysis of interactive systems | Harrison, Michael D.; Masci, Paolo; Campos, J. Creissac, et al. | Artigo em ata de conferência | Acesso aberto |
| 2015 | Reusing models and properties in the analysis of similar interactive devices | Harrison, Michael D.; Campos, J. Creissac; Masci, Paolo | Artigo | Acesso aberto |
| 2017 | Safety analysis of software components of a dialysis machine using model checking | Harrison, Michael douglas; Drinnan, M.; Campos, José C., et al. | Artigo em ata de conferência | Acesso aberto |
| Ago-2020 | Supporting the analysis of safety critical user interfaces: an exploration of three formal tools | Campos, José C.; Fayollas, Camille; Harrison, Michael D., et al. | Artigo | Acesso aberto |
| 2015 | Templates as heuristics for proving properties of medical devices | Campos, José C.; Curzon, Paul; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |
| Set-2017 | TOM: a model-based GUI testing framework | Pinto, Miguel; Gonçalves, Marcelo; Masci, Paolo, et al. | Artigo em ata de conferência | Acesso aberto |
| 2019 | A use error taxonomy for improving human-machine interface design in medical devices | Silva, Carlos; Masci, Paolo; Zhang, Yi, et al. | Artigo | Acesso aberto |
| Dez-2017 | Verification of user interface software: the example of use-related safety requirements and programmable medical devices | Harrison, Michael douglas; Masci, Paolo; Campos, José C., et al. | Artigo | Acesso aberto |
| 2019 | Verification templates for the analysis of user interface software design | Harrison, Michael douglas; Masci, Paolo; Campos, José C. | Artigo | Acesso aberto |
