Filip Smola
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Filip Smola has a total of 17 co-authors. Here are the top co-authors by number of shared publications:
- Jane Hillston
School of Informatics, University of Edinburgh, Edinburgh, UK
2 shared publications - Nuša Farič
School of Informatics, The University of Edinburgh, Edinburgh, U.K.
2 shared publications - Ricardo Contreras
School of Informatics, The University of Edinburgh, Edinburgh, U.K.
2 shared publications - Alexander Tracy
Usher Institute, University of Edinburgh, Edinburgh, United Kingdom
1 shared publication - Atul Anand
University of Edinburgh
1 shared publication - Bruce Guthrie
Advanced Care Research Centre, Usher Institute, University of Edinburgh, Edinburgh, UK
1 shared publication
Latest Publications
- Open Access
- 30 September 2026
- Published by Elsevier in British Journal of Anaesthesia
Multimorbidity in patients undergoing day surgery: a retrospective cohort study
- 30 September 2026
- Published by Elsevier in British Journal of Anaesthesia
Open AccessMultimorbidity in patients undergoing day surgery: a retrospective cohort study
- Open Access
- 27 November 2025
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Sensors Journal
- Vol. 26 (2) , 2138-2147
A Personalized Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
There is an urgent need to provide quality-of-life to a growing population of older adults living independently. Solutions that focus on the person and take into account their preferences and context are recognised as key. We introduce a framework for representing and reasoning about the Activities of Daily Living of older adults living independently at home. The framework integrates data from sensors and data from participants derived from semi-structured interviews, home layouts and additional contextual information, such as the researchers’ observations. These data are used to create formal models, personalised for each participant according to their preferences and context. Requirements specific to each individual are formulated and encoded in Linear Temporal Logic, and a model checker is used to verify whether each is satisfied by the model of the participant’s behaviour. We demonstrate the framework’s generalisability by applying it to two different participants, highlighting its potential to enhance the safety and well-being of older adults ageing in place.
- 27 November 2025
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Sensors Journal
- Vol. 26 (2) , 2138-2147
Open AccessA Personalized Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
There is an urgent need to provide quality-of-life to a growing population of older adults living independently. Solutions that focus on the person and take into account their preferences and context are recognised as key. We introduce a framework for representing and reasoning about the Activities of Daily Living of older adults living independently at home. The framework integrates data from sensors and data from participants derived from semi-structured interviews, home layouts and additional contextual information, such as the researchers’ observations. These data are used to create formal models, personalised for each participant according to their preferences and context. Requirements specific to each individual are formulated and encoded in Linear Temporal Logic, and a model checker is used to verify whether each is satisfied by the model of the participant’s behaviour. We demonstrate the framework’s generalisability by applying it to two different participants, highlighting its potential to enhance the safety and well-being of older adults ageing in place.
- Open Access
- 23 September 2025
- Published by JMIR Publications Inc. in JMIR Preprints
Early experiences and views of older adults living with sensing technology at home: A qualitative study (Preprint)
BACKGROUND The global population is ageing at a rapid pace, raising new challenges for maintaining independence and quality of life in later years. Technology has the potential to act as a buffer, supporting successful ageing in place. Among these, unobtrusive sensing technologies are emerging as transformative tools that can monitor and detect deviations in Activities of Daily Living (ADLs) in a non-invasive manner OBJECTIVE This study explored older adults’ perceptions and lived experiences of sensing technologies integrated into their home environments. Using semi-structured interviews and in-home observations, we examined how older individuals interacted with motion, magnetic, and physiological sensors embedded in their everyday routines. METHODS Fourteen adults aged 60+ across 12 diverse socioeconomic households in Edinburgh and surrounding areas participated, contributing 27 interviews conducted both before and after installation. Participants logged their ADLs using either a digital app or a paper diary. Sensors were generally accepted and integrated seamlessly into daily life RESULTS Initial apprehensions about complexity diminished once participants experienced the discreet and passive design, highlighting the importance of unobtrusiveness for older populations. Personalisation of sensor placement and feedback emerged as important, emphasising the need to engage older adults in co-design. While paper-based diaries proved burdensome for some, the introduction of a digital version, shaped by participant feedback, streamlined the process and fostered greater awareness of daily routines, occasionally leading to small behavioural adjustments. Participants valued the potential of sensors for enhancing safety (e.g., fall detection) and supporting independence, and expressed comfort with data collection for research when it was clearly explained and purposeful. CONCLUSIONS This study contributes new insights and to the new research methodologies into the lived experience of older adults with sensing technologies installed directly in their own homes. By addressing a gap in the literature, it provides evidence to inform future research, design, and policy for supporting ageing in place. CLINICALTRIAL N/A
- 23 September 2025
- Published by JMIR Publications Inc. in JMIR Preprints
Open AccessEarly experiences and views of older adults living with sensing technology at home: A qualitative study (Preprint)
BACKGROUND The global population is ageing at a rapid pace, raising new challenges for maintaining independence and quality of life in later years. Technology has the potential to act as a buffer, supporting successful ageing in place. Among these, unobtrusive sensing technologies are emerging as transformative tools that can monitor and detect deviations in Activities of Daily Living (ADLs) in a non-invasive manner OBJECTIVE This study explored older adults’ perceptions and lived experiences of sensing technologies integrated into their home environments. Using semi-structured interviews and in-home observations, we examined how older individuals interacted with motion, magnetic, and physiological sensors embedded in their everyday routines. METHODS Fourteen adults aged 60+ across 12 diverse socioeconomic households in Edinburgh and surrounding areas participated, contributing 27 interviews conducted both before and after installation. Participants logged their ADLs using either a digital app or a paper diary. Sensors were generally accepted and integrated seamlessly into daily life RESULTS Initial apprehensions about complexity diminished once participants experienced the discreet and passive design, highlighting the importance of unobtrusiveness for older populations. Personalisation of sensor placement and feedback emerged as important, emphasising the need to engage older adults in co-design. While paper-based diaries proved burdensome for some, the introduction of a digital version, shaped by participant feedback, streamlined the process and fostered greater awareness of daily routines, occasionally leading to small behavioural adjustments. Participants valued the potential of sensors for enhancing safety (e.g., fall detection) and supporting independence, and expressed comfort with data collection for research when it was clearly explained and purposeful. CONCLUSIONS This study contributes new insights and to the new research methodologies into the lived experience of older adults with sensing technologies installed directly in their own homes. By addressing a gap in the literature, it provides evidence to inform future research, design, and policy for supporting ageing in place. CLINICALTRIAL N/A