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

Última atualização do Lattes: 28.10.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 LARANJEIRA Sebastian Uchitel ALI, RAIAN CALINESCU, RADU Raian Ali RODRIGUES, GABRIEL S. GRUNSKE, LARS Ricardo Diniz Caldas CARWEHL, MARC RODRIGUES, ARTHUR Radu Calinescu Wolfgang Emmerich CALDAS, RICARDO Daniel Macedo Batista MENDONÇA, DANILO F. IMRIE, CALUM SCHOBBENS, PIERRE-YVES GIL, ERIC BERND James Skene CASTRO, THIAGO Graham Roberts Patrizio Pelliccione ALVES, CARINA Vander Alves EDWARD DE OLIVEIRA RIBEIRO Thomas Vogel Eric Bernrd Gil FERNANDES, PAULA Felipe Pontes Guimarães NUNES, VINICIUS André Luiz Peron Martins Lanna Rodrigo Bonifácio PAIVA, RENATO BONIFÁCIO, RODRIGO FELIX SOLANO, GABRIELA DE MORAES, VICENTE PORTELLA, GUSTAVO WEYNS, DANNY NAKANO, EDUARDO MELO, ALBA C.M.A. APEL, SVEN GETIR YAMAN, SINEM MARSSO, LINA KAIHARA, ALEXANDRE M. BONDAN, LUCAS GEROSTATHOPOULOS, ILIAS MAROTTA, MARCELO A. CANEDO, EDNA DIAS Vander Ramos Alves MELO, ALBA CRISTINA MAGALHAES ALVES DE TADONKI, CLAUDE LEITE, ALESSANDRO FERREIRA Alba Cristina Magalhães Alves de Melo Carlos Joel Tavares Naiara Watanable ANDRADE, HUGO CARINA ALVES KNAUSS, ALESSIA CALDAS, RICARDO DINIZ EISENBEIS, CHRISTINE LANNA, ANDRÉ GONDIM, JOÃO J. C. FENG, NICK CAVALCANTI, ANA CHECHIK, MARSHA BAATARTOGTOKH, YESUGEN AYAD, REEM DE MELLO, VICTORIA OLDEMBURGO TOWNSEND, BEVERLEY GONDIM, JOA'O J. C. DA SILVA, GABRIEL LEVI GOMES Gustavo J. Portella SIQUEIRA, ELTON SARMANHO CASTANHO, CARLA DENISE JACOBI, RICARDO PEZZOUL FAZZOLINO, RAFAEL DE FARIA, HENRIQUE MEDRADO AMARAL, LUIS HENRIQUE VIEIRA DINIZ CALDAS, RICARDO STANDEN, ISOBEL STEFANAKOS, IOANNIS DE MELO, ALBA CRISTINA MAGALHAES ALVES MENDONÇA, DANILO FILGUEIRA BARESI, LUCIANO PESSOA, LEONARDO CARVALHO, HERVALDO Alessandro Ferreira Leite Claude Tadonki Christine Eisenbeis CÉLESTIN, PEDRO Roberts, Graham Emmerich, Wolfgang Joel Tavares, Carlos Watanabe, Naiara Pontes Guimaraes, Felipe Macedo Batista, Daniel Silveira, Renato GUIMARAES, FELIPE PONTES RUBIRA, CECILIA MARY FISCHER LOLLINI, PAOLO Célia Ghedini Ralha HUGO V SALDANHA Maristela Holanda Aleteia Araujo Maria Emília Walter FRANKLIN, RENATO MARINHO, EULER H. RAJIV GEEVERGHESE LEONE PARISE VIEIRA DA SILVA ROSENBLUM, DAVID S. UCHITEL, SEBASTIAN Carlos A. G. Ferraz Sérgio Vanderlei Cavalcante Itamar Viana João Palotti Jussara Almeida Virgílio A. F. Almeida MENDONCA, ALYSSON A. BONIF´CIO, RODRIGO RORIZ, ALEXANDRE VAZ CORDY, MAXIME SHARIFLOO, AMIR MOLZAM LEGAY, AXEL LADEIRA, MARCELO ELEUTERIO, JANE DIRCE ALVES SANDIM GAIA, FELIPE NUNES BONDAVALLI, ANDREA HOLANDA, MARISTELA FAVACHO, ALETEIA JOÃO LEMOS DUBOC, LETICIA Vinicius Uriel Cardoso Nunes Danilo Filgueira Mendonça Daniele Vieira Ferreira Wellington Akamine Mylene Farias Jonas Wolf LITOIU, MARIN MANGAL, RAVI COSTA DE ARAUJO, JOÃO PAULO SILVA, GEOVANA RAMOS SOUSA SCHIOPU, MATEI JULIEN, CHRISTINE BERGER, THORSTEN Diego Perez JAMSHIDI, POOYAN RAIBULET, CLAUDIA Martina de Sanctis DUSPARIC, IVANA Marin Litoiu Siobhán Clarke CIOROAICA, EMILIA Kenji Tei PIÑERA GARCÍA, JUAN ANTONIO et.al CAMARA, JAVIER LETIER, EMMANUEL HAHNER, SEBASTIAN GRASSI, VINCENZO GERASIMOU, SIMOS ENGELS, GREGOR DIACONESCU, ADA MIRANDOLA, RAFFAELA TEI, KENJI ACOSTA, MARIBEL VÁZQUEZ, GRICEL SANTANA, MISAEL ALPIZAR P'S'REANU, CORINA BENNACEUR, AMEL BOLTZ, NICOLAS BURES, TOMAS PAULO HENRIQUE MENDES MAIA Carla Maria Chagas e Cavalcante Koike DE FIGUEIREDO, MARCO ANTONIO C. Marcelo Ladeira BOUKERCHE, AZZEDINE Gabriela Felix Solano MELO, ALBA CRISTINA MAGALHAES RODRIGUES, GABRIEL ARAUJO, GABRIEL GUIMARÃES, FELIPE P. Arthur Rodrigues NAKANO, EDUARDO YOSHIO PORTELLA, GUSTAVO JARDIM DE OLIVEIRA SANDES, EDANS F. TEODORO, GEORGE L. M. DE MELO, ALBA CRISTINA M. A. Léo Morais da Silva DE ARAÚJO, JOÃO PAULO C. Gabriel Levi Gomes da Silva DE MELO, CAIO BATISTA CANÇADO, ANDRÉ LUIZ FERNANDES Renato Franklin MICHAEL, JUDITH Elisabetta Di Nitto SCHMERL, BRADLEY VIEIRA, MARCO WOHLRAB, REBEKKA Shinichi Honiden Carlos Eduardo Taborda Lottermann Gabriel Frutuoso Pereira Araujo BUHNOVA, BARBORA CARDOZO, NICOLÁS QUIN, FEDERICO MORENO, GABRIEL NEJATI, SHIVA
Self-adaptive systems Software Dependability Analysis Goal-Oriented Requirements Engineering Probabilistic Model Checking Multi-robots systems Body Sensor Network Robotic missions Dependabilidade Model Driven Engineering goal oriented dependability analysis Implied Scenarios Smart Cyber-Physical Systems Contextual Goal Modelling Simulação para a robótica Real-time systems Property Specification Patterns Concurrent Component-based Software Systems Sistemas Adaptativos Control Theory Deployment Planning Model-based transformation UML Mission Specification Autonomous Deployment Engenharia de Requisitos Behaviour Driven Development mineração de dados Métodos Analíticos e Simulação em Estatística Software Product Line ROS Component-Entity Systems Teste Sistemático aprendizagem de máquina Modelagem Orientada a Objetivos Cloud Computing model checking Supervised learning Análise Estática Test case generation Robots Simulation Clustering Algorithms Symbolic model checking discrete-event controller synthesis runtime verification artificial immune systems Data mining UPPAAL software refactoring Observatório da Web Precificação Command-line tool requirements engineering Heterogeneous Robots teste de regressão artifact Fidelização de usuários Simulation of SoS Software Reliability Analysis Algorithms complexity Covid-19 Multi-robots task allocation modularity Validação de Requisitos Machine Learning Software Reliability Prediction parametric model checking Planning in MRS Sistemas Multi-agentes Resiliency DSML deep neural network Agility Fault Diagnosis Design Patterns Smith-Waterman Algorithm genetic algorithms software evolution Decentralized control architecture Wireless Sensor Network SLEEC rules Heterogeneous Computational Resources Sustentabilidade Explainability methods neuro-symbolic AI uncertatinty quantification Inspeção e Monitoramento de Software Certificação Digital Dívida Técnica Nuvens Computacionais Normative Requirements Pricing Model Ensemble-based software architecture BPM fake new detection 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 Behavior Driven Development 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 Regression Testing Runtime Observer Service Robots SOA (service-oriented architecture) Manual Testing
CTIT UFMG