Genaina Nunes Rodrigues http://lattes.cnpq.br/2966913210268454

Última atualização do Lattes: 25.05.2024

Nomes de citação: RODRIGUES, G. N. / Rodrigues, Genaina Nunes / Rodrigues, Genaína Nunes / RODRIGUES, GENAÍNA N. / RODRIGUES, GENAINA / RODRIGUES, GENAINA N. / Nunes Rodrigues, Genaina / NUNES RODRIGUES, GENAÍNA / RODRIGUES, GENAÍNA
  • Software (2)+
    • Ano
      2019
      Título
      Body Sensor Network: An Exemplar in the Self-Adaptive Systems domain
    • Ano
      2018
      Título
      GODA: Goal-Oriented Dependability Analysis Framework
  • Trabalho Técnico (11)+
    • Ano
      2021
      Título
      Recent Explorations in Multi-Robot Systems Design by the LADECIC Group
    • Ano
      2021
      Título
      Co-chair do Doctoral Symposium do European Conference on Software Architecture
    • Ano
      2018
      Título
      Program Committee of the Internacional Conference on Software Engineering - NIER
    • Ano
      2018
      Título
      Program Committee of the Internacional Conference on Conceptual Modelling (ER)
    • Ano
      2018
      Título
      Comitê de Programa do Simpósio Brasileiro de Componentes Arquiteturas e Reuso
    • Ano
      2018
      Título
      Steering Committe of the Context-aware, Autonomous and Smart Architecture Workshop (CASA)
    • Ano
      2017
      Título
      Comitê de Programa do Simpósio Brasileiro de Componentes Arquiteturas e Reuso
    • Ano
      2017
      Título
      Comitê de Programa do WPerformance
    • Ano
      2017
      Título
      Comitê de Programa do VII Brazilian Symposium on Computing Systems Engineering (SBESC)
    • Ano
      2017
      Título
      Comitê de programa do Brazilian Workshop on Social Network Analysis and Mining (BraSNAM)
    • Ano
      2009
      Título
      Revisor Externo - IDEAS (Conferencia de Ingeniería de Requisitos y Ambientes de Software)
Alves, Vander PELLICCIONE, PATRIZIO David S. Rosenblum VOGEL, THOMAS Luiz Augusto Fontes Laranjeira ALI, RAIAN Sebastian Uchitel CALINESCU, RADU Raian Ali RODRIGUES, GABRIEL S. Wolfgang Emmerich Radu Calinescu Ricardo Diniz Caldas RODRIGUES, ARTHUR GRUNSKE, LARS Daniel Macedo Batista MENDONÇA, DANILO F. SCHOBBENS, PIERRE-YVES CARWEHL, MARC CASTRO, THIAGO James Skene Graham Roberts GIL, ERIC BERND CALDAS, RICARDO Patrizio Pelliccione BONIFÁCIO, RODRIGO PAIVA, RENATO Felipe Pontes Guimarães ALVES, CARINA NUNES, VINICIUS André Luiz Peron Martins Lanna FERNANDES, PAULA EDWARD DE OLIVEIRA RIBEIRO Vander Alves NAKANO, EDUARDO MELO, ALBA C.M.A. MAROTTA, MARCELO A. APEL, SVEN KAIHARA, ALEXANDRE M. BONDAN, LUCAS Eric Bernrd Gil GEROSTATHOPOULOS, ILIAS WEYNS, DANNY DE MORAES, VICENTE ANDRADE, HUGO KNAUSS, ALESSIA Vander Ramos Alves IMRIE, CALUM MARSSO, LINA GETIR YAMAN, SINEM PORTELLA, GUSTAVO Rodrigo Bonifácio CARINA ALVES CALDAS, RICARDO DINIZ Carlos Joel Tavares MELO, ALBA CRISTINA MAGALHAES ALVES DE EISENBEIS, CHRISTINE TADONKI, CLAUDE Thomas Vogel LEITE, ALESSANDRO FERREIRA CANEDO, EDNA DIAS Alba Cristina Magalhães Alves de Melo FELIX SOLANO, GABRIELA Naiara Watanable DE MELO, ALBA CRISTINA M. A. Pontes Guimaraes, Felipe Watanabe, Naiara Joel Tavares, Carlos HUGO V SALDANHA Emmerich, Wolfgang Roberts, Graham STEFANAKOS, IOANNIS STANDEN, ISOBEL TOWNSEND, BEVERLEY DE MELLO, VICTORIA OLDEMBURGO AYAD, REEM BAATARTOGTOKH, YESUGEN MARISTELA HOLANDA Aleteia Araujo CHECHIK, MARSHA CAVALCANTI, ANA Macedo Batista, Daniel Célia Ghedini Ralha TEODORO, GEORGE L. M. DE OLIVEIRA SANDES, EDANS F. DE FIGUEIREDO, MARCO ANTONIO C. LANNA, ANDRÉ Christine Eisenbeis Claude Tadonki Alessandro Ferreira Leite CARVALHO, HERVALDO PESSOA, LEONARDO BARESI, LUCIANO MENDONÇA, DANILO FILGUEIRA DE MELO, ALBA CRISTINA MAGALHAES ALVES CÉLESTIN, PEDRO GUIMARAES, FELIPE PONTES Silveira, Renato MARIA EMILIA WALTER FENG, NICK FRANKLIN, RENATO FAVACHO, ALETEIA HOLANDA, MARISTELA RORIZ, ALEXANDRE VAZ CORDY, MAXIME SHARIFLOO, AMIR MOLZAM JACOBI, RICARDO PEZZOUL CASTANHO, CARLA DENISE SIQUEIRA, ELTON SARMANHO LEGAY, AXEL Gustavo J. Portella RUBIRA, CECILIA MARY FISCHER LOLLINI, PAOLO BONDAVALLI, ANDREA GAIA, FELIPE NUNES ELEUTERIO, JANE DIRCE ALVES SANDIM FAZZOLINO, RAFAEL DE FARIA, HENRIQUE MEDRADO MARINHO, EULER H. MENDONCA, ALYSSON A. GONDIM, JOÃO J. C. BONIF´CIO, RODRIGO JOÃO LEMOS GONDIM, JOA'O J. C. DUBOC, LETICIA DA SILVA, GABRIEL LEVI GOMES Vinicius Uriel Cardoso Nunes Danilo Filgueira Mendonça Daniele Vieira Ferreira Wellington Akamine DINIZ CALDAS, RICARDO Mylene Farias AMARAL, LUIS HENRIQUE VIEIRA LADEIRA, MARCELO Gabriel Levi Gomes da Silva Diego Perez Carlos A. G. Ferraz Sérgio Vanderlei Cavalcante Itamar Viana COSTA DE ARAUJO, JOÃO PAULO VÁZQUEZ, GRICEL SANTANA, MISAEL ALPIZAR P'S'REANU, CORINA MANGAL, RAVI CAMARA, JAVIER BURES, TOMAS BOLTZ, NICOLAS BENNACEUR, AMEL ACOSTA, MARIBEL TEI, KENJI MIRANDOLA, RAFFAELA RAIBULET, CLAUDIA Martina de Sanctis Marin Litoiu Marcelo Ladeira Gabriela Felix Solano Jonas Wolf Arthur Rodrigues RENATO FRANKLIN Elisabetta Di Nitto Shinichi Honiden Carlos Eduardo Taborda Lottermann Gabriel Frutuoso Pereira Araújo ROSENBLUM, DAVID S. Carla Maria Chagas e Cavalcante Koike UCHITEL, SEBASTIAN PAULO HENRIQUE MENDES MAIA Léo Morais da Silva Kenji Tei Siobhán Clarke LITOIU, MARIN GUIMARÃES, FELIPE P. ARAUJO, GABRIEL Virgílio A. F. Almeida Jussara Almeida MICHAEL, JUDITH MORENO, GABRIEL NEJATI, SHIVA QUIN, FEDERICO RODRIGUES, GABRIEL MELO, ALBA CRISTINA MAGALHAES RAJIV GEEVERGHESE DE ARAÚJO, JOÃO PAULO C. Leone Parise Vieira da Silva DE MELO, CAIO BATISTA CANÇADO, ANDRÉ LUIZ FERNANDES PORTELLA, GUSTAVO JARDIM NAKANO, EDUARDO YOSHIO BOUKERCHE, AZZEDINE SCHMERL, BRADLEY VIEIRA, MARCO WOHLRAB, REBEKKA SILVA, GEOVANA RAMOS SOUSA JULIEN, CHRISTINE JAMSHIDI, POOYAN DUSPARIC, IVANA DIACONESCU, ADA ENGELS, GREGOR GERASIMOU, SIMOS GRASSI, VINCENZO CIOROAICA, EMILIA CARDOZO, NICOLÁS HAHNER, SEBASTIAN LETIER, EMMANUEL BUHNOVA, BARBORA João Palotti
Self-adaptive systems Software Dependability Analysis Goal-oriented requirements engineering Multi-robots systems Model Driven Engineering dependabilidade goal oriented dependability analysis probabilistic model checking Implied Scenarios Body Sensor Network Smart Cyber-Physical Systems Property Specification Patterns Contextual Goal Modelling Real-time systems Deployment Planning Mission Specification sistemas adaptativos Concurrent Component-based Software Systems UML Autonomous Deployment Engenharia de Requisitos Mineração de Dados Behaviour Driven Development Model-based transformation Symbolic model checking Component-Entity Systems Métodos Analíticos e Simulação em Estatística aprendizagem de máquina Software Product Line Control Theory Test case generation Robotic missions model checking Cloud Computing Robots Simulation Clustering Algorithms modelagem orientada a objetivos Análise Estática precificação observatório da Web UPPAAL Simulação para a robótica software refactoring artificial immune systems Supervised learning Data mining Teste Sistemático covid-19 Sustentabilidade Multi-robots task allocation SLEEC rules Explainability methods Validação de Requisitos Fidelização de usuários Software Reliability Prediction Machine Learning Heterogeneous Robots teste de regressão modularity Algorithms complexity Command-line tool Resiliency Software Evolution Planning in MRS Simulation of SoS DSML Software Reliability Analysis uncertatinty quantification Requirements Engineering Genetic Algorithms parametric model checking Decentralized control architecture Agility Heterogeneous Computational Resources neuro-symbolic AI ROS Smith-Waterman Algorithm deep neural network Fault diagnosis Wireless Sensor Network Sistemas Multi-Agentes design patterns artifact Inspeção e Monitoramento de Software Certificação Digital Dívida Técnica Nuvens Computacionais Normative Requirements Pricing Model Ensemble-based software architecture discrete-event controller synthesis BPM multi-sensorialismo Systems of Systems Dynamic Behavior Trees Revisão Sistemática da Literatura (SLR) ITIL Análise de confiabilidade atenção visual Gestão de Continuidade de Negócio micro services Compositional model checking Geração de casos de teste Regression Testing Runtime Verification Gerenciamento de Mudanças Satisfiability checking Contexts Analysis Cooperative heterogeneous robots Observer automata Markov model Service assembly Command and Control sistemas de sistemas (SoS) Parametric Verification Negative Selection Algorithm Runtime monitoring online social network Análise de Impacto Functional Testing Gherkin Runtime Observer fake new detection Service Robots SOA (service-oriented architecture) Manual Testing
CTIT UFMG