Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Bruno Miranda

dblp:02/8399 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0003-4660-6051ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 77% Requirements engineering and software design · 23%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › specification-based testing › requirements-based testing
requirements-based test generation
0.212015
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests · FM 2015
YearPublicationVenuePosition
2025 HomeSenseALS: A Mobile Sensing and Self-Monitoring System to Monitor Patients with ALS in Everyday Life
abstract
Progressive neurological conditions like Amyotrophic Lateral Sclerosis (ALS) require regular and detailed monitoring to track functional decline and support timely clinical decisions. Traditional in-clinic assessments, however, can be burdensome and infrequent, often missing daily symptom variability. Smartphones and wearables offer a promising alternative for remote data collection. We present HomeSenseALS, a smartphone-based digital phenotyping application developed for ALS patients and caregivers, using a user-centered design approach involving patients, caregivers, and clinicians. HomeSenseALS collects multimodal data, including self-reported data from the Revised Amyotrophic Lateral Sclerosis Functional Rating Scale (ALSFRS-R), speech and respiratory recordings, and human movement passive data. To assess its potential for tracking ALS progression, we conducted a cross-sectional in-clinic study with 27 ALS patients and a longitudinal at-home study with 11 ALS patients over 21 weeks. Self-reported ALSFRS-R scores showed a strong correlation with in-clinic assessments. High-level physical activity features, such as time spent indoors, were associated with gross motor function. Speech analysis differentiated patients with and without bulbar dysfunction and correlated with respiratory parameters. Home spirometry aligned with clinical respiratory measures. These findings support the feasibility of using HomeSenseALS for remote, multimodal monitoring of ALS progression, potentially reducing patient burden while enabling more continuous and granular tracking of functional decline.
Duarte Folgado, Pedro S. Rocha, Pedro Matias 0002, Diana Liebetrau, Francisco Nunes, Tiago Rocha, Inês Alves, Diana Lopes, Mamede de Carvalho, Bruno Miranda, André V. Carreiro
ACM Trans. Comput. Heal.10
2023 Artificial intelligence and statistical methods for stratification and prediction of progression in amyotrophic lateral sclerosis: A systematic review
abstract
BACKGROUND: Amyotrophic Lateral Sclerosis (ALS) is a fatal neurodegenerative disorder characterised by the progressive loss of motor neurons in the brain and spinal cord. The fact that ALS's disease course is highly heterogeneous, and its determinants not fully known, combined with ALS's relatively low prevalence, renders the successful application of artificial intelligence (AI) techniques particularly arduous. OBJECTIVE: This systematic review aims at identifying areas of agreement and unanswered questions regarding two notable applications of AI in ALS, namely the automatic, data-driven stratification of patients according to their phenotype, and the prediction of ALS progression. Differently from previous works, this review is focused on the methodological landscape of AI in ALS. METHODS: We conducted a systematic search of the Scopus and PubMed databases, looking for studies on data-driven stratification methods based on unsupervised techniques resulting in (A) automatic group discovery or (B) a transformation of the feature space allowing patient subgroups to be identified; and for studies on internally or externally validated methods for the prediction of ALS progression. We described the selected studies according to the following characteristics, when applicable: variables used, methodology, splitting criteria and number of groups, prediction outcomes, validation schemes, and metrics. RESULTS: Of the starting 1604 unique reports (2837 combined hits between Scopus and PubMed), 239 were selected for thorough screening, leading to the inclusion of 15 studies on patient stratification, 28 on prediction of ALS progression, and 6 on both stratification and prediction. In terms of variables used, most stratification and prediction studies included demographics and features derived from the ALSFRS or ALSFRS-R scores, which were also the main prediction targets. The most represented stratification methods were K-means, and hierarchical and expectation-maximisation clustering; while random forests, logistic regression, the Cox proportional hazard model, and various flavours of deep learning were the most widely used prediction methods. Predictive model validation was, albeit unexpectedly, quite rarely performed in absolute terms (leading to the exclusion of 78 eligible studies), with the overwhelming majority of included studies resorting to internal validation only. CONCLUSION: This systematic review highlighted a general agreement in terms of input variable selection for both stratification and prediction of ALS progression, and in terms of prediction targets. A striking lack of validated models emerged, as well as a general difficulty in reproducing many published studies, mainly due to the absence of the corresponding parameter lists. While deep learning seems promising for prediction applications, its superiority with respect to traditional methods has not been established; there is, instead, ample room for its application in the subfield of patient stratification. Finally, an open question remains on the role of new environmental and behavioural variables collected via novel, real-time sensors.
Erica Tavazzi, Enrico Longato, Martina Vettoretti, Helena Aidos, Isotta Trescato, Chiara Roversi, Andreia S. Martins, Eduardo N. Castanho, Ruben Branco, Diogo F. Soares, Alessandro Guazzo, Giovanni Birolo, Daniele Pala, Pietro Bosoni, Adriano Chiò, Umberto Manera, Mamede de Carvalho, Bruno Miranda, Marta Gromicho, Inês Alves, Riccardo Bellazzi, Arianna Dagliati, Piero Fariselli, Sara C. Madeira, Barbara Di Camillo
Artif. Intell. Medicine18
2020 Combined model-free and model-sensitive reinforcement learning in non-human primates
abstract
Contemporary reinforcement learning (RL) theory suggests that potential choices can be evaluated by strategies that may or may not be sensitive to the computational structure of tasks. A paradigmatic model-free (MF) strategy simply repeats actions that have been rewarded in the past; by contrast, model-sensitive (MS) strategies exploit richer information associated with knowledge of task dynamics. MF and MS strategies should typically be combined, because they have complementary statistical and computational strengths; however, this tradeoff between MF/MS RL has mostly only been demonstrated in humans, often with only modest numbers of trials. We trained rhesus monkeys to perform a two-stage decision task designed to elicit and discriminate the use of MF and MS methods. A descriptive analysis of choice behaviour revealed directly that the structure of the task (of MS importance) and the reward history (of MF and MS importance) significantly influenced both choice and response vigour. A detailed, trial-by-trial computational analysis confirmed that choices were made according to a combination of strategies, with a dominant influence of a particular form of model sensitivity that persisted over weeks of testing. The residuals from this model necessitated development of a new combined RL model which incorporates a particular credit assignment weighting procedure. Finally, response vigor exhibited a subtly different collection of MF and MS influences. These results provide new illumination onto RL behavioural processes in non-human primates.
Bruno Miranda, W. M. Nishantha Malalasekera, Timothy Edward John Behrens, Peter Dayan, Steven W. Kennerley
PLoS Comput. Biol.1
2015 Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests
Bruno Miranda, Henrique Masini, Rodrigo Reis
FM1