# Adenilso da Silva Simão - Cargo: Livre - Unidade: Instituto de Ciências Matemáticas e de Computação (Universidade de São Paulo) - Departamento: Departamento de Sistemas de Computação - Currículo Lattes: http://lattes.cnpq.br/9836776931160228 - ORCID: https://orcid.org/0000-0002-1454-2607 - Currículo atualizado em: 12/09/2025 - Perfil completo: https://uspaberta.ime.usp.br/docentes/9836776931160228 Cita-se como: SIMÃO, A. S.;Simão, A. S.;SIMAO, A;Simao, A.;Simao, Adenilso;SIMÃO, ADENILSO;SIMAO, A. S.;SIMAO, ADENILSO DA SILVA;SIMÃO, ADENILSO DA SILVA ## Resumo Possui graduação em Bacharelado em Ciência da Computação pela Universidade Estadual de Maringá (1997), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2000) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2004). Realizou estágio de pós-doutoramento no Centre de Recherche Informatique de Montreal (2008-2010). É Professor Titular da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, métodos formais e linguagens de programação. Tem também experiência em Bioinfomática, especialmente na análise de dados biológicos. Na USP, atuou como coordenador do Bacharelado em Sistemas de Informação (Graduação), coordenador do Programa de Ciências da Computação e Matemática Computacional (Pós-Graduação), presidente da Comissão de Pós-Graduação do ICMC, coordenador da Câmara de Normas da Pró-Reitoria de Pós-Graduação, Pró-Reitor Adjunto de Pós-Graduação, Diretor do Centro de Informática de São Carlos, Vice-Diretor do ICMC. Atuou também como membro do Conselho da Sociedade Brasileira de Computação, Presidente da Comissão Especial de Métodos Formais, e membro da Comissão de Educação. Atuou como editor do Journal of Software Engineering Research and Development e como membro do corpo editorial da Science of Computer Programming. ## Outras fontes (enriquecimento) - Descrição (Enriquecimento: Wikidata): pesquisador ativo no Brasil - ads (Enriquecimento, consultado em 2026-10-21): 3 obras - europepmc (Enriquecimento, consultado em 2026-10-21): 1 obras - openaire (Enriquecimento, consultado em 2026-10-21): 74 obras - pubmed (Enriquecimento, consultado em 2026-10-21): 1 obras - DBLP (Enriquecimento: DBLP): https://dblp.org/pid/24%2F261 - ORCID (Enriquecimento: DBLP): https://orcid.org/0000-0002-1454-2607 - WIKIDATA (Enriquecimento: Wikidata): https://www.wikidata.org/wiki/Q102110643 ## Áreas de atuação - Ciencias Exatas E Da Terra › Ciência da Computação › Metodologia e Técnicas da Computação › Engenharia de Software ## Formação - Pós-Doutorado · Centre de Recherche Informatique de Montreal · 2008–2010 - Doutorado · Ciências da Computação e Matemática Computacional · Universidade de São Paulo · 2000–2004 - Mestrado · Ciências da Computação e Matemática Computacional · Universidade de São Paulo · 1998–2000 - Graduação · Bacharel Em Ciência da Computação · Universidade Estadual de Maringá · 1994–1997 - Livre-docência · Universidade de São Paulo ## Vínculos profissionais (9) - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior · 2018–atual - Universidade de São Paulo · PROFESSOR_TITULAR · 2017–atual - JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT · 2016–atual - Fundação de Amparo à Pesquisa do Estado de São Paulo · 2014–atual - Sociedade Brasileira de Computação - Porto Alegre · Membro · 2017–2019 - Sociedade Brasileira de Computação - Porto Alegre · Coordenador do Fórum de Coordeandor PGCC · 2017–2019 - Universidade de São Paulo · Professor Associado 2 · 2011–2017 - Conselho Nacional de Desenvolvimento Científico e Tecnológico · 2013 - Universidade de São Paulo · Professor Doutor · 2004–2011 ## Produção acadêmica Total: 168 itens. - Trabalhos em eventos: 91 - Artigos publicados: 45 - Trabalhos técnicos: 23 - Livros: 3 - Organização de eventos: 3 - Outra produção bibliográfica: 2 - Capítulos de livro: 1 ### Produção bibliográfica (12 mais recentes de 142) - 2025 · **Identifying key genes in cancer networks using persistent homology** · Scientific Reports · Artigos publicados · RAMOS, RODRIGO HENRIQUE; BARDELOTTE, YAGO AUGUSTO; DE OLIVEIRA LAGE FERREIRA, CYNTHIA et al. · DOI: 10.1038/s41598-025-87265-4 - 2025 · **Exploring the Influence of Gene Networks on Driver Gene Classification** · Journal of Computational Biology · Artigos publicados · Paulo Henrique Ribeiro; Jorge Francisco Cutigi; RAMOS, RODRIGO HENRIQUE et al. · DOI: 10.1089/cmb.2025.0043 - 2025 · **Analysis of clonal evolution in cancer: A computational perspective** · Journal of Bioinformatics and Computational Biology · Artigos publicados · Paulo Henrique Ribeiro; Adenilso da Silva Simão · DOI: 10.1142/s0219720025310018 - 2024 · **Causal Model Discovery in Cancer Guided by Cellular Pathways** · CMSB - International Conference on Computational Methods in Systems Biology · Trabalhos em eventos · RAMOS, RODRIGO; Adenilso da Silva Simão; MOUSAVI, MOHAMMAD REZA · DOI: 10.1007/978-3-031-71671-3_13 - 2024 · **Human Protein-Protein Interaction Networks: A Topological Comparison Review** · HELIYON · Artigos publicados · RAMOS, RODRIGO HENRIQUE; DE OLIVEIRA LAGE FERREIRA, CYNTHIA; Adenilso da Silva Simão · DOI: 10.1016/j.heliyon.2024.e27278 - 2024 · **ACDBio: The Biological Data Computational Analysis group at ICMC/USP, IFSP, and Barretos Cancer Hospital** · Journal of Information and Data Management - JIDM · Artigos publicados · Adenilso da Silva Simão; Adriane Evangelista; Alfredo Guilherme Souza et al. · DOI: 10.5753/jidm.2024.2622 - 2023 · **Active Inference of EFSMs Without Reset** · 4th International Conference on Formal Engineering Methods · Trabalhos em eventos · Michael Foster; Roland Groz; Catherine Oriat et al. · DOI: 10.1007/978-981-99-7584-6_3 - 2023 · **Improving Model Learning by Inferring Separating Sequences from Traces** · 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) · Trabalhos em eventos · BRAZ, RAFAEL; Adenilso da Silva Simão; GROZ, ROLAND et al. · DOI: 10.1109/icstw58534.2023.00020 - 2022 · **The Survival Rate Among Unvaccinated, First Dose, and Second Dose Brazilian Hospitalized and ICU COVID Patients by Age Group** · Simpósio Brasileiro de Computação Aplicada à Saúde · Trabalhos em eventos · RAMOS, RODRIGO HENRIQUE; FERREIRA, CYNTHIA DE OLIVEIRA LAGE; Adenilso da Silva Simão · DOI: 10.5753/sbcas.2022.222445 - 2022 · **Aplicação de simulated annealing para descobrir mutações drivers** · Simpósio Brasileiro de Computação Aplicada à Saúde · Trabalhos em eventos · Paulo Henrique Ribeiro; Jorge Francisco Cutigi; EVANGELISTA, ADRIANE FEIJÓ et al. · DOI: 10.5753/sbcas.2022.222451 - 2022 · **Investigation of the performance of driver mutation identification methods using biological networks and enriched biological networks** · Simpósio Brasileiro de Computação Aplicada à Saúde · Trabalhos em eventos · SOUZA, ALFREDO GUILHERME DA SILVA; Adenilso da Silva Simão · DOI: 10.5753/sbcas.2022.222457 - 2021 · **TOPOLOGICAL CHARACTERIZATION OF CANCER DRIVER GENES USING REACTOME SUPER PATHWAYS NETWORKS** · BRAZILIAN SYMPOSIUM ON BIOINFORMATICS - BSB · Trabalhos em eventos · RAMOS, RODRIGO; Jorge Francisco Cutigi; FERREIRA, CYNTHIA et al. ### Produção técnica (12 mais recentes de 26) - 2011 · **XIV Simpósio Brasileiro de Métodos Formais** · Sociedade Brasileira de Computação · Organização de eventos · Adenilso da Silva Simão; Carroll Morgan - 2010 · **22nd IFIP International Conference on Testing Software and Systems** · SBC e IFIP · Organização de eventos · Alexandre Petrenko; José Carlos Maldonado; Adenilso da Silva Simão - 2009 · **Revista de Informática Teórica e Aplicada** · Trabalhos técnicos · Adenilso da Silva Simão - 2009 · **Journal of Universal Computer Science** · Trabalhos técnicos · Adenilso da Silva Simão - 2009 · **IEEE Transactions on Software Engineering** · Trabalhos técnicos · Adenilso da Silva Simão - 2009 · **Software Testing, Verification and Reliability** · Trabalhos técnicos · Adenilso da Silva Simão - 2009 · **Science of Computer Programming** · Trabalhos técnicos · Adenilso da Silva Simão - 2009 · **Journal of Service Science and Management** · Trabalhos técnicos · Adenilso da Silva Simão - 2009 · **Journal of Brazilian Computer Science** · Trabalhos técnicos · Adenilso da Silva Simão - 2007 · **Brazilian Workshop on Systematic and Automated Software Testing** · Sociedade Brasileira de Computação · Organização de eventos · Patrícia Machado; Adenilso da Silva Simão - 2003 · **Journal of Brasilian Computer Society** · Trabalhos técnicos · Adenilso da Silva Simão - 2003 · **2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems** · Trabalhos técnicos · Adenilso da Silva Simão ## Projetos (10 mais recentes de 13) - **IARA - Inteligência Artificial Recriando Ambientes** · 2023–atual · PESQUISA · 0 · O Centro de Pesquisa Aplicada em Inteligência Artificial, IARA, é formado por uma equipe multidisciplinar, com especialistas nacionais com competência internac… - **Testing techniques for CIRCUS specification languages based on fault models** · 2015–2018 · PESQUISA · Financiamento: Royal Society · The objective of this project is to extend the theoretical foundations of testing based on fault models to the domain of model-based testing in the context of… - **Projeto de Cooperação Acadêmica na Área de Computação entre a Leuphana Universität Lüneburg (Alemanha) e o Instituto de Ciências Matemáticas e de Computação, Universidade de São P…** · 2013–atual · OUTRA · Financiamento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior · O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia… - **Centro de Ciências Matemáticas Aplicada a Industria** · 2013–atual · PESQUISA · 0 · O objetivo central deste projeto é a promoção do uso as ciências matemáticas e, em especial da matemática aplicada, estatística e ciência da computação como um… - **Sistemas de Transição de Entrada/Saída: Apoio para a Geracão de Casos de Teste** · 2012–2014 · PESQUISA · Financiamento: Fundação de Amparo à Pesquisa do Estado de São Paulo · O Teste Baseado em Modelos é uma estratégia promissora para automatizar a geração e execução de teste. Os casos de teste são derivados de um modelo representan… - **Desenvolvimentos Computacionais Aplicados a Processos de Refino - Escoamentos Multifásicos** · 2012–2019 · PESQUISA · 0 · O objetivo deste projeto é o desenvolvimento de técnicas e métodos numéricos e uma implementação de um software para a simulação computacional de escoamentos m… - **Máquinas de Estados Finitos: Subsídios para a Geração de Testes Completos** · 2010–2012 · PESQUISA · Financiamento: Conselho Nacional de Desenvolvimento Científico e Tecnológico - **INCT-SEC -- Instituto Nacional de Ciência e Tecnologia, Sistemas Embarcados Críticos** · 2009–2011 · PESQUISA · Financiamento: · A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competên… - **Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web** · 2009–2011 · PESQUISA · Financiamento: Fundação de Amparo à Pesquisa do Estado de São Paulo · A arquitetura orientada a serviço é um modelo para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas… - **PROCAD/CAPES -- Integrando e aprimorando atividades de pesquisa, ensina/treinamento transferência tecnológica em teste e validação de software** · 2008–2012 · PESQUISA · Financiamento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior · A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagen… ## Orientações ### Em andamento (7) - MESTRADO · Kayane Rita Silveira Silva · **Adequação de Testes Gerados por LLMs no contexto de aplicações disponíveis em repositórios** · 2023 - MESTRADO · Matheus Gaseta · **Uso de Modelos Causais para a Análise de Dados de Gene ligados ao Cancer** · 2023 - MESTRADO · Rodrigo Augusto Valeretto · **Analise de Dados de Pós-Graudação para inferência de relações de colaboração** · 2024 - MESTRADO · Gustavo Michelini · **Aplicação de Técnicas de Deep Learning na análise de dados médicos** · 2023 - DOUTORADO · Alfredo Guilherme da Silva Souza · **Proteonica aplicada a detecção de Cancer** · 2019 - DOUTORADO · Paulo Henrique Ribeiro · **Aplicação de Modelos Causais para a Análise da Evolução Clonal de Casos de Cancer** · 2022 - DOUTORADO · Rodrigo Henrique Ramos · **Discovery of cancer genes patterns using super pathways networks topology** · 2020 ### Concluídas (12 mais recentes de 42) - 2023 · MESTRADO · Rafael dos Santos Braz · **Aprimorando a inferência de modelos por meio da seleção de sequências de separação a partir de exemplos do comportamento de sistemas** - 2022 · GRADUACAO · Rodrigo Augusto Valeretto · **Análise de algoritmos para a predição da nota Capes de cursos de pós-graduação** - 2021 · DOUTORADO · Jorge Francisco Cutigi · **Abordagens computacionais para a descoberta de genes significativos para o cancer** - 2020 · DOUTORADO · Mariana Soller Ramada · **Geração de Sequencias de Teste para Maquinas de Estados Finitos Baseado em Busca** - 2020 · DOUTORADO · Carlos Diego Nascimento Damasceno · **Aprendizado de modelos de maquinas de estados finitos de sistemas em evolucao: Da evolucao ao longo do tempo para variabilidade em espaco** - 2020 · DOUTORADO · Mauricio Rêgo Mota da Rocha · **Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML** - 2019 · GRADUACAO · Pedro Balan · **Aplicação de Testes de Software em Desenvolvimento Web utilizando Angular e NodeJS** - 2019 · GRADUACAO · RAFAEL IGNAN MACHADO · **Balanceamento de linha de produção com restrições: aplicação em uma linha real** - 2017 · MESTRADO · Moreno Siqueira e Mello · **Sistema para testes de stress em uma carteira de opções de moedas** - 2017 · MESTRADO · Felipe Boteon Calderaro · **Precificação de opções exóticas utilizando CUDA** - 2017 · DOUTORADO · Faimison Rodrigues Porto · **Cross-project defect prediction with meta-Learning** - 2017 · POS DOUTORADO · Sofia Larissa da Costa Paiva · **** ## Bancas (10 mais recentes de 24) - 2012 · MESTRADO · Maicon Bernardino da Silveira · Conjunto de Características para Teste de Desempenho: Uma visão a Partir de Modelos · Pontifícia Universidade Católica do Rio Grande do Sul - 2012 · MESTRADO · Leandro Teododo Costa · Modelo de Características para Teste de Desempenho: Uma Visão a Partir de Ferramentas · Pontifícia Universidade Católica do Rio Grande do Sul - 2012 · MESTRADO · Silva Morita Melo · Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada · Universidade de São Paulo - 2012 · MESTRADO · Silvana Morita Melo · Avaliação do custo e efetividade dos critérios de teste estruturais no contexto de programas concorrentes com memória compartilhada · Universidade de São Paulo - 2012 · DOUTORADO · Sidney de Carvalho Nogueira · Test Generation and Compositional Conformance Verification with Input-Output CSP Models · Universidade Federal de Pernambuco - 2012 · DOUTORADO · Marcelo Medeiros Eler · Uso da técnica de teste estrutural para o teste e monitoração de serviços · Instituto de Ciências Matemáticas e de Computação - 2012 · GRADUACAO · Jonathan Machado · Ferramenta de Simulação de Algoritmos Evolutivos · Universidade de São Paulo - 2011 · MESTRADO · Mario Cesar da Cunha Machado · Estudo e Definição de Mecanismos para Redução do Custo de Aplicação do Teste de Programas Concorrentes · Universidade de São Paulo - 2008 · MESTRADO · Ivan Rodolfo Duran Cruz Perez · Geração Automática de Cenários de Teste a Partir de Modelos de Especificação de Sistemas · Universidade Estadual de Campinas - 2007 · GRADUACAO · Ivan Filipe de Abrantes Stefani · Sistemas Web Integrados para o Apoio ao Desenvolvimento de Produtos · Universidade de São Paulo ## Prêmios e títulos (15 mais recentes de 29) - 2025 · **Patrono do Formandos do ICMC** · ICMC/USP - 2025 · **Professor Homenageado do Bacharelado em Sistema de Informação** · ICMC/USP - 2024 · **Paraninfo dos Formandos em Bacharelado em Sistemas de Informação do ICMC** · ICMC/USP - 2023 · **Paraninfo dos Formandos do Bacharelado em Sistemas de Informação** · ICMC/USP - 2022 · **Paraninfo dos Formandos do Bacharelado em Sistemas de Informação** · ICMC/USP - 2019 · **Paraninfo dos Formandos do Bacharelado em Ciência da Computação** · ICMC/USP - 2019 · **Professor Homenageado pelos Formandos do Curso de Bacharelado em Ciência da Computação** · ICMC/USP - 2019 · **Professor Homenageado pelos Formandos do Curso de Bacharelado em Sistemas de Informação** · ICMC/USP - 2019 · **Paraninfo dos Formandos do Engenharia da Computação** · EESC/ICMC/USP - 2019 · **Professor Homenageado pelos Alunos do Bacharelado em Sistemas de Informação** · SACIM - 2018 · **Paraninfo dos Formandos do Bacharelado em Ciência da Computação** · ICMC/USP - 2018 · **Professor Homenageado pelos Formandos do Curso de Bacharelado em Ciência da Computação** · ICMC/USP - 2018 · **Professor Homenageado pelos Formandos do Curso de Bacharelado em Sistemas de Informação** · ICMC/USP - 2018 · **Professor Homenageado pela Secretaria Acadêmica da Engenharia de Computação** · Universidade de São Paulo - 2016 · **Terceiro Melhor Artigo do XXX Simpósio Brasileiro de Engenharia de Software** · Sociedade Brasileira de Computação --- Fonte: Plataforma Lattes (CNPq), organizado por USP Aberta — https://uspaberta.ime.usp.br/docentes/9836776931160228 Ao citar, referencie USP Aberta e o currículo Lattes do docente.