Genaína Nunes Rodrigues

Genaina Rodrigues is an associate professor in the Department of Computer Science at the University of Brasília since 2009. She received her Ph.D. in Computer Science from University College London in 2008. Previously, she obtained her bachelor degree in Computer Science from the University of Brasília in 1999 and her Master's Degree inComputer Science from the Federal University of Pernambuco in 2002. Her research interests are mostly in self-adaptive cyber physical systems including the mutual collaboration in the synthesis of adaptation strategies following control-theoretical principles through formal verification and AI and their interplay with goal-oriented requirements engineering. In 2013, she co-organized the premier Brazilian Software Engineering Congress (CBSoft) of the Brazilian Computer Society (SBC). In 2020, she was awarded a fellowship as an experienced researcher through CAPES/Alexander von Humboldt Program to conduct research at the Humboldt Universität zu Berlin with Prof. Lars Grunske and PhD Dr. Thomas Vogel. She has been awarded in various key venues in Software Engineering. In 2024 she was awarded distinguished paper award at the prestigious ACM/IEEE International Conference on Software Engineering (ICSE) and with the best paper award at the ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). In 2019 she was awarded the Most Influential Paper at the SBC Brazilian Symposium on Components, Architecture and Reuse (SBCARS). Throughout her career, she has (co-)supervised over 12 master dissertations and 5 PhD thesis. And she has served at national and international program committees such as the ACM/IEEE International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), ACM Symposium on the Foundations of Software Engineering (FSE), IEEE International Conference on Software Architecture (ICSA), Brazilian Symposium on Software Engineering (SBES), Brazilian Symposium on Components, Architecture and Reuse (SBCARS) and as reviewer of international world class journals such as IEEE Transactions on Software Engineering (TSE), The Journal of Systems and Software (JSS), Information and Software Technology (IST) to mention a few.

Informações coletadas do Lattes em 10/06/2025

Acadêmico

Formação acadêmica

Doutorado em Computer Science

2002 - 2008

University College of London
Título: A Model Driven Approach for Software Reliability Prediction
Orientador: David Rosenblum
Coorientador: Sebastian Uchitel. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Ciências da Computação

2000 - 2002

Universidade Federal de Pernambuco
Título: UORB - A Comprehensive CORBA Model for Embedded Systems, Ano de Obtenção: 2002
Carlos André Guimarães Ferraz.

Graduação em Ciência da Computação

1993 - 1999

Universidade de Brasília, UnB
Título: Javaflow
Orientador: Fernando Chacon Albuquerque

Pós-doutorado

2009 - 2009

Pós-Doutorado. , Universidade Federal de Minas Gerais, UFMG, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Alemão

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.

Organização de eventos

Nunes Rodrigues, Genaina ; UCHITEL, S. ; MAIA, P. H. M. ; CALINESCU, R. ; PELLICCIONE, P. . Second International Summer School on Robotic Mission Engineering - A Software Engineering Approach (RoME'24). 2024. (Outro).

RODRIGUES, G. N. ; SCHMERL, BRADLEY ; BENNACEUR, AMEL ; ALRAJEH, D. ; PASCOALE, L. ; GERASIMOU, SIMOS . MIP Chair at the International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 2024. (Congresso).

RODRIGUES, GENAINA N. ; PEREZ, D. . 18th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track. 2023. (Congresso).

Nunes Rodrigues, Genaina ; KOIKE, C. M. C. E. C. ; CALDAS, R. D. ; RODRIGUES, GABRIEL S. ; ARAUJO, G. F. P. ; LOTTERMANN, C. E. T. ; DE MORAES, VICENTE . First International Summer School on Robotic Mission Engineering. 2023. (Outro).

RAIBULET, CLAUDIA ; SANCTIS, M. ; RODRIGUES, G. N. . International Context-aware, Autonomous and Smart Architecture Workshop (CASA'22). 2022. (Congresso).

CALINESCU, R. ; RODRIGUES, GENAINA N. . 15th European Conference on Software Architecture - Doctoral Symposium (Co-Chair). 2021. (Congresso).

HONIDEN, S. ; CALINESCU, R. ; NITTO, E. ; RODRIGUES, G. N. . 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 2020. (Congresso).

LITOIU, M. ; CLARKE, S. ; TEI, K. ; RODRIGUES, G. N. . 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 2019. (Congresso).

RODRIGUES, G. N. ; BONIFACIO, R. . IV Congresso Brasileiro de Software (CBSoft). 2013. (Congresso).

Participação em eventos

Simpósio Brasileiro de Componentes, Arquiteturas e Reuso de Software.Dependability Analysis in the Ambient Assisted Living Domain: an Exploratory Case Study. 2010. (Simpósio).

Simpósio Brasileiro de Engenharia de Software. 2009. (Congresso).

Simpósio Brasileiro de Redes de Computadores. 2009. (Congresso).

Foundations of Software Engineering. 2007. (Congresso).

International Conference on Software Engineering. Reliability Analysis of Concurrent Systems using LTSA. 2007. (Congresso).

Architecting Dependable Systems.Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. 2005. (Oficina).

ETAPS/FASE. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. 2005. (Congresso).

International Conference On Model Driven Engineering Languages and Systems. Reliability Prediction in Model Driven Development. 2005. (Congresso).

International Conference on Software Engineering.A Model Driven Approach for Software Systems Reliability. 2004. (Simpósio).

Architecting Dependable Systems.Reliability Support for the Model Driven Architecture. 2003. (Oficina).

Simpósio Brasileiro de Engenharia de Software. 2000. (Simpósio).

Participação em bancas

Aluno: CARLOS JOEL TAVARES DA SILVA

RALHA, C. G.; RIZK, Y. A.;RODRIGUES, G. N.. A Multi-robot System Architecture with Multi-agent Planning. 2024. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Isabely do Nascimento Costa

CASTRO, R. M.; SANTOS, I. S.;RODRIGUES, G. N.; DANTAS, V. L. L.; ROCHA, L. S.. OPTIMUS: MECANISMO DE OTIMIZAÇÃO DE SEQUÊNCIA DE CASOS DE TESTES EM SISTEMAS AUTOADAPTATIVOS. 2024. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Lucas Dalle Rocha

CANEDO, E. D.; SILVA, C. T. L. L.;RODRIGUES, G. N.. Análise Comparativa de Leis de Proteção de Dados e Frameworks de Privacidade: Otimizando Soluções para Conformidade com LGPD e Leis Internacionais de Compartilhamento de Dados.. 2024. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Ismael Coelho Medeiros

BONIFACIO, R.;RODRIGUES, GENAINA N.; ALCHIERI, E. A. P.. DogeFuzz: um framework extensível para estudos de fuzzing na análise dinâmica de Smart Contracts. 2023. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Herval Alexandre Dias Hubner

ALVES, V. R.; TEIXEIRA, L. M.;RODRIGUES, GENAÍNA N.. Análise de Evolução de Linhas de Produtos de Software. 2023. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Lucas Paiva Bressan

OLIVEIRA, A. L.;RODRIGUES, GENAÍNA N.; BRAGA, R. T. V.; VILLELA, R. B.; CAMPOS, F. C. A.. CRITIVAR: A Variability Modeling and Transformation Approach for Safety and Security-Critical Systems. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Juiz de Fora.

Aluno: Vinicius Jose de Siqueira

MIRANDA, B. A. F.; IYODA, J. M.;RODRIGUES, GENAÍNA N.. History-based Prioritization in the Context of Manual Testing: a Study in a Real Industrial Setting. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Tim Jellinek

RODRIGUES, GENAINA N.; GRUNSKE, L.; VOGEL, T.. Automatic Generation of Runtime Monitors from Structured Natural Language Using Timed Automatons. 2022. Dissertação (Mestrado em Institut für Informatik) - Humboldt-Universität Zu Berlin.

Aluno: Tobias Astoni Sena

ALVES, V. R.; SCHOBBENS, P.;RODRIGUES, GENAÍNA N.. Evolution-aware Product-Line Reliability Analysis. 2021. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: MÁRCIA MARIA SILVA SOUZA MACIEL

MAIA, P. H. M.;RODRIGUES, G. N.; OLIVEIRA, F. C. M. B.. ADORE: AN ADAPTATION-ORIENTED REQUIREMENT MODELING APPROACH FOR SYSTEMS OF SYSTEMS. 2020. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Estadual do Ceará.

Aluno: Willian de Oliveira Barreiros Júnior

TEODORO, G. L. M.; FERREIRA, R. A. C.;RODRIGUES, G. N.. Accelerating Sensitivity Analysis in Microscopy Image Segmentation Workflows with Multi-level Computation and Data Reuse. 2018. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Alysson de Sousa Ribeiro

CANEDO, E. D.; BONIFACIO, R.; FREITAS, S. A. A.;RODRIGUES, G. N.. Analise de Soluções de Autenticação e Autorização para Arquiteturas Orientadas a Serviço. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília.

Aluno: Drausio Gomes dos Santos

ZAGHETTO, A.;RALHA, C. G.RODRIGUES, G. N.. Implementação de um Geocatálogo utilizando Banco Orientado a Grafos para Apoio à Metodologia SERVUS. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília.

Aluno: Marcos César de Oliveira

BONIFACIO, R.; KULESZA, U.;RODRIGUES, G. N.. Exploring the Use of Co-Change Clusters in Software Comprehension Tasks. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Gustavo Cordeiro Galvão Van Erven

HOLANDA, M.;RODRIGUES, G. N.; CARVALHO, R. N.. MDG-NoSQL: Modelo de Dados para Bancos NoSQL Baseados em Grafos. 2015. Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília.

Aluno: Michel Araújo Vasconcelos

MENDONCA, N. C.; MAIA, P. H. M.;RODRIGUES, G. N.. Cloud Detours: Uma Abordagem para Adaptação Automática e Não Instrutiva de Aplicações para Ambientes de Computação em Nuvem. 2015. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

Aluno: Leonardo Monteiro Pessoa

ALVES, V. R.RODRIGUES, G. N.; LIMA FILHO, F. J. C.; BONIFACIO, R.. Flexibilidade em Linhas de Produtos Dinâmicas Cientes de Qualidade: uma Abordagem Baseada em Linguagens Específicas de Domínio. 2014. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Fabrício Severo de Severo

FONTOURA, L. M.;RODRIGUES, G. N.; PIVETA, E. K.. Uma Abordagem Baseada em Jogos de Diálogo para Gerenciamento Colaborativo de Riscos. 2013. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Lucineia Turnes

ALVES, V. R.; BORBA, P.;RODRIGUES, G. N.. Avaliação de Técnicas para Construção de Linha de Produtos de Ferramentas de Linha de Produtos. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Gabriela Netto Guerra

RALHA, C. G.; ALMEIDA, V. A. F.;RODRIGUES, G. N.. Modelo de Reputação e Ontologia Aplicados à Rede Social Científica do ObserveUnB. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Zhang Jianya

PAPPA, G. L.;RODRIGUES, G. N.; WEIGANG, L.. Modelagem de influencia de sócios das redes sociais pelas RageRank e Índice de W-entropia. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: Felipe Pontes Guimarães

MELO, A. C. M. A.; LEJMAN, A. G. V.;RODRIGUES, G. N.. Framework para Execução Adaptativa e Tolerante a Falhas de Workflow em Grid. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Aluno: André Cardoso de Souza

RODRIGUES, G. N.; RESENDE, R. F.; NOGUEIRA, J. M. S.. Coreografia de Fluxo de Trabalho Científicos para Computação em Grade. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Francisco Handrick T

BONIFACIO, R.; FEITOSA, E. L.; MIRANDA, B. A. F.;RODRIGUES, G. N.. Costa. On the Effectiveness of the Mining Android Sandbox Approach for Malware Detection. 2025. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: Junier Caminha Amorim

ALVES, V.; BARONE, D. A. C.; MOTA, A. C.;RODRIGUES, GENAÍNA N.. Command and Control Agility: a Software Product Line Approach. 2022. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: Mirko D'Angelo

RODRIGUES, GENAINA N.; SCANDURRA, P.; BURES, T.; PAPADOPOULOS, A. V.; PALMA, F.; LOWE, W.; CAPORUSCIO, M.. Engineering Decentralized Learning in Self-Adaptive Systems. 2021. Tese (Doutorado em Computer and Information Science) - Linnéuniversitetet - Växjö.

Aluno: Antonio João Gonçalves de Azambuja

SARMENTO, A. G. M.; LOSCH, D.; CARDOSO, M. S.; MAIA, J. M. F.;RODRIGUES, GENAINA N.. MODELO DE MATURIDADE DA ARQUITETURA DA INFORMAÇÃO PARA MITIGAR OS IMPACTOS SOCIAIS DOS RISCOS RELACIONADOS COM A PRIVACIDADE, SEGURANÇA E PERDA DE VALOR DAS INFORMAÇÕES DISPONIBILIZADAS NO AMBIENTE DO BIG DATA. 2020. Tese (Doutorado em Educação em Ciências Quìmica da Vida e Saúde ( Ufsm - Furg)) - Universidade Federal do Rio Grande do Sul.

Aluno: João Guilherme Faccin

NUNES, I. O.;RODRIGUES, GENAINA N.; CAMARGO, V. V.; FREITAS, E. P.. Promoting Resilience with Automated Management of Remediation Actions. 2020. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: José Pergentino de Araújo Neto

RALHA, C. G.; DRUMMOND, L.;RODRIGUES, G. N.; ARAUJO, A. P. F.. Uma Arquitetura Resiliente Baseada em Agentes para Instâncias Transientes na Computação em Nuvem. 2019. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: Thiago Mael Castro

ALVES, V.; BEEK, M. T.; GHEYI, R.;RODRIGUES, G. N.. A Machine-Veried Theory of Commuting Strategies for Product-Line Reliability Analysis. 2019. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: João Pablo Silva da Silva

Nunes Rodrigues, Genaina; NUNES, I. O.; SOUZA, V. E. S.; PIMENTA, M. S.. SaSML: A UML-Based Domain-Specific Modeling Language for Self-Adaptive Systems Conceptual Modelling. 2018. Tese (Doutorado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: André Luís Ribeiro Didier

SAMPAIO, A. C. A.; MACIEL, P. R. M.; IYODA, J. M.; DROGUETT, E. A. L.;RODRIGUES, G. N.. An Algebra of Temporal Faults. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Ulisses Rodrigues Afonseca

BORDIM, J. L.; DANTAS, M. A. R.; WEIGANG, L.;RODRIGUES, G. N.; ALCHIERI, E. A. P.. Comunicação Cooperativa: Uma Alternativa para a Residência em Redes Ad Hoc Sem fio. 2015.

Aluno: Fabricio Nogueira Buzeto

JACOBI, R. P.;RODRIGUES, G. N.; CLUA, E. W. G.; BATAIOLA, A. L.; BONIFACIO, R.. Jogos Ubíquos Reconfiguráveis - Da concepção à construção. 2015. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: Fernando Szimanski

SANTORO, F. M.; ALMEIDA, J. P.;RODRIGUES, G. N.; JACOBI, R. P.;RALHA, C. G.. MELHORIA DE MODELOS DE PROCESSO DE NEGÓCIO COM MINERAÇÃO DE PROCESSOS E SIMULAÇÃO BASEADA EM AGENTES.. 2013. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: Washington Luis Vieira da Silva

SILVA, W. L. V.;RODRIGUES, G. N.; COSTA, A. R.; PEQUENO, I. S.; SILVA, J. E.; DOMINGUES, R. P.. Desenvolvimento de um Modo de Seleção de Materiais Metálicos com Aplicação de Uma Abordagem Logistica: o Caso de Empresas do Setor Minerometalúrgico. 2011. Tese (Doutorado em Engenharia de Materiais) - Universidade Federal de Ouro Preto.

Aluno: Francisco Handrick T

BONIFÁCIO, RODRIGO; GREGIO, A. R. A.;RODRIGUES, G. N.. Costa. Understanding the Role of Dynamic and Static Analysis for Detecting Android Malwares. 2021. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: TAMY EMILY BEPPLER

PISANI, F.;NUNES RODRIGUES, GENAÍNA; ALMEIDA, P. R. L.; GREGIO, A. R. A.. ON THE EFFECTIVENESS OF NATURAL LANGUAGE PROCESSING TECHNIQUES APPLIED TO SCAM-BASED CAMPAIGNS. 2021. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Paraná.

Aluno: João Guilherme Faccin

Nunes Rodrigues, Genaina; CAMARGO, V. V.; FREITAS, E. P.; NUNES, I. O.. Promoting Resilience with Automated Management of Remediation Actions. 2019. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: ANTONIO JOÃO GONÇALVES DE AZAMBUJA

SARMENTO, A. G. M.; GRANVILLE, L. Z.;RODRIGUES, G. N.. Modelo de maturidade da Arquitetura da Informação para mitigar os impactos sociais dos riscos relacionados com a privacidade, segurança e perda de valor das informações disponibilizadas no ambiente do Big Data.. 2019. Exame de qualificação (Doutorando em Educação em Ciências Quìmica da Vida e Saúde ( Ufsm - Furg)) - Universidade Federal do Rio Grande do Sul.

Aluno: Junier Caminha Amorim

ALVES, V. R.; NUNES, I.;RODRIGUES, G. N.. A Product Line Based Method to Provide Command and Control Agility. 2019. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: Gustavo Jardim Portella

MELO, A. C. M. A.; BUGARIN, M. S.; NAKANO, EDUARDO;RODRIGUES, G. N.. Análise e Evolução de Modelos de Precificação em Computação em Nuvem para Instâncias Permanentes e Transientes. 2018. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: Tiago Mael de Castro

ALVES, V. R.; MOTA, A. C.; GHEYI, R.;RODRIGUES, G. N.. A Machine-Verified Theory of Commuting Strategies for Product-Line Reliability Analysis.. 2018. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: Vitor Filincowsky Ribeiro

WEIGANG, L.; DRUMMOND, A. C.;RODRIGUES, G. N.; CUNHA, C. B.; OLIVEIRA, I. R.. 4D Air Navigation for Efficient Flight Path with Evolutionary Approaches for Brazilian Scenarios. 2016. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: Victor Luiz Grechi

BRAGA, R. T. V.; ASSIS, P. O. A.;RODRIGUES, G. N.. Model-driven Safety and Security Co-Engineering. 2023. Exame de qualificação (Mestrando em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.

Aluno: Tobias Astoni Sena

ALVES, V. R.; SCHOBBENS, PIERRE-YVES;RODRIGUES, GENAINA N.. Evolution-aware Product-Line Reliability Analysis. 2020. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

Aluno: Leone Parise Vieira da Silva e Rajiv Geeverghese

RIBEIRO, E. O.;RODRIGUES, G. N.RALHA, C. G.. Implementação de uma Plataforma de Desenvolvimento de Sistema Multiagente com Abordagem Peer-to-Peer. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Rafael Liu Santos

ALVES, V. R.RODRIGUES, G. N.; ALBUQUERQUE, F.. Emprego de Test-Drven Development no Desenvolvimento de Aplicações. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Vinicius Uriel Cardoso Nunes

ALVES, V. R.RALHA, C. G.RODRIGUES, G. N.. Orquestração de Serviços por Meio de Agentes de Software no Domínio de Vida Ambiente-Assistida. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Orientou

Pedro Henriques Nogueira

To be defined; Início: 2024; Dissertação (Mestrado em Informática) - Universidade de Brasília; (Orientador);

Vicene Romeiro de Moraes

To be defined; Início: 2024; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Manoel Vieira Coelho Neto

To be defined; Início: 2023; Dissertação (Mestrado em Informática) - Universidade de Brasília; (Orientador);

Everaldo Silva Júnior

To be defined; Início: 2023; Tese (Doutorado em Informática) - Universidade de Brasília; (Orientador);

Renato Edésio Rodrigues de Paiva

To be defined; Início: 2022; Tese (Doutorado em Informática) - Universidade de Brasília; (Orientador);

Sigfredo Farias Rocha

To be defined; Início: 2021; Tese (Doutorado em Informática) - Universidade de Brasília; (Orientador);

Mateus Oliveira Santos

Implementação de Testes de Comportamento para Ambientes de Simulação de Sistemas Multi-Robôs; Início: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade de Brasília; (Orientador);

Gabriel Brito de França

Modernização da Self-Adaptive Body Sensor Network para o ROS 2; Início: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; (Orientador);

Lurian Correia Lima

Implementação de Skills de Braço Robóticos para Missões Autoadaptativas de Sistemas Multi-Robôs; Início: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Gabriel Frutuoso Pereira Araujo

Trace-Diagnostic for Signal Temporal Properties: An Evolutionary Approach; 2024; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Tess Pappert

Benchmarking Multi-objective Controllers for Self-adaptive Systems; 2024; Dissertação (Mestrado em Institut für Informatik) - Humboldt-Universität Zu Berlin, ; Orientador: Genaina Nunes Rodrigues;

Danilo José Bispo Galvão

An Approach for High-Level Multi-Robot Mission Verification in UPPAAL; 2023; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

João Paulo Costa de Araujo

Enhancing Runtime Monitors of Cyber-Physical Systems using Negative Selection; 2022; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Eric Bernd Gil

MutRoSe: A Goal-Oriented Framework for MissionSpecification and Decomposition of Multi-RobotSystems; 2021; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Marc Carwehl

Non-Intrusive Monitoring of a Self-Adaptive System; 2021; Dissertação (Mestrado em Institut für Informatik) - Humboldt-Universität Zu Berlin, ; Coorientador: Genaina Nunes Rodrigues;

Rafael Fazzolino Pinto Barbosa

Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features; 2020; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Gabriela Félix Solano

A Goal-Oriented Approach to Support the Assurance Process of Self-Adaptive Systems under Uncertainty; 2019; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Ricardo Diniz Caldas

An Architecture to Support Control Theoretical-based Verification of Goal-Oriented Adaptation Engines; 2019; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Caio Batista de Melo

Characterization of Implied Scenarios as Families of Common Behavior; 2018; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Arthur J

R; Farias; Integrating Data Mining into Contextual Goal Modeling to Tackle Context Uncertainties at Design Time; 2017; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Sigfredo Farias Rocha

An Architecture Conformance Process for Software Ecosystems with Heterogeneous Languages; 2017; Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Fabio Leal Barros

Uma Abordagem Usando Features BDD e Modelo de Objetivos para o Desenvolvimento Ágil de Software; 2017; Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Danilo Filgueira Mendonça

Dependability Verification for Contextual-Runtime Goal Modelling; 2015; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Thiago Peixoto dos Reis

Utilização de cenários implícitos para criação de testes baseados em modelos no contexto de sistemas concorrentes; 2015; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Renato Edésio Rodrigues de Paiva

Reconstrução de Visões Arquiteturais de Software por Meio de Técnicas de Análise Estática; 2015; Dissertação (Mestrado em PPGA) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Gabriel Siqueira Rodrigues

Uma Abordagem para Monitoramento e Planejamento de Objetivos para Sistemas Auto-Adaptativos; 2015; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Alexandre Vaz Roriz

Uma metodologia de Análise do Impacto de Cenários Implícitos na Confiabilidade de Sistemas Computacionais; 2015; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Andrei Lima Queiroz

UMA SOLUÇÃO DE SOFTWARE DE ASSINATURA DIGITAL DE DOCUMENTOS PARA INSTITUIÇÃO DE ENSINO BRASILEIRA; 2014; Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília, ; Orientador: Genaina Nunes Rodrigues;

Vinícius Uriel Cardoso

Gerenciamento Automático de Variabilidade com Qualidade Controlada em Linha de Produtos de Software; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, ; Coorientador: Genaina Nunes Rodrigues;

Paula Gabriela Fernandes

Um Método para Gerenciar Variabilidade com Qualidade Controlada em Linha de Produtos de Software Dinâmica; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, ; Coorientador: Genaina Nunes Rodrigues;

Gabriel Siqueira Rodrigues

Engineering Multi-Robot Mission Coordination in the Service Robot Domain; 2025; Tese (Doutorado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Felipe Pontes Guimarães

Uma arquitetura para composição descentralizada e tolerante a falhas para serviços in-the-wild; 2017; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, ; Coorientador: Genaina Nunes Rodrigues;

André Luiz Peron Martins Lanna

Feature-Family-Based Reliability Analysis of Software Product Lines; 2017; Tese (Doutorado em Informática) - Universidade de Brasília, ; Coorientador: Genaina Nunes Rodrigues;

Renato Navajas

Uma Proposta de Gerenciamento de Atualizações de Segurança (patches); 2010; Monografia; (Aperfeiçoamento/Especialização em Gestão de Segurança da Informação e Comunicações) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Matheus Bastos Neves

FUNDAMENTOS PARA A EXTRAÇÃO AUTOMÁTICA DE PASSOS PARA CODIFICAÇÃO A PARTIR DA DESCRIÇÃO DA ARQUITETURA DO SOFTWARE E PADRÕES; 2009; Monografia; (Aperfeiçoamento/Especialização em Especialização em Informática) - Universidade Federal de Minas Gerais; Orientador: Genaina Nunes Rodrigues;

Alline Santos Ferreira

Um estudo de processo de teste de segurança; 2008; Monografia; (Aperfeiçoamento/Especialização em Especialização em Informática) - Universidade Federal de Minas Gerais; Orientador: Genaina Nunes Rodrigues;

Kálley Wilkerson Rodrigues Alexandre

Integração do Simulador HMR Sim com o Middleware ROS 2; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Pedro Augusto Ramalho Duarte

DEVS2BDD: Um arcabouço para a geração de casos de testes BDD no simulador MS4Me; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Alex Nascimento Souza

Estudo de comportamento de usuários de um app:transição de Freemium para Premium; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Gabriel Levi Gomes da Silva

Provendo a fórmula paramétrica composicional como um serviço no PiStarGODA-MDP; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Frederico Pinheiro Dib

Biblioteca de geração automática de testes de regressão a partir do log de execução de aplicações SaaS; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Giovanni Meneguette Guidini e Cristiane Naves Cardoso

Desenvolvimento e Teste da Ferramenta HMR Sim; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Samuel Andrade do Couto

Monitoramento de Propriedades Tempo Real: Um Estudo de Caso na Body Sensor Network; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Ícaro Nery Rezende e Heitor L

Belém; BDD-CLI: Um arcabouço para geração automática de artefatos de testes unitários de software; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Gabriel Frutuoso Pereira Araujo

Simulation and Execution of Dynamic Behavior Trees in the Service Robots Context; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Manoel Vieira Coelho Neto

GM2MS4: A Transformation tool from Goal-Oriented Models to System-of-Systems mission simulation; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Léo Moraes da Silva

O uso do multi-sensorialismo e adaptabilidade paraimersão de leitores em storytelling; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Nicholas N

Marques e Rafael A; Fernandes; Um Arcabouço para a Geração Automatizada de Testes Funcionais a partir de Cenários BDD; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Gabriel Nunes Ribeiro Silva

Desenvolvimento de um Analisador de Corretude do Modelo Orientado a Objetivos do GODA; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Eric Bernd Gil

Verificação, Prototipação e Análise de Estratégias de Escalonamento e Controle para Sistemas Auto-Adaptativos Tempo Real; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Leandro Santos Bergmann

piStar-GODA: Integração entre os projetos piStar e GODA; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Ricardo Diniz Caldas

Prototipação e Verificação Formal de Sistema Autônomo com Propriedades Tempo-Real: Um estudo de caso no Body Sensor Network; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

João Paulo C

de Araújo; An OSGi Implementation for Autonomous Goal-Oriented Deployment; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Pedro Paulo Struck Lima

Interoperabilidade entre a biblioteca UnB-DALi e ferramentas UML; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Jeferson Leandro da Silva

Abílio Esteves Calegário de Oliveira

UnB-DALi: Biblioteca Para Transformação De Modelos Em Análise De Dependabilidade; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Gabrielly Ferreira Leonardo de Lima

Estudo de mapeamento sistemático em dependabilidade e métodos ágeis: uma reprodução de estudo; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Gabriela Félix Solano

Verificando a Boa Formação de Modelos GODA; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Naiara Watanabe

Uma proposta de modelagem orientada a personas para o modelo de objetivo orientado a contexto; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Lucas Fernandes Braga Moura

Estudo Exploratório sobre o Impacto acerca da Interrupção e Indisponibilidade dos Serviços de TI oferecidos pelo CPD sobre as Atividades de Pesquisa e Administrativas da UnB; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Filipe Ponte Lima

Uma Proposta para Otimização do Processo de Análise de Cenários Implícitos; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Paulo Ricardo Xavier Giusti

Estudo Sobre o Comportamento de Usuários em Redes Sociais sob um Modelo Computacional de Atenção Visual; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Túlio César de Araújo Porto

Uma Abordagem Exploratória de Análise de Dependabilidade no Contexto do Observatório da Web; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Leornado de Sousa Melo e Felipe de Carvalho Gules

Utilização de Técnicas de Inspeção e Monitoramento no Observatório da Web; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Renato dos Santos Leal e Artur de Azevedo Braga

Estudo sistemático em dependabilidade e métodos ágeis: uma análise de falhas e defeitos; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Felipe Vasconcelos de Souza

Estudo Exploratório da Aplicação da Biblioteca ITIL no Gerenciamento de Mudanças em uma Instituição Financeira; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Daniele Vieira Ferreira

Redes Sociais e Atenção Visual; 2012; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Pedro Cunha Rêgo Célestin

Cenários Implícitos e metodologias para análise de dependabilidade em sistemas computacionais; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Jefferson Leandro da Silva

Gerenciamento de Work?ows Científicos em Nuvens Computacionais Federadas; 2012; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Alexandre Lins de Albuquerque Andrade

Uma Ferramenta de Geração de Grafos de Proveniência para Bioinformática; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Leonardo Costa Santiago

Estudo Exploratório de Requisitos de Dependabilidade em Sistema Multi-Robôs; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Diego de Aquino Soares e Lino Salvatore Bordin Insfrán

Estudo exploratório utilizando uma modelagem com notação BPMN em um processo de Engenharia de Requisitos; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Júlio Cesar Júnior e David da Silva Araújo

Uma Proposta de Reuso Sistemático ao Observatório da Web na Etapa de Coleta de Dados; ; 2011; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Bruno Alves Pinheiro e Bruno de Oliveira Silva

Uma Abordagem Exploratória da Dependabilidade do Twitter no Contexto do Observatório da Web; 2011; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Renato Franklin

Análise de Dependabilidade em Vida Ambiente Assistida; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Diogo de Assis Figueira Silva

Estudo de Viabilidade de Análise de Confiabilidade em Fluxos de Trabalho para Sistemas Computacionais em Grade; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Genaina Nunes Rodrigues;

Talles Henriques Espindola

Ambientes do monitoramento de falhas de componentes no contexto da Web; 2010; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Genaina Nunes Rodrigues;

Marcos Vinícius Siilva Godinho e Gabriel Siqueira Rodrigues

Um Estudo de Caso para a Avaliação do SCRUM sob a Óptica do MPS; BR Nível G; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Caio Otávio Peluti Alencar

Implementação do Ambiente de Integração da Modelagem e Execução de Missões Robóticas; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; Orientador: Genaina Nunes Rodrigues;

Vicente Romeiro de Moraes

Explorando Contextos Dinâmicos em Ambientes de Multi-robôs; 2022; Iniciação Científica; (Graduando em Engenharia Mecatrônica) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; Orientador: Genaina Nunes Rodrigues;

Samuel Andrade Couto

Explorando a Compreensão da Visão Arquitetural de Sistemas Auto-Adaptativos; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; Orientador: Genaina Nunes Rodrigues;

Alex Nascimento Souza

Análise e extração de informações de Artefatos BDD para a geração de perfil operacional de software; 2020; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Beatriz Chiarelli dos Santos

Implementação e Avaliação de Nova Política de Qualidade de Serviços na Plataforma GOALD; 2020; Iniciação Científica; (Graduando em Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Carlos Eduardo Taborda Lottermann

Explorando Contextos Dinâmicos no Estudo de Caso da Body Sensor Network; 2020; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; Orientador: Genaina Nunes Rodrigues;

Hugo Pereira Rezende

Implementação do Planejamento de Deployment em múltiplos dispositivos no GoalD; 2020; Iniciação Científica; (Graduando em Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Marco Antônio Souza de Athayde

Estudo de protocolos de comunicação em rede para extensão do Framework GoalD a sistemas distribuídos; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Adriano Souza Brandão

Implementação do protocolo de comunicação distribuída do framework GOALD; 2019; Iniciação Científica; (Graduando em Engenharia de Redes de Comunicações) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Léo Moras da Silva

Implementação de um Ambiente de Simulação de Sistemas Autônomos para o Estudo de Caso da Body Sensor Network; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Gabriel Levi Gomes da Silva

Implementação de Microserviços para o Estudo de Caso da Body Sensor Network; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Yan Victor dos Santos

Analise de Dependabilidade Dirigida à Modelagem Orientada a Objetivos; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Caio Batista de Melo

Analise de Dependabilidade Orientada à Detecção de Cenários Implícitos; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Pedro Henrique Santos Gonzaga

Analise de Dependabilidade Orientada a Objetivos Pragmáticos; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Eduardo Bezerra Rufino Ferreira Paiva

Explorando Análise de Dependabilidade em Sistemas Multi-Robôs; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Genaina Nunes Rodrigues;

Victor Mendes Monteiro

João Henrique Gonçalves de Sousa

Uma Abordagem Dirigida a Modelos para Integrar Técnicas de Modelagem e Análise de Confiabilidade; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Felipe Rodopoulos de Oliveira

Integração de Workflow Científico em Nuvens Computacionais; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Leonardo de Sousa Melo

Dashboard de Qualidade de Serviços do Observatório da Web; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Alexandre Silva Dantas

Adequação do modelo de reputação do Observe-UnB; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Jefferson Leandro

Especificação e Modelagem de um Protótipo de Workflow Científico Confiável em Nuvens Computacionais; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Pedro Cunha Rêgo Célestin

Análise do Impacto de Cenários Implícitos na Confiabilidade de Sistemas Computacionais; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Genaina Nunes Rodrigues;

Pedro Rego Celestin

Definição de Metodologia de Análise de Dependabilidade em Ambientes Dinâmicos; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Genaina Nunes Rodrigues;

Produções bibliográficas

COSTA DE ARAUJO, JOÃO PAULO ; Rodrigues, Genaína Nunes ; CARWEHL, MARC ; VOGEL, THOMAS ; GRUNSKE, LARS ; CALDAS, RICARDO ; PELLICCIONE, PATRIZIO . Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach. IEEE SOFTWARE , v. 41, p. 43-51, 2024.
CALINESCU, RADU ; IMRIE, CALUM ; MANGAL, RAVI ; Rodrigues, Genaína Nunes ; P'S'REANU, CORINA ; SANTANA, MISAEL ALPIZAR ; VÁZQUEZ, GRICEL . Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. Ieee Transactions On Software Engineering , v. 50, p. 1374-1395, 2024.
CALDAS, RICARDO ; PIÑERA GARCÍA, JUAN ANTONIO ; SCHIOPU, MATEI ; PELLICCIONE, PATRIZIO ; RODRIGUES, GENAÍNA ; BERGER, THORSTEN . Runtime Verification and Field-based Testing for ROS-based Robotic Systems. Ieee Transactions On Software Engineering , v. 50, p. 2544-2567, 2024.
VOGEL, THOMAS ; CARWEHL, MARC ; Rodrigues, Genaína Nunes ; GRUNSKE, LARS . A property specification pattern catalog for real-time system verification with UPPAAL. INFORMATION AND SOFTWARE TECHNOLOGY , v. 154, p. 107100, 2023.
GIL, ERIC BERND ; Rodrigues, Genaína Nunes ; PELLICCIONE, PATRIZIO ; CALINESCU, RADU . Mission specification and decomposition for multi-robot systems. ROBOTICS AND AUTONOMOUS SYSTEMS , v. 163, p. 104386, 2023.
SILVA, GEOVANA RAMOS SOUSA ; Rodrigues, Genaína Nunes ; CANEDO, EDNA DIAS . A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 29, p. 805-835, 2023.
WEYNS, DANNY ; CALINESCU, RADU ; MIRANDOLA, RAFFAELA ; TEI, KENJI ; ACOSTA, MARIBEL ; BENNACEUR, AMEL ; BOLTZ, NICOLAS ; BURES, TOMAS ; CAMARA, JAVIER ; DIACONESCU, ADA ; ENGELS, GREGOR ; GERASIMOU, SIMOS ; GEROSTATHOPOULOS, ILIAS ; GETIR YAMAN, SINEM ; GRASSI, VINCENZO ; HAHNER, SEBASTIAN ; LETIER, EMMANUEL ; LITOIU, MARIN ; MARSSO, LINA ; RODRIGUES, G. N. ; et.al . Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. SOFTWARE ENGINEERING NOTES , v. 48, p. 20-36, 2023.
RODRIGUES, GABRIEL ; CALDAS, RICARDO ; ARAUJO, GABRIEL ; DE MORAES, VICENTE ; RODRIGUES, GENAÍNA ; PELLICCIONE, PATRIZIO . An architecture for mission coordination of heterogeneous robots. JOURNAL OF SYSTEMS AND SOFTWARE , v. 191, p. 111363, 2022.
WEYNS, DANNY ; GEROSTATHOPOULOS, ILIAS ; BUHNOVA, BARBORA ; CARDOZO, NICOLÁS ; CIOROAICA, EMILIA ; DUSPARIC, IVANA ; GRUNSKE, LARS ; JAMSHIDI, POOYAN ; JULIEN, CHRISTINE ; MICHAEL, JUDITH ; MORENO, GABRIEL ; NEJATI, SHIVA ; PELLICCIONE, PATRIZIO ; QUIN, FEDERICO ; RODRIGUES, GENAINA ; SCHMERL, BRADLEY ; VIEIRA, MARCO ; VOGEL, THOMAS ; WOHLRAB, REBEKKA . Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. SOFTWARE ENGINEERING NOTES , v. 47, p. 18-24, 2022.
PORTELLA, GUSTAVO JARDIM ; Rodrigues, Genaina Nunes ; NAKANO, EDUARDO YOSHIO ; BOUKERCHE, AZZEDINE ; MELO, ALBA CRISTINA MAGALHAES . A Novel Statistical and Neural Network Combined Approach for the Cloud Spot Market. IEEE TRANSACTIONS ON CLOUD COMPUTING , v. 11, p. 278-290, 2021.
PORTELLA, GUSTAVO ; RODRIGUES, GENAINA N. ; NAKANO, EDUARDO ; MELO, ALBA C.M.A. . Statistical analysis of Amazon EC2 cloud pricing models. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 31, p. e4451, 2019.
DE FIGUEIREDO, MARCO ANTONIO C. ; DE OLIVEIRA SANDES, EDANS F. ; RODRIGUES, GENAINA N. ; TEODORO, GEORGE L. M. ; DE MELO, ALBA CRISTINA M. A. . MASA-OpenCL: Parallel pruned comparison of long DNA sequences with OpenCL. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 31, p. e5039, 2019.
RODRIGUES, GABRIEL S. ; GUIMARÃES, FELIPE P. ; RODRIGUES, GENAÍNA N. ; KNAUSS, ALESSIA ; DE ARAÚJO, JOÃO PAULO C. ; ANDRADE, HUGO ; ALI, RAIAN . GoalD: A Goal-Driven Deployment Framework for Dynamic and Heterogeneous Computing Environments. INFORMATION AND SOFTWARE TECHNOLOGY , v. 111, p. 159-176, 2019.
RODRIGUES, ARTHUR ; Rodrigues, Genaína Nunes ; KNAUSS, ALESSIA ; ALI, RAIAN ; ANDRADE, HUGO . Enhancing Context Specifications for Dependable Adaptive Systems: A Data Mining Approach. INFORMATION AND SOFTWARE TECHNOLOGY , v. 112, p. 115-131, 2019.
DE MELO, CAIO BATISTA ; CANÇADO, ANDRÉ LUIZ FERNANDES ; Rodrigues, Genaína Nunes . Characterization of Implied Scenarios as Families of Common Behavior. JOURNAL OF SYSTEMS AND SOFTWARE , p. 110425, 2019.
LANNA, ANDRÉ ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAINA ; SCHOBBENS, PIERRE-YVES ; APEL, SVEN . Feature-family-based reliability analysis of software product lines. INFORMATION AND SOFTWARE TECHNOLOGY , v. 94, p. 59-81, 2018.
PESSOA, LEONARDO ; FERNANDES, PAULA ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAÍNA N. ; CARVALHO, HERVALDO . Building reliable and maintainable Dynamic Software Product Lines: An investigation in the Body Sensor Network domain. Information and Software Technology , v. 86, p. 54-70, 2017.
GUIMARAES, F. P. ; RODRIGUES, G. N. ; ALI, R. ; BATISTA, D. M. . Planning runtime software adaptation through pragmatic goal model. DATA & KNOWLEDGE ENGINEERING , v. 109, p. 25-40, 2017.
LEITE, A. F. ; ALVES, V. ; RODRIGUES, G. N. ; TADONKI, C. ; EISENBEIS, C. ; MELO, A. C. M. A. . Dohko: an autonomic system for provision, configuration, and management of inter-cloud environments based on a software product line engineering method. Cluster Computing-The Journal of Networks Software Tools and Applications , v. 20, p. 1951-1976, 2017.
MENDONÇA, DANILO FILGUEIRA ; NUNES RODRIGUES, GENAÍNA ; ALI, RAIAN ; Alves, Vander ; BARESI, LUCIANO . GODA: A goal-oriented requirements engineering framework for runtime dependability analysis. Information and Software Technology , v. 80, p. 245-264, 2016.
LARANJEIRA, L. ; RODRIGUES, G. N. . Border Effect Analysis for Reliability Assurance and Continuous Connectivity of Wireless Sensor Networks in the Presence of Sensor Failures. IEEE Transactions on Wireless Communications , v. 13, p. 4232-4246, 2014.
GUIMARAES, FELIPE PONTES ; CÉLESTIN, PEDRO ; BATISTA, DANIEL MACEDO ; Rodrigues, Genaína Nunes ; DE MELO, ALBA CRISTINA MAGALHAES ALVES . A Framework for Adaptive Fault-Tolerant Execution of Workflows in the Grid: Empirical and Theoretical Analysis. Journal of Grid Computing , v. 12, p. 127-151, 2014.
RODRIGUES, G. N. ; ALVES, V. R. ; Silveira, Renato ; LARANJEIRA, L. . Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study. The Journal of Systems and Software , v. 85, p. 112-131, 2012.
NUNES RODRIGUES, GENAÍNA ; Joel Tavares, Carlos ; Watanabe, Naiara ; ALVES, CARINA ; ALI, RAIAN . A Persona-Based Modelling for Contextual Requirements. Lecture Notes in Computer Science. 0ed.: Springer International Publishing, 2018, v. 10753, p. 352-368.
Pontes Guimaraes, Felipe ; Nunes Rodrigues, Genaina ; Macedo Batista, Daniel ; ALI, RAIAN . Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach. Lecture Notes in Computer Science. 0ed.: Springer International Publishing, 2015, v. , p. 50-64.
Rodrigues, Genaína Nunes ; Roberts, Graham ; Emmerich, Wolfgang . Reliability Support for the Model Driven Architecture. In: Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky. (Org.). Lecture Notes in Computer Science. IIed.Berlin/Heidelberg: Springer Berlin Heidelberg, 2004, v. 3069, p. 79-98.
FENG, NICK ; MARSSO, LINA ; GETIR YAMAN, SINEM ; BAATARTOGTOKH, YESUGEN ; AYAD, REEM ; DE MELLO, VICTORIA OLDEMBURGO ; TOWNSEND, BEVERLEY ; STANDEN, ISOBEL ; STEFANAKOS, IOANNIS ; IMRIE, CALUM ; Rodrigues, Genaina Nunes ; CAVALCANTI, ANA ; CALINESCU, RADU ; CHECHIK, MARSHA . Analyzing and Debugging Normative Requirements via Satisfiability Checking. In: ICSE '24: IEEE/ACM 46th International Conference on Software Engineering, 2024, Lisbon Portugal. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. New York: ACM. p. 1.
CARWEHL, MARC ; IMRIE, CALUM ; VOGEL, THOMAS ; RODRIGUES, GENAÍNA ; CALINESCU, RADU ; GRUNSKE, LARS . Formal Synthesis of Uncertainty Reduction Controllers. In: SEAMS '24: 19th International Symposium on Software Engineering for Adaptive and SelfManaging Systems, 2024, Lisbon AA Portugal. Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. New York: ACM, 2024. p. 2.
CARWEHL, MARC ; VOGEL, THOMAS ; Rodrigues, Genaína Nunes ; GRUNSKE, LARS . Runtime Verification of Self-Adaptive Systems with Changing Requirements. In: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and SelfManaging Systems (SEAMS), 2023, Melbourne. 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2023. p. 104.
KAIHARA, ALEXANDRE M. ; BONDAN, LUCAS ; GONDIM, JOA'O J. C. ; RODRIGUES, GABRIEL S. ; MAROTTA, MARCELO A. ; RODRIGUES, GENAÍNA N. . LST: Testbed Emulado Leve para Redes SDN Aplicado ao Contexto de Seguranc¿a. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2022, Brasil. Anais Estendidos do XL Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC Estendido 2022), 2022. v. 1. p. 41.
KAIHARA, ALEXANDRE M. ; BONDAN, LUCAS ; GONDIM, JOÃO J. C. ; RODRIGUES, GABRIEL S. ; MAROTTA, MARCELO A. ; RODRIGUES, GENAÍNA N. . LST 2.0: Testbed Emulado Baseado em Contêineres para Redes SDN Seguras. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2022, Brasil. Anais Estendidos do XXII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg Estendido 2022), 2022. v. 1. p. 111.
GIL, ERIC BERND ; CALDAS, RICARDO ; RODRIGUES, ARTHUR ; DA SILVA, GABRIEL LEVI GOMES ; Rodrigues, Genaina Nunes ; PELLICCIONE, PATRIZIO . Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain. In: 2021 International Symposium on Software Engineering for Adaptive and SelfManaging Systems (SEAMS), 2021, Madrid. 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021. v. 1. p. 224-7.
CALDAS, RICARDO DINIZ ; RODRIGUES, ARTHUR ; GIL, ERIC BERND ; Rodrigues, Genaína Nunes ; VOGEL, THOMAS ; PELLICCIONE, PATRIZIO . A hybrid approach combining control theory and AI for engineering self-adaptive systems. In: SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and SelfManaging Systems, 2020, Seoul Republic of Korea. Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. New York: ACM, 2020. p. 9.
FELIX SOLANO, GABRIELA ; DINIZ CALDAS, RICARDO ; Nunes Rodrigues, Genaina ; VOGEL, THOMAS ; PELLICCIONE, PATRIZIO . Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. In: 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and SelfManaging Systems (SEAMS), 2019, Montreal. 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019. p. 89.
RODRIGUES, G. N. ; TAVARES, C. J. ; WATANABLE, N. ; ALVES, C. ; ALI, R. . A Persona-based Modelling for Contextual Requirements. In: 24th International Working Conference on Requirements Engineering: Foundations for Software Quality, 2018, Utrecht. Proceeding of the 24th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ' 18), 2018. p. 352-368.
RODRIGUES, ARTHUR ; CALDAS, RICARDO DINIZ ; Rodrigues, Genaína Nunes ; VOGEL, THOMAS ; PELLICCIONE, PATRIZIO . A learning approach to enhance assurances for real-time self-adaptive systems. In: the 13th International Conference, 2018, Gothenburg. Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18. New York: ACM Press, 2018. p. 206-11.
FAZZOLINO, RAFAEL ; DE FARIA, HENRIQUE MEDRADO ; AMARAL, LUIS HENRIQUE VIEIRA ; CANEDO, EDNA DIAS ; Rodrigues, Genaína Nunes ; BONIFÁCIO, RODRIGO . Assessing Agile Testing Practices for Enterprise Systems. In: the III Brazilian Symposium, 2018, SAO CARLOS. Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing - SAST '18, 2018. v. 9. p. 29-10.
SIQUEIRA, ELTON SARMANHO ; CASTANHO, CARLA DENISE ; Rodrigues, Genaina Nunes ; JACOBI, RICARDO PEZZOUL . A Data Analysis of Player in World of Warcraft Using Game Data Mining. In: 2017 16th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames), 2017, Curitiba. 2017 16th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames), 2017. p. 1-7.
PAIVA, RENATO ; RODRIGUES, GENAÍNA N. ; BONIFÁCIO, RODRIGO ; LADEIRA, MARCELO . Exploring the combination of software visualization and data clustering in the software architecture recovery process. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. p. 1309.
ELEUTERIO, JANE DIRCE ALVES SANDIM ; GAIA, FELIPE NUNES ; BONDAVALLI, ANDREA ; LOLLINI, PAOLO ; Rodrigues, Genaina Nunes ; RUBIRA, CECILIA MARY FISCHER . On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study. In: 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2016, Limassol. 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). p. 323.
PORTELLA, G. J. ; RODRIGUES, G. N. ; MELO, A. C. M. A. . Análise de Precificação de Recursos Utilizados em Computação em Nuvem. In: XVII Simpósio em Sistemas Computacionais de Alto Desempenho, 2016, Aracaju, SE. Anais do XVII Simpósio em Sistemas Computacionais de Alto Desempenho, 2016.
LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; Rodrigues, Genaina Nunes ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Autonomic Provisioning, Configuration, and Management of Inter-cloud Environments Based on a Software Product Line Engineering Method. In: 2016 International Conference on Cloud and Autonomic Computing (ICCAC), 2016, Augsburg. 2016 International Conference on Cloud and Autonomic Computing (ICCAC), 2016. p. 72.
RODRIGUES, GENAINA N. ; Alves, Vander ; NUNES, VINICIUS ; LANNA, ANDRE ; CORDY, MAXIME ; SCHOBBENS, PIERRE-YVES ; SHARIFLOO, AMIR MOLZAM ; LEGAY, AXEL . Modeling and Verification for Probabilistic Properties in Software Product Lines. In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), 2015, Daytona Beach Shores. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering. p. 173.
GUIMARAES, F. P. ; RODRIGUES, G. N. ; BATISTA, D. M. ; ALI, R. . Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modeling and Analysis Approach. In: 34th International Conference on Conceptual Modeling (ER 2015), 2015, Estocolmo. Proceedings of 34th International Conference on Conceptual Modeling, 2015. v. 9381. p. 50-64.
LEITE, ALESSANDRO FERREIRA ; Alves, Vander ; Rodrigues, Genaina Nunes ; TADONKI, CLAUDE ; EISENBEIS, CHRISTINE ; MELO, ALBA CRISTINA MAGALHAES ALVES DE . Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. In: 2015 IEEE 8th International Conference on Cloud Computing (CLOUD), 2015, New York City. 2015 IEEE 8th International Conference on Cloud Computing, 2015. p. 726.
MENDONÇA, DANILO F. ; ALI, RAIAN ; RODRIGUES, GENAÍNA N. . Modelling and analysing contextual failures for dependability requirements. In: the 9th International Symposium, 2014, Hyderabad. Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2014. New York: ACM Press. p. 55.
RORIZ, ALEXANDRE VAZ ; Rodrigues, Genaina Nunes ; Laranjeira, Luiz A. . Analysis of the Impact of Implied Scenarios on the Reliability of Computational Concurrent Systems. In: 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2014, Maceio. 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse. p. 105.
FERREIRA, D. V. ; AKAMINE, W. ; RODRIGUES, G. N. ; FARIAS, M. . Um Estudo Sobre o Impacto da Atenção Visual nas Redes Sociais. In: Brazilian Workshop on Social Network Analysis and Mining (Brasnam/CSBC 2013), 2013, Maceió, AL. Anais do XXXIII Congresso da Sociedade Brasileira de Computação, 2013.
MENDONCA, DANILO FILGUEIRA ; Rodrigues, Genaina Nunes ; FAVACHO, ALETEIA ; HOLANDA, MARISTELA . A Systematic Mapping Study on Service Oriented Computing in the Context of Quality of Services. In: 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2013, Brasília. 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse. v. 7. p. 39.
LEMOS, JOÃO ; ALVES, CARINA ; DUBOC, LETICIA ; Rodrigues, Genaina Nunes . A systematic mapping study on creativity in requirements engineering. In: the 27th Annual ACM Symposium, 2012, Trento. Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12. New York: ACM Press. p. 1083-1088.
Laranjeira, Luiz A. ; Rodrigues, Genaina Nunes . Extending the Reliability of Wireless Sensor Networks through Informed Periodic Redeployment. In: 2012 6th International Conference on Software Security and Reliability (SERE), 2012, Gaithersburg. 2012 IEEE Sixth International Conference on Software Security and Reliability. p. 167.
NUNES, VINICIUS ; FERNANDES, PAULA ; Alves, Vander ; RODRIGUES, GENAINA . Variability Management of Reliability Models in Software Product Lines: An Expressiveness and Scalability Analysis. In: 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2012, Natal. 2012 Sixth Brazilian Symposium on Software Components, Architectures and Reuse. p. 51.
SILVA, L. P. V. ; GEEVERGHESE, R. ; RIBEIRO, E. O. ; RODRIGUES, G. N. ; RALHA, C. G. . A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications. In: Software Engineering and Knowledge Engineering, 2011, Miami. Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering, 2011. p. 1-6.
MARINHO, EULER H. ; MENDONCA, ALYSSON A. ; RODRIGUES, GENAINA N. ; Alves, Vander ; BONIF´CIO, RODRIGO . Exploring Architecture-Based Reliability Analysis of Current Multi-layered Web Applications. In: 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2011, Sao Paulo. 2011 Fifth Brazilian Symposium on Software Components, Architectures and Reuse. p. 51.
Rodrigues, Genaina Nunes ; Alves, Vander ; FRANKLIN, RENATO ; LARANJEIRA, LUIZ . Dependability Analysis in the Ambient Assisted Living Domain: An Exploratory Case Study. In: 2010 IV Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2010, Salvador. 2010 Fourth Brazilian Symposium on Software Components, Architectures and Reuse. p. 150-159.
VIANA, I. ; PALOTTI, J. ; RODRIGUES, G. N. ; ALMEIDA, J. ; ALMEIDA, V. A. F. . Modelagem de Desempenho de Plataformas Servidoras Multi-Camadas. In: SBRC, 2009, Recife. XVII Simpósio Brasileiro de Redes de Computadores, 2009. v. 27.
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; UCHITEL, S. . Reliability Prediction in Model Driven Development. In: International Conference On Model Driven Engineering Languages and Systems, 2005, Jamaica. Proceedings of the 8th ACM/IEEE MoDELS, 2005. p. 339-354.
RODRIGUES, GENAÍNA N. ; ROSENBLUM, DAVID S. ; UCHITEL, SEBASTIAN . Sensitivity analysis for a scenario-based reliability prediction model. In: the 2005 workshop, 2005, St. Louis. Proceedings of the 2005 workshop on Architecting dependable systems - WADS '05. New York: ACM Press. v. 30. p. 1-5.
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; UCHITEL, S. . Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In: Fundamental Approaches to Software Engineering, 2005, Edimburgo. Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science, 2005. v. 3442. p. 111-126.
RODRIGUES, G. N. ; EMMERICH, W. ; ROBERTS, G. ; SKENE, J. . Reliability Support for the Model Driven Architecture. In: Workshop on Software Architectures for Dependable Systems (ICSE-WADS), 2003, Portland. Proceedings of Workshop on Software Architectures for Dependable Systems (ICSE-WADS, 2003. p. 7-12.
RODRIGUES, G. N. ; FERRAZ, C. A. G. ; CAVALCANTE, S. V. . A CORBA-Based Surrogate Model on IP Networks. In: Simposio Brasileiro em Redes de Computadores, 2003, Natal. Anais do XXI Simposio Brasileiro em Redes de Computadores, 2003. p. 379-394.
CALINESCU, RADU ; Rodrigues, Genaína Nunes . Goal Controller Synthesis for Self-Adaptive Systems. In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023, Melbourne. 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023. p. 1.
PORTELLA, GUSTAVO ; NAKANO, EDUARDO ; RODRIGUES, GENAINA N. ; MELO, ALBA C.M.A. . Utility-Based Strategy for Balanced Cost and Availability at the Cloud Spot Market. In: 2019 IEEE 12th International Conference on Cloud Computing (CLOUD), 2019, Milan. 2019 IEEE 12th International Conference on Cloud Computing (CLOUD), 2019. p. 214.
NUNES, V. U. C. ; MENDONCA, D. F. ; RODRIGUES, G. N. ; ALVES, V. . Towards Compositional Approach for Parametric Model Checking in Software Product Lines. In: Workshop on Dependability in Adaptive and Self-Managing Systems (WDAS) in conjunction with the Latin American Symposium on Dependable Computing, 2013, Rio de Janeiro. Proceedings of 1st Internation Workshop on Dependable Self-Adaptive Systems, 2013. p. 19-22.
SALDANHA, H. V. ; RIBEIRO, E. O. ; HOLANDA, M. ; ARAUJO, A. ; RODRIGUES, G. N. ; WALTER, M. E. . A Cloud Architecture for Bioinformatics Workflows. In: CLOSER, 2011, Noordwijkerhout. Proceedings of the 1st International Conference on Cloud Computing and Services Science - CLOSER 2011, 2011, Noordwijkerhout. Lisboa: INSTICC, 2011. p. 1-7.
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; WOLF, J. . Reliability Analysis of Concurrent Systems using LTSA. In: International Conference on Software Engineering, 2007, Minnesota. Proceedings of 29th ICSE - Companion Volume, 2007. p. 63-64.
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; EMMERICH, W. . A Model Driven Approach for Software Systems Reliability. In: International Conference on Software Engineering, 2004, Edimburgo. Proceedings of 26th ICSE, 2004. p. 30-32.
LANNA, ANDRE ; CASTRO, THIAGO ; Alves, Vander ; RODRIGUES, GENAINA ; SCHOBBENS, PIERRE-YVES ; APEL, SVEN . Feature-family-based reliability analysis of software product lines. In: the 23rd International Systems and Software Product Line Conference, 2019, Paris. Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC '19. New York: ACM Press, 2019. p. 1.
Nunes Rodrigues, Genaina . Modeling, Verifying and Architecting Self-Adaptive Software Intensive Systems: A Software Engineering Approach. 2024. (Apresentação de Trabalho/Seminário).
RODRIGUES, G. N. . Explorations in Modelling, Verifying and Architecting Self-Adaptive Software Intensive System. 2023. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, G. N. . Modelling, Verifying and Architecting Self-Adaptive Software Intensive System. 2023. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, GENAÍNA N. . Our Recent Findings in Modleling and Architecting Multi-Robot Systems Missions. 2022. (Apresentação de Trabalho/Seminário).
RODRIGUES, GENAÍNA N. . Stick to your goals to reach out for self-adaptation. 2021. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, GENAÍNA N. . Stick to your goals to reach out for self-adaptation. 2021. (Apresentação de Trabalho/Outra).
RODRIGUES, G. N. . Panel: Ethics and living in a multicultural community at ICSE/NFS. 2020. (Apresentação de Trabalho/Conferência ou palestra).
SOLANO, G. F. ; CALDAS, R. D. ; RODRIGUES, G. N. ; VOGEL, T. ; PELLICCIONE, P. . Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach. 2019. (Apresentação de Trabalho/Simpósio).
RODRIGUES, A. ; CALDAS, R. D. ; RODRIGUES, G. N. ; VOGEL, T. ; PELLICCIONE, P. . A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems. 2018. (Apresentação de Trabalho/Simpósio).
RODRIGUES, G. N. . Coping with the Software Dependability Analysis Leap. 2018. (Apresentação de Trabalho/Seminário).
RODRIGUES, G. N. . Coping with the Software Dependability Analysis Leap. 2018. (Apresentação de Trabalho/Seminário).
RODRIGUES, G. N. ; TAVARES, C. J. ; WATANABLE, N. ; ALVES, C. ; ALI, R. . A Persona-based Modelling for Contextual Requirements.. 2018. (Apresentação de Trabalho/Conferência ou palestra).
PAIVA, RENATO ; RODRIGUES, G. N. ; BONIFACIO, R. ; LADEIRA, M. . Exploring the combination of software visualization and data clustering in the software architecture recovery process. 2016. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, G. N. . Software Reliability and Availability Analysis in Model Driven Engineering. 2012. (Apresentação de Trabalho/Outra).
RODRIGUES, G. N. ; ALVES, V. R. ; FRANKLIN, R. ; LARANJEIRA, L. . Dependability Analysis in the Ambient Assisted Living Domain: an Exploratory Case Study. 2010. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, G. N. . Software Reliability and Availability Analysis in Model Driven Engineering. 2010. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; UCHITEL, S. . Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. 2005. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; UCHITEL, S. . Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. 2005. (Apresentação de Trabalho/Outra).
RODRIGUES, G. N. ; ROSENBLUM, D. S. ; UCHITEL, S. . Reliability Prediction in Model Driven Development. 2005. (Apresentação de Trabalho/Conferência ou palestra).
RODRIGUES, G. N. ; ROBERTS, G. ; EMMERICH, W. ; SKENE, J. . Reliability Support for the Model Driven Architecture. 2004. (Apresentação de Trabalho/Simpósio).
RODRIGUES, G. N. ; ROBERTS, G. ; EMMERICH, W. ; SKENE, J. . Reliability Support for the Model Driven Architecture. 2003. (Apresentação de Trabalho/Outra).

Outras produções

RODRIGUES, GENAINA N. ; CALDAS, R. D. ; SILVA, G. L. G. ; SILVA, L. M. ; GIL, E. B. . Body Sensor Network: An Exemplar in the Self-Adaptive Systems domain. 2019.

RODRIGUES, GENAINA N. ; MENDONÇA, DANILO F. ; FELIX SOLANO, GABRIELA ; ALI, R. . GODA: Goal-Oriented Dependability Analysis Framework. 2018.

RODRIGUES, GENAINA N. ; GIL, E. B. ; RODRIGUES, GABRIEL S. . Recent Explorations in Multi-Robot Systems Design by the LADECIC Group. 2021.

CALINESCU, R. ; Rodrigues, Genaina Nunes . Co-chair do Doctoral Symposium do European Conference on Software Architecture. 2021.

RODRIGUES, G. N. . Program Committee of the Internacional Conference on Software Engineering - NIER. 2018.

RODRIGUES, G. N. . Program Committee of the Internacional Conference on Conceptual Modelling (ER). 2018.

RODRIGUES, G. N. . Comitê de Programa do Simpósio Brasileiro de Componentes Arquiteturas e Reuso. 2018.

RODRIGUES, G. N. . Steering Committe of the Context-aware, Autonomous and Smart Architecture Workshop (CASA). 2018.

RODRIGUES, G. N. . Comitê de Programa do Simpósio Brasileiro de Componentes Arquiteturas e Reuso. 2017.

RODRIGUES, G. N. . Comitê de Programa do WPerformance. 2017.

RODRIGUES, G. N. . Comitê de Programa do VII Brazilian Symposium on Computing Systems Engineering (SBESC). 2017.

RODRIGUES, G. N. . Comitê de programa do Brazilian Workshop on Social Network Analysis and Mining (BraSNAM). 2017.

RODRIGUES, G. N. . Revisor Externo - IDEAS (Conferencia de Ingeniería de Requisitos y Ambientes de Software). 2009.

RODRIGUES, G. N. ; ROSENBLUM, D. S. . Software Reliability and Availability Analysis in Model Driven Engineering. 2010. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

2022 - Atual

Construções de Missões Autoadaptativas de Sistemas Multi-Robôs, Descrição: O principal objetivo do nosso projeto é investigar técnicas, metodologias e processos capazes de fornecer suporte em tempo de design e de execução para a engenharia de missões robóticas construídas com base no conceito de sistemas auto-adaptativos na presença de incertezas. Portanto, com a realização deste projeto, acreditamos que será possível contribuir com um arcabouço voltado para especificação, verificação e coordenação de missões robóticas, aplicando sólidos princípios de engenharia de software. Em uma perspectiva ainda mais ampla, esse arcabouço poderá prover garantias não apenas sobre a especificação e satisfação dos requisitos da missão, mas também sobre a mitigação de incertezas que surgem na execução da missão robótica em tempo de execução.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Genaina Nunes Rodrigues - Coordenador / Ricardo Diniz Caldas - Integrante / Patrizio Pelliccione - Integrante / RODRIGUES, GABRIEL S. - Integrante / Radu Calinescu - Integrante / Gabriel Frutuoso Pereira Araújo - Integrante / Carla Maria Chagas e Cavalcante Koike - Integrante / DE MORAES, VICENTE - Integrante / Carlos Eduardo Taborda Lottermann - Integrante / Caio Otávio Peluti Alencar - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro.
2021 - Atual

PROFISSA - Programmable Future Internet for Secure Software Architectures, Descrição: : Com os recentes avanços em tecnologias voltadas às redes privadas seguras, a quinta geração de telecomunicação (5G) e a Internet das Coisas (IoT), as redes vem presenciando mudanças nos per- fis de uso de forma inesperada com requisitos adversos, como baixa latência, segurança de fluxos ou alta resiliência a qualquer momento. Tais mudanças, quando aplicadas sobre redes programá- veis podem envolver modificações no software desenvolvido para a rede (e.g., P4). Técnicas de engenharia de software podem ser aplicadas para melhorar/agilizar/otimizar o desenvolvimento de software de rede, especialmente quando mudanças no perfil de rede ocorrem. Nesse caso, o projeto PROFISSA é proposto para investigar, mapear e avançar a utilização de técnicas de enge- nharia de software quando aplicadas às redes programáveis no intuito de melhorar a qualidade estrutural, funcional e do processo de desenvolvimento de programas de rede. O projeto proverá um arcabouço de códigos modulares e reutilizáveis de programas de rede desenvolvidos com boas práticas de desenvolvimento. Além disso, os programas de rede desenvolvidos no projeto serão executados em ambientes reais de redes programáveis implementadas sobre um testbed para de- senvolvimento e análise de software de rede. Para tanto, busca-se a integração entre RNP e o projeto FABRIC, para criar ambientes de redes programáveis reais de última geração, levando em consideração, por exemplo, a utilização da programabilidade no plano de dados com a utilização de dispositivos que suportam P4... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Genaina Nunes Rodrigues - Integrante / Lisandro Zambenedetti Granville - Coordenador / Marcelo Antonio Marotta - Integrante / Lucas Bondan - Integrante / Alberto Egon Schaeffer Filho - Integrante / Carlos Alberto Kamienski - Integrante / Carolina Howard Felicíssimo - Integrante / Ingrid Oliveira de Nunes - Integrante / José Ferreira de Rezende - Integrante / João Henrique Kleinschmidt - Integrante / João José Costa Gondim - Integrante / Alex Soares de Moura - Integrante / Iara Machado - Integrante / Julio Ibarra - Integrante / Leandro Neumann Ciuffo - Integrante / Marcos Felipe Schwarz - Integrante / Everaldo Silva Júnior - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2020 - 2023

Trustworthy Runtime Guarantees for Self-Adaptive Software Systems in the Presence of Uncertainties, Descrição: The major objective of our project is to investigate techniques, methodologies and processes capable of providing design- and run-time assurances for self-adaptive systems in the presence of structural and environmental sources of uncertainties.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: Genaina Nunes Rodrigues - Coordenador / Arthur Rodrigues - Integrante / Ricardo Diniz Caldas - Integrante / Thomas Vogel - Integrante / RODRIGUES, GABRIEL S. - Integrante / DE ARAÚJO, JOÃO PAULO C. - Integrante / Lars Grunske - Integrante / Eric Bernd Gil - Integrante / Max Carwehl - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Alexander Von Humboldt-Stiftung/Foundation - Auxílio financeiro.
2019 - 2023

Provision of Quantitative Assurance Evidence for Autonomous Systems in the Presence of Uncertainties, Descrição: This project is a fellowship funded by the Assuring Autonomy International Programme aiming at the establishment of agreed, and evidence-based, means of assuring Robotic and Autonomous Systems (RAS). Specifically, the new autonomous systems verification approach developed as part of the fellowship will provide means of assurance to RAS by tackling structural uncertainty and by accurately modelling and analysing real-life phenomena. The applicability of the approach will be demonstrated for a BSN-based health monitoring system.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) . , Integrantes: Genaina Nunes Rodrigues - Coordenador / RODRIGUES, GABRIEL S. - Integrante / Radu Calinescu - Integrante / Eric Bernd Gil - Integrante / Gabriel Frutuoso Pereira Araújo - Integrante., Financiador(es): University of York - Auxílio financeiro.
2019 - 2022

Um Arcabouço para a Verificação de Dependabilidade de Sistemas Auto-Adaptativos em Contextos Dinâmicos, Descrição: Este projeto visa modelar objetivos (conforme a abordagem de goal models) e ana- lisar sua realização em diferentes contextos. O objetivo é levar em consideração os aspectos de tempo de execução e acomodar as implicações que a informação contextual pode ter na satisfação dos objetivos. Uma vez que a satisfação geral dos objetivos pode ser afetada por restrições de contexto, o projeto visa fornecer um meio para especificar a interação entre contextos e estimar a confiabilidade e segurança crítica (sob a perspectiva de safety) das estratégias para cumprir obje- tivos do sistema dinamicamente em diferentes contextos. Em tempo de execução, o resultado esperado do projeto pode ser utilizado para analisar se o sistema está cumprindo seus objetivos de confiabilidade e segurança crítica. Dessa forma, ao verificar que a confiabilidade obtida está abaixo de um determinado limite, o sistema deve considerar a estratégia (ou as estratégias) disponíveis que fornecem a medida de confiabilidade mais adequada.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Genaina Nunes Rodrigues - Coordenador / ALBA CRISTINA MAGALHÃES ALVES DE MELO - Integrante / Raian Ali - Integrante / Arthur Rodrigues - Integrante / Ricardo Diniz Caldas - Integrante / Patrizio Pelliccione - Integrante / Gabriela Felix Solano - Integrante / Léo Morais da Silva - Integrante / Gabriel Levi Gomes da Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7
2019 - 2022

Verificação em Runtime de Sistemas Auto-Adaptativos em Contextos Dinâmicos, Descrição: Garantir que um sistema autônomo e adaptativo funcione corretamente para todas as condições ambientais representa um grande desafio para a engenharia de software de sistemas autônomos. Tal desafio aponta para a capacidade de garantir ou não, em tempo de projeto, a previsibilidade do comportamento do sistema para todas as condições de contexto, definido na literatura de Engenharia de Software como a reificação do ambiente de execução do software. Uma suposição fundamental em sistemas autônomos é que o ambiente pode se modificar em tempo de execução, o que não deve impedir o sistema de continuar funcionando corretamente. Dessa forma, variações nos contextos podem gerar necessidades de mudanças nas estratégias do sistema, de modo que uma análise precisa de dependabilidade possa ser efetuada. Devido à dificuldade em prever incertezas em tempo de projeto, existem poucos trabalhos que tentam lidar com incerteza nesse estágio. Este projeto visa, portanto, auxiliar o desenvolvimento de sistemas autônomos justificadamente confiáveis. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Genaina Nunes Rodrigues - Coordenador / ALBA CRISTINA MAGALHÃES ALVES DE MELO - Integrante / Patrizio Pelliccione - Integrante / RODRIGUES, ARTHUR - Integrante / RODRIGUES, GABRIEL S. - Integrante / Eric Bernd Gil - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro.
2019 - 2020

Engineering Behavioural Requirements: The Case of Dependability Requirements, Descrição: In this project, we will build on requirements engineering for self-adaptivity and establish foundations and engineering method for the new category of behavioural requirements. We will apply it to dependability requirements owing to the growing need around human factors in systems dependability and trustworthiness. We will coin and advocate the concept ?Dependability as a Behaviour (DaaS) and provide models and methods for elicitation and automated analysis for it.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Genaina Nunes Rodrigues - Integrante / ALI, RAIAN - Coordenador., Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro / Newton Fund UK - Auxílio financeiro.
2013 - 2021

PROCAD: LEAPaD: Laboratório de Estudos Avançados em Sistemas Paralelos e Distribuídos, Descrição: O LEAPaD, acrônimo para Laboratório de Estudos Avançados em Sistemas Paralelos e Distribuídos, se institui de forma a consolidar linhas de atuação ligadas aos programas associados a este projeto, buscando explorar soluções para construção de aplicações e sistemas de gerenciamento e exploração de processamento de alto desempenho em arquiteturas paralelas e distribuídas, tais como FPGAs, ambientes multiprocessados e com GPUs, aglomerados de computadores e de grades e nuvens computacionais... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (8) . , Integrantes: Genaina Nunes Rodrigues - Integrante / ALBA CRISTINA MAGALHÃES ALVES DE MELO - Integrante / Alfredo Goldman vel Lejbman - Coordenador / George Luiz Medeiros Teodoro - Integrante / Gerson Geraldo Homrich Cavalheiro - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2012 - 2016

Uso de Cenários Implícitos no Suporte à Análise de Dependabilidade em Sistemas a Computacionais, Descrição: Cenários são uma forma de representar diferentes visões e abstrações do software e descrevem dois aspectos de uma sistema: (1) um conjunto de traços que se deseja que o sistema exiba, e (2) componentes que irão prover funcionalidades em nível de sistema e suas interfaces, que são as mensagens que esses componentes podem usar para interagir entre si para prover tais funcionalidades. Os traços adicionais que não foram especificados e que são revelados durante a composição do sistema são chamados cenários implícitos (implied scenarios) e são o resultado de se especificar o comportamento de um sistema a partir de uma perspectiva global, porém esperando-se que o sistema seja implementado por entidades independentes (os componentes) com uma visão local do sistema. Do ponto de vista da dependabilidade, a validação de cenários implícitos também é fundamental. Esses cenários podem representar comportamentos que estavam faltando em suas especificações de cenário ou comportamentos indesejados que devem ser evitados. Portanto, a análise de cenários implícitos precisa estar incluída em técncias que realizam a análise de dependabilidade desde os estágios iniciais do ciclo de desenvolvimento de software. Sem se considerar tais cenários, pode-se resultar em sistemas com seus modelos arquiteturais incompletos. Esse projeto tem como objetivo analisar dependabilidade de sistemas computacionais desde os estágios iniciais do ciclo de desenvolvimento de software levando em consideração cenários implicitos. CNPQ Universal faixa A. Processo número 482280/2012-3. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Genaina Nunes Rodrigues - Coordenador / ALBA CRISTINA MAGALHÃES ALVES DE MELO - Integrante / Rami Bahsoon - Integrante / Pedro Célestin - Integrante / Alexandre Vaz Roriz - Integrante / George Luiz Medeiros Teodoro - Integrante / Thiago Peixoto dos Reis - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2
2009 - 2012

Linha de Produtos de Vida Ambiente-Assistida, Descrição: O objetivo de pesquisa é definir o projeto sistemático de Linha Produtos de Software (LPS) considerando explicitamente o requisito não-funcional de dependabilidade. Em particular, esta pesquisa modelará a dependabilidade da LPS e proporá um método para quantificar este requisito nas instâncias da LPS. A pesquisa será direcionada por um problema concreto, em particular, o desenvolvimento de sistemas de detecção e prevenção de emergência no domínio de Vida Ambiente- Assistida.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Genaina Nunes Rodrigues - Integrante / VANDER RAMOS ALVES - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2011

INCT para Web, Descrição: Os Institutos Nacionais de Ciência e Tecnologia deverão ocupar posição estratégica no Sistema Nacional de Ciência e Tecnologia (SNCT) desenvolvendo programas de pesquisas consistentes e prioritários para o desenvolvimento científico e tecnológico e, particularmente, para a sociedade. O INCT para Web é uma rede integrada de pesquisadores de quatro instituições, coordenada pelo prof. Virgilio Almeida, do Departamento de Ciência da Computação da UFMG. A Web é o maior sistema de informação e comunicação já construído, e interfere de forma significativa nas atividades humanas. O INCT Web foi criado para projetar e desenvolver sistemas, tecnologias e aplicações que permitam explorar as possibilidades de uso da Web no futuro de forma benéfica para a sociedade. O INCT Web visa estudar e entender os fundamentos científicos e tecnológicos da Web, bem como suas repercussões sociais, para propor e desenvolver sistemas e tecnologias que poderão compor a Web do futuro.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Genaina Nunes Rodrigues - Integrante / Virgílio A. F. Almeida - Coordenador / Nívio Ziviani - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2006 - 2009

Ubival - Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures, Descrição: The multi-institutional research project UbiVal will develop techniques for engineering and analysis of context-aware, adaptive, mobile ubiquitous computing systems. More precisely, the project will concentrate on testing, model checking, instrumentation and simulation tools for ubiquitous systems. The project will evaluate its technologies and methods on case studies drawn from another WINES project, Cityware, and on systems provided by industrial partners at BT, HP and QinetiQ.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Genaina Nunes Rodrigues - Integrante / David S. Rosenblum - Coordenador / Cecilia Mascolo - Integrante / Marta Z. Kwiatkowska - Integrante / Dan R. Ghica - Integrante / Mark Ryan - Integrante / Naranker Dulay - Integrante / Emil C Lupu - Integrante.

Prêmios

2024

Best paper award at the International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), ACM.

2024

Distinguished paper award at the International Conference on Software Engineering (ICSE), ACM.

2021

Outstanding Reviewer Award in ACSOS'21 (IEEE International Conference on Autonomic Computing and Self-Organizing Systems), IEEE.

2020

Experienced Research Fellow, CAPES/Alexander von Humboldt Foundation (AvH).

2019

Most Influential Paper of SBCARS 2010 (Ten-year impact), SBC.

2019

Honorable Mention to Science Initiation Project of Gabriel Levi Gomes da Silva (PIBIC supervised student), University of Brasilia.

2019

Honorable Mention to Science Initiation Project of Léo Moraes da Silva (PIBIC supervised student), University of Brasilia.

2017

Visiting Professor Scholarship, University of Toulouse Jean Jaurès/IRIT.

2016

Invited WSCAD 2016 paper for CPE journal, SBC.

2016

Invited speaker, Swedish Academic Collaboration Forum, MCTI/CNPq, CAPES.

2015

Among best papers of ER 2015, SPRINGER.

2010

Among best papers of SBCARS 2010, SBC.

2002

Bolsa de Doutorado Pleno no Exterior, CAPES.

Histórico profissional

Endereço profissional

Universidade de Brasília, Departamento de Ciência da Computação. , Instituto de Ciências Exatas - Campus Universitário Darcy Ribeiro, Asa Norte, 70910900 - Brasília, DF - Brasil, Telefone: (61) 31073682, Fax: (61) 32733589, URL da Homepage:

Experiência profissional

2020 - Atual

Humboldt-Universität zu Berlin

Vínculo: , Enquadramento Funcional:

2013 - Atual

Universidade de São Paulo

Vínculo: , Enquadramento Funcional:

2019 - Atual

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Professora Associada, Regime: Dedicação exclusiva.

2019 - Atual

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Coordenadora do Programa Pós-Graduação-PPGI, Regime: Dedicação exclusiva.

2009 - 2019

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

2009 - 2009

Universidade Federal de Minas Gerais

Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista recém-doutor, Regime: Dedicação exclusiva.

Outras informações:
Bolsa de Recem-Doutor do CNPq Processo: 150070/2009-8 Vigencia: 01/02/09 - 31/01/10 Titulo: Abordagens Fundamentais para Integração de Dependabilidade em Processos de Desenvolvimento Baseado em Componentes. Orientacao do Prof. Virgilio Augusto Fernandes Almeida no DCC/UFMG

2008 - 2009

Universidade Federal de Minas Gerais

Vínculo: Bolsista, Enquadramento Funcional: Professora substituta e pesquisadora, Carga horária: 40

Outras informações:
Professora das disciplinas de Dependabilidade em Sistemas Computacionais e Engenharia para turmas de graduação dos cursos de Ciência da Computação, Sistema de Informação e de Engenharia Elétrica da UFMG. Participação do projeto de cooperacao com a Hewlett-Packard HP - Brasil. Nesse projeto investigamos modelos analíticos para a realização de planejamento de capacidades em servidores Web multi-camadas considerando requisitos de disponibilidade.

Atividades

08/2008 - 12/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Dependabilidade em Sistemas Computacionais, Engenharia de Software

2005 - 2005

Queen Mary University of London

Vínculo: Monitoria, Enquadramento Funcional: Monitoria, Carga horária: 16

2007 - 2008

University College of London

Vínculo: Colaborador, Enquadramento Funcional: Bolsista, Carga horária: 20

Outras informações:
Participação no projeto Ubival para a criação e manutenção do site do projeto: http://ubival.cs.ucl.ac.uk/

2003 - 2005

University College of London

Vínculo: Monitoria, Enquadramento Funcional: Monitoria, Carga horária: 20

1998 - 2002

Procuradoria da República no Estado de Pernambuco

Vínculo: Funcionaria, Enquadramento Funcional: Tecnica Informatica, Carga horária: 30

2018 - 2018

Université Toulouse Jean Jaurès

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista, Regime: Dedicação exclusiva.

2020 - Atual

University of York

Vínculo: Professor Visitante, Enquadramento Funcional: Fellowship, Carga horária: 10

Outras informações:
Fellowship at the Assuring Autonomy International Programme (AAIP).