Somos UnB
UnB
Última atualização do sistema: 13.11.2024
HOME
INDICADORES
CONTATO
SOBRE
Professor
Genaina Nunes Rodrigues
http://lattes.cnpq.br/2966913210268454
Última atualização do Lattes: 28.10.2024
Unidade:
Instituto de Ciências Exatas (IE)
Departamento:
DEPTO CIENCIAS DA COMPUTACAO
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
Exibir Gráficos
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Aceitos para Publicação
(1, 100% com DOI)
+
Artigos Publicados
(22, 100% com DOI)
+
Demais Tipos de Produção
(3, 100% com DOI)
+
Trabalho em Eventos
(42, 76% com DOI)
+
Orientações Concluídas
Mestrado:
20
Doutorado:
2
Pos-Doutorado:
0
Outras:
66
Produção Técnica
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)
11 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Engenharia de Software
(20)
+
maiores informações sobre esta especialidade
Engenharia de Software
(6)
+
maiores informações sobre esta especialidade
Modelos Analíticos e de Simulação
(4)
+
maiores informações sobre esta especialidade
Sistemas de Informação
(4)
+
maiores informações sobre esta especialidade
Análise de Dados
(2)
+
maiores informações sobre esta especialidade
Sistemas Dinâmicos
(2)
+
maiores informações sobre esta especialidade
Análise de Dados
(1)
+
maiores informações sobre esta especialidade
Arquitetura de Sistemas de Computação
(1)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(1)
+
maiores informações sobre esta especialidade
Computabilidade e Modelos de Computação
(1)
+
maiores informações sobre esta especialidade
Modelos Analíticos e de Simulação
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 210
Professor da UnB (5)
Externo Identificado no Lattes (12)
Não identificado (193)
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
127 Palavras Chave
utilizadas pelo professor
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