logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
G

Genaína Nunes Rodrigues

universidade de brasilia

17H-index
81Paper Count
867Citation Count
Published Papers 15
Publication Date
logo
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-10-01
err0
errOAAI
errCaldas, Ricardo; Garcia, Juan Antonio Pinera; Schiopu, Matei; Pelliccione, Patrizio; Rodrigues, Genaina; Berger, Thorsten
errShare
errSave
Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach
errIEEE SOFTWARE
IF3
err2024-09-01
err0
PREAI
errde Araujo, Joao Paulo Costa; Rodrigues, Genaina Nunes; Carwehl, Marc; Vogel, Thomas; Grunske, Lars; Caldas, Ricardo; Pelliccione, Patrizio
errShare
errSave
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-06-01
err0
errOAAI
errCalinescu, Radu; Imrie, Calum; Mangal, Ravi; Rodrigues, Genaina Nunes; Pasareanu, Corina; Santana, Misael Alpizar; Vazquez, Gricel
errShare
errSave
A property specification pattern catalog for real-time system verification with UPPAAL
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2023-02-01
err13
errOAAI
errVogel, Thomas; Carwehl, Marc; Rodrigues, Genaina Nunes; Grunske, Lars
errShare
errSave
A Novel Statistical and Neural Network Combined Approach for the Cloud Spot Market
errIEEE TRANSACTIONS ON CLOUD COMPUTING
IF5
err2023-01-01
err2
PREAI
errPortella, Gustavo J. J.; Nakano, Eduardo; Rodrigues, Genaina N. N.; Boukerche, Azzedine; Melo, Alba C. M. A.
errShare
errSave
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
err2021 INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2021)
IF0
err2021-05-01
err8
errOAAI
errGil, Eric Bernd; Caldas, Ricardo; Rodrigues, Arthur; Gomes da Silva, Gabriel Levi; Rodrigues, Genaina Nunes; Pelliccione, Patrizio
errShare
errSave
Characterization of implied scenarios as families of common behavior
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2019-12-01
err1
PREAI
errde Melo, Caio Batista; Fernandes Cancado, Andre Luiz; Rodrigues, Genaina Nunes
errShare
errSave
Enhancing context specifications for dependable adaptive systems: A data mining approach
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2019-08-01
err8
errOAAI
errRodrigues, Arthur; Rodrigues, Genaina Nunes; Knauss, Alessia; Ali, Raian; Andrade, Hugo
errShare
errSave
Feature-family-based reliability analysis of software product lines
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2018-02-01
err16
PREAI
errLanna, Andre; Castro, Thiago; Alves, Vander; Rodrigues, Genaina; Schobbens, Pierre-Yves; Apel, Sven
errShare
errSave
Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2017-06-01
err12
PREAI
errPessoa, Leonardo; Fernandes, Paula; Castro, Thiago; Alves, Vander; Rodrigues, Genaina N.; Carvalho, Hervaldo
errShare
errSave
Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method
errCLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS
IF4.1
err2017-05-23
err7
PREAI
errLeite, Alessandro Ferreira; Alves, Vander; Rodrigues, Genaina Nunes; Tadonki, Claude; Eisenbeis, Christine; Magalhaes Alves de Melo, Alba Cristina
errShare
errSave
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2016-12-01
err24
errOAAI
errMendonca, Danilo Filgueira; Rodrigues, Genaina Nunes; Ali, Raian; Alves, Vander; Baresi, Luciano
errShare
errSave
Border Effect Analysis for Reliability Assurance and Continuous Connectivity of Wireless Sensor Networks in the Presence of Sensor Failures
errIEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
IF10.7
err2014-08-01
err31
PREAI
errLaranjeira, Luiz A.; Rodrigues, Genaina Nunes
errShare
errSave
A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis
errJOURNAL OF GRID COMPUTING
IF2.9
err2013-10-27
err6
PREAI
errGuimaraes, Felipe Pontes; Celestin, Pedro; Batista, Daniel Macedo; Rodrigues, Genaina Nunes; Magalhaes Alves de Melo, Alba Cristina
errShare
errSave
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2012-01-01
err27
PREAI
errRodrigues, Genaina Nunes; Alves, Vander; Silveira, Renato; Laranjeira, Luiz A.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Azzedine Boukerche
H-index: 70 · Papers: 1.2K
S
Sven Apel
H-index: 60 · Papers: 422
C
Corina S. Păsăreanu
H-index: 48 · Papers: 297
L
Luciano Baresi
H-index: 43 · Papers: 365
T
Thorsten Berger
H-index: 40 · Papers: 197
View more