Genaína Nunes Rodrigues

Registered user since Mon 25 Mar 2019

Name: Genaína Nunes Rodrigues

Bio: Genaina Rodrigues is a tenure professor in the Department of Computer Science at the University of Brasilia. She received her Ph.D. in Computer Science from University College London (2008) in the Software Engineering group. Previously, she obtained her bachelor’s degree in Computer Science from the University of Brasília in 1999 and her Master’s Degree in Computer Science from Federal University of Pernambuco (2002) in the Distributed Systems group. Her research interests are mostly in Software Systems Engineering including dependability analysis and modeling, self-adaptive systems, goal-oriented requirements engineering, model-driven development for quality requirements, verification of probabilistic models, as well as distributed platforms. In 2013, she co-organized the Brazilian Software Engineering Congress (CBSoft) of the Brazilian Computer Society (SBC). Together with her research group LADECIC @ LES, she has engaged national and international cooperations in her topics of research interest and has served highly ranked Computer Science journals as well as conferences.

Affiliation: University of Brasília

Personal website:

Research interests: self-adaptive systems, verification process, probabilistic model checking, assurances for uncertainties, adaptation policies,


ACSOS 2021 Committee Member in Poster and Demo Committee within the Posters and Demos-track
PC Member in Program Committee within the Main Track-track
SEAMS 2021 Author of Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain within the SEAMS 2021-track
ASE 2020 Author of Characterization of Implied Scenarios as Families of Common Behavior within the Journal-first Papers-track
SEAMS 2020 Author of A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems within the SEAMS 2020-track
SEAMS 2019 Author of Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach within the SEAMS 2019-track
ICSE 2020 Author of Panel within the New Faculty Symposium-track