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

Última atualização do Lattes: 25.01.2023

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 (13)+
    • 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
      2020
      Título
      Steering Committee of 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020)
    • Ano
      2019
      Título
      Steering Committee of 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019)
    • 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 David S. Rosenblum Luiz Augusto Fontes Laranjeira ALI, RAIAN PELLICCIONE, PATRIZIO Sebastian Uchitel VOGEL, THOMAS Raian Ali Wolfgang Emmerich RODRIGUES, GABRIEL S. RODRIGUES, ARTHUR MENDONÇA, DANILO F. Daniel Macedo Batista Ricardo Diniz Caldas SCHOBBENS, PIERRE-YVES Graham Roberts CASTRO, THIAGO James Skene Radu Calinescu Eric Bernrd Gil EDWARD DE OLIVEIRA RIBEIRO GRUNSKE, LARS ALVES, CARINA EISENBEIS, CHRISTINE Rodrigo Bonifácio NUNES, VINICIUS BONDAN, LUCAS FERNANDES, PAULA Thomas Vogel Patrizio Pelliccione Vander Alves Vander Ramos Alves Naiara Watanable CARINA ALVES CALDAS, RICARDO DINIZ KNAUSS, ALESSIA PORTELLA, GUSTAVO FELIX SOLANO, GABRIELA NAKANO, EDUARDO MELO, ALBA C.M.A. APEL, SVEN GIL, ERIC BERND CALDAS, RICARDO KAIHARA, ALEXANDRE M. Carlos Joel Tavares ANDRADE, HUGO PAIVA, RENATO André Luiz Peron Martins Lanna Felipe Pontes Guimarães MAROTTA, MARCELO A. BONIFÁCIO, RODRIGO Alba Cristina Magalhães Alves de Melo LEITE, ALESSANDRO FERREIRA MELO, ALBA CRISTINA MAGALHAES ALVES DE TADONKI, CLAUDE Silveira, Renato CASTANHO, CARLA DENISE SIQUEIRA, ELTON SARMANHO Gustavo J. Portella RUBIRA, CECILIA MARY FISCHER LOLLINI, PAOLO BONDAVALLI, ANDREA GAIA, FELIPE NUNES ELEUTERIO, JANE DIRCE ALVES SANDIM LADEIRA, MARCELO LEGAY, AXEL SHARIFLOO, AMIR MOLZAM CORDY, MAXIME RORIZ, ALEXANDRE VAZ JACOBI, RICARDO PEZZOUL FAZZOLINO, RAFAEL Macedo Batista, Daniel Pontes Guimaraes, Felipe Watanabe, Naiara Joel Tavares, Carlos Emmerich, Wolfgang Roberts, Graham GONDIM, JOÃO J. C. GONDIM, JOA'O J. C. DA SILVA, GABRIEL LEVI GOMES DINIZ CALDAS, RICARDO CANEDO, EDNA DIAS AMARAL, LUIS HENRIQUE VIEIRA DE FARIA, HENRIQUE MEDRADO HOLANDA, MARISTELA FAVACHO, ALETEIA MARISTELA HOLANDA HUGO V SALDANHA Célia Ghedini Ralha RAJIV GEEVERGHESE Leone Parise Vieira da Silva Virgílio A. F. Almeida Jussara Almeida João Palotti Itamar Viana Sérgio Vanderlei Cavalcante Carlos A. G. Ferraz UCHITEL, SEBASTIAN ROSENBLUM, DAVID S. Aleteia Araujo Maria Emília Walter Mylene Farias Wellington Akamine Daniele Vieira Ferreira Danilo Filgueira Mendonça Vinicius Uriel Cardoso Nunes DUBOC, LETICIA JOÃO LEMOS BONIF´CIO, RODRIGO MENDONCA, ALYSSON A. MARINHO, EULER H. FRANKLIN, RENATO Jonas Wolf GUIMARAES, FELIPE PONTES SCHMERL, BRADLEY CANÇADO, ANDRÉ LUIZ FERNANDES DUSPARIC, IVANA CARDOZO, NICOLÁS DE MELO, CAIO BATISTA DE ARAÚJO, JOÃO PAULO C. JAMSHIDI, POOYAN JULIEN, CHRISTINE PESSOA, LEONARDO CARVALHO, HERVALDO CARWEHL, MARC PORTELLA, GUSTAVO JARDIM NAKANO, EDUARDO YOSHIO RODRIGUES, GABRIEL ARAUJO, GABRIEL QUIN, FEDERICO VIEIRA, MARCO NEJATI, SHIVA MORENO, GABRIEL WOHLRAB, REBEKKA GEROSTATHOPOULOS, ILIAS BUHNOVA, BARBORA CIOROAICA, EMILIA MICHAEL, JUDITH WEYNS, DANNY DE MORAES, VICENTE GUIMARÃES, FELIPE P. BOUKERCHE, AZZEDINE TEODORO, GEORGE L. M. Arthur Rodrigues LANNA, ANDRÉ Gabriela Felix Solano Marcelo Ladeira Christine Eisenbeis Claude Tadonki Alessandro Ferreira Leite Gabriel Levi Gomes da Silva BARESI, LUCIANO MENDONÇA, DANILO FILGUEIRA DE MELO, ALBA CRISTINA MAGALHAES ALVES Léo Morais da Silva CÉLESTIN, PEDRO DE MELO, ALBA CRISTINA M. A. DE FIGUEIREDO, MARCO ANTONIO C. Elisabetta Di Nitto MELO, ALBA CRISTINA MAGALHAES DE OLIVEIRA SANDES, EDANS F. Marin Litoiu RENATO FRANKLIN
Self-adaptive systems Software Dependability Analysis Goal-oriented requirements engineering dependabilidade Implied Scenarios Model Driven Engineering Body Sensor Network Multi-robots systems probabilistic model checking goal oriented dependability analysis Smart Cyber-Physical Systems Real-time systems Contextual Goal Modelling Property Specification Patterns Deployment Planning sistemas adaptativos Concurrent Component-based Software Systems Autonomous Deployment Behaviour Driven Development Mineração de Dados UML Engenharia de Requisitos Análise Estática Symbolic model checking aprendizagem de máquina precificação Cloud Computing software refactoring Control Theory Mission Specification observatório da Web modelagem orientada a objetivos Robots Simulation model checking Test case generation Model-based transformation Data mining UPPAAL Supervised learning Métodos Analíticos e Simulação em Estatística Software Product Line Robotic missions Clustering Algorithms Teste Sistemático covid-19 Multi-robots task allocation sistemas de sistemas (SoS) Fidelização de usuários Manual Testing Command-line tool Heterogeneous Robots Algorithms complexity Software Reliability Prediction modularity Validação de Requisitos teste de regressão Simulation of SoS ROS Wireless Sensor Network Decentralized control architecture DSML artifact Genetic Algorithms Software Reliability Analysis Planning in MRS Software Evolution Agility Resiliency design patterns Sistemas Multi-Agentes parametric model checking Heterogeneous Computational Resources Smith-Waterman Algorithm Sustentabilidade machine learning Command and Control Service assembly Pricing Model Nuvens Computacionais artificial immune systems Dívida Técnica Certificação Digital multi-sensorialismo Systems of Systems Dynamic Behavior Trees Simulação para a robótica Geração de casos de teste Compositional model checking micro services Gestão de Continuidade de Negócio atenção visual Análise de confiabilidade ITIL Revisão Sistemática da Literatura (SLR) Ensemble-based software architecture BPM Runtime Verification Observer automata Cooperative heterogeneous robots Contexts Analysis Parametric Verification Negative Selection Algorithm Runtime monitoring SOA (service-oriented architecture) Service Robots Runtime Observer Component-Entity Systems Gherkin Regression Testing Functional Testing Análise de Impacto online social network Gerenciamento de Mudanças fake new detection Inspeção e Monitoramento de Software
CTIT UFMG