Concepedia

Paulo Barbosa

PB

4

Publications

79

Citations

4

H-Index

2010

Active since

Affiliations

Technologies pour la Santé(Current)

Universidade Nova de Lisboa

Paulo Barbosa is an author at Technologies pour la Santé specializing in formal methods, engineering, and software engineering.

Top concepts

EngineeringFormal MethodsSoftware DesignSystems EngineeringSoftware EngineeringDesignMedicineAutomationCardiologyTelehealth

Publications per year

2010–2023

4

Publications

4

HRV Monitoring Using Commercial Wearable Devices as a Health Indicator for Older Persons during the Pandemic

Eujessika Rodrigues, Daniella Lima, Paulo Barbosa et al. · Sensors · 2022 · 35 citations · Full text

Wearable System, Remote Patient Monitoring, Wearable Technology +19

Promoting Obesity Prevention and Healthy Habits in Childhood: The OCARIoT Experience

Leire Bastida, Gloria Cea, Ana Moya et al. · IEEE Journal of Translational Engineering in Health and Medicine · 2023 · 16 citations · Full text

Ecore representation for extending PNML for Input-Output Place-Transition nets

Filipe Moutinho, Franklin Ramalho, Jorge Figueiredo et al. · 2010 · 15 citations

Mathematical Programming, Petri Net, Engineering +21

The Parameterized Safety Requirements Templates

Pablo Oliveira Antonino, Mario Trapp, Paulo Barbosa et al. · 2015 · 13 citations

Software Maintenance, Safety Case, Engineering +23

Rows per page

1–4 of 4