Formal Verification of Safety-Critical User Interfaces: a space system case study. - Manuel Sousa; José Creissac Campos; Miriam C. Bergue Alves; Michael D. Harrison (AAAI Spring Symposia, 2014)

Formal Verification of a Space System's User Interface With the IVY Workbench. - José Creissac Campos; Manuel Sousa; Miriam C. Bergue Alves; Michael D. Harrison (IEEE Trans. Hum. Mach. Syst., 2016)

A Platform to Support the Care and Assistance of Community-Dwelling Older Adults. - Manuel Sousa; Luísa Arieira; Telmo Neves; António Damasceno; Filipa Duarte; João Filipe; Ana Isabel Martins; Alexandra Queirós; Nelson Pacheco da Rocha (CENTERIS/ProjMAN/HCist, 2018)

SOCIAL Platform. - Manuel Sousa; Luísa Arieira; Alexandra Queirós; Ana Isabel Martins; Nelson Pacheco da Rocha; Filipe Augusto; Filipa Duarte; Telmo Neves; António Damasceno (WorldCIST (2), 2018)

The Social Platform: Profiling FHIR to Support Community-Dwelling Older Adults. - Nelson Pacheco da Rocha; Alexandra Queirós; Ana Isabel Martins; Manuel Sousa; Luísa Arieira; António Damasceno; Filipa Duarte; João Filipe; Philipp Urbauer (J. Medical Syst., 2019)

Understanding Effects of the Algorithm Visualized with AR Techniques (Short Paper). - Lázaro V. O. Lima; Manuel Sousa; Luís Gonzaga Magalhães; Pedro Rangel Henriques (ICPEC, 2021)