Departamento de Sistemas de Computação

2021

1.	Ana Paula Allian. TIBA: A Trustworthy Interoperability Architecture for Industry 4.0. Universidade de São Paulo /ICMC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021. Tese de doutorado: Elisa Yumi Nakagawa.
2.	Armando Maciel Toda. Contributions for Gamification Design in Educational Contexts. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021. Tese de doutorado: Seiji Isotani.
3.	Caio Benatti Moretti. Biomarcadores baseados em aprendizado de máquina para customização de tratamentos de reabilitação robótica para pacientes com AVC. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
4.	Jacson Rodrigues Barbosa. Heterogeneous information network to support the bug report resolution process. Universidade de São Paulo, . 2021. Tese de doutorado: Márcio Eduardo Delamaro.
5.	Jorge Francisco Cutigi. Abordagens computacionais para a descoberta de genes significativos para o cancer. Instituto de Ciências Matemáticas e de Computação, . 2021. Tese de doutorado: Adenilso da Silva Simão.
6.	Jorge Marques Prates. Uma contribuição para o desenvolvimento e evolução distribuídos de MOOCs e SPOCs para o ensino de Engenharia de Software. Instituto de Ciências Matemáticas e de Computação (USP), . 2021. Tese de doutorado: Jose Carlos Maldonado.
7.	Julian Ricardo H. Mariño. Synthesizing interpretable strategies for real-time planning in zero-sum games. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Tese de doutorado: Claudio Fabiano Motta Toledo.
8.	Marcus Vinícius Ribeiro de Carvalho. Uma abordagem de modelagem de conteúdo educacional para plataforma de aprendizagem móvel baseada na engenharia dirigida por modelos. Instituto de Ciências Matemáticas e de Computação, . 2021. Tese de doutorado: Ellen Francine Barbosa.
9.	Naylor Garcia Bachiega. Teaching Parallel Programming in Containers: Virtualization of a Heterogeneous Local Infrastructure. Instituto de Ciências Matemáticas e de Computação Usp São Carlos, . 2021. Tese de doutorado: Paulo Sérgio Lopes de Souza.
10.	Pedro Henrique Dias Valle. Architectural Decision-making on Interoperability in Software-intensive Systems. Universidade de São Paulo /ICMC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021. Tese de doutorado: Elisa Yumi Nakagawa.
11.	Ricardo Ferreira Vilela. Geração de Dados de Teste para Programas Concorrentes. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Tese de doutorado: Simone do Rocio Senger de Souza.
12.	Rogério Ferreira da Silva. Um processo para a avaliação da aprendizagem social online em ambientes informais. Instituto de Ciências Matemáticas e de Computação (USP), . 2021. Tese de doutorado: Jose Carlos Maldonado.
13.	Átila Rabelo Lopes. Arquitetura de Referência Orientada a Serviços para Ambientes de Aprendizagem Ubíqua: Uma Contribuição ao Projeto Arquitetural de Sistemas de Autoria Sensível ao Contexto. Instituto de Ciências Matemáticas e de Computação, . 2021. Orientadores: Ellen Francine Barbosa, Rosana Teresinha Vaccare Braga.

2020

1.	Adriano Soares de Oliveira Bailão. Reconhecimento de padrões por processos adaptativos de compressão. Universidade Federal de Mato Grosso do Sul, . 2020. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
2.	Alessandro Wilk Silva Almeida. Alocação e Dimensionamento de Geração Distribuída em Sistemas Elétricos de Distribuição. Universidade de São Paulo, . 2020. Tese de doutorado: Claudio Fabiano Motta Toledo.
3.	Bruno Elias Penteado. Modelo de infraestrutura para publicação de dados abertos governamentais conectados de qualidade. Instituto de Ciências Matemáticas e de Computação (USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Orientadores: Jose Carlos Maldonado, Seiji Isotani.
4.	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. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Tese de doutorado: Adenilso da Silva Simão.
5.	Cristiane Aparecida Lana. Requirements Analysis for Technical Interoperability driven by Mission Engineering. Universidade de São Paulo /ICMC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020. Tese de doutorado: Elisa Yumi Nakagawa.
6.	Diego Renan Bruno. Análise e fusão de imagens 2D e 3D com vistas para detecção e classificação de sinais de trânsito verticais em prol da segurança viária com veículos robóticos inteligentes. Universidade de São Paulo, . 2020. Tese de doutorado: Fernando Santos Osório.
7.	Marco Aurélio Lopes Barbosa. Uma estrutura de dados para problemas de otimização de árvores geradoras. instituto de Ciências Matemáticas e de Computação, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2020. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
8.	Mariana Soller Ramada. Geração de Sequencias de Teste para Maquinas de Estados Finitos Baseado em Busca. Universidade Federal de Goiás, . 2020. Tese de doutorado: Adenilso da Silva Simão.
9.	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. Universidade de São Paulo, . 2020. Tese de doutorado: Adenilso da Silva Simão.
10.	Sidgley Camargo de Andrade. Mineração de padrões de chuvas das redes sociais para apoiar a gestão de risco de inundação. instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
11.	Valdemar Abrão Pedro Anastácio Devesse. Mixed integer programming models for fairness based physician scheduling problem in emergency room. Universidade de São Paulo, . 2020. Tese de doutorado: Claudio Fabiano Motta Toledo.
12.	Valtemir de Alencar e Silva. Classificação automática de questões baseada em competências: ENEM - Estudo de caso. Instituto de Ciências Matemáticas e de Computação (USP), . 2020. Tese de doutorado: Jose Carlos Maldonado.

2019

1.	Anderson da Silva Marcolino. Uma Infraestrutura de Apoio ao Desenvolvimento de Softwares Educacionais para o Ensino de Programação. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Tese de doutorado: Ellen Francine Barbosa.
2.	Daniel Feitosa. Applying Patterns in Embedded Systems Design for Managing Quality Attributes and their Trade-offs. Rijksuniversiteit Groningen, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Tese de doutorado: Elisa Yumi Nakagawa.
3.	Fatemeh Gholi Zadeh Kharrat. FS-OPA: combination of optimization based on phylogram analysis and cox regression applied to mental disorder datasets. Universidade de São Paulo, . 2019. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
4.	Flaviana Moreira de Souza Amorim. Modelos matemáticos para planejamento da produção em indústrias de embalagens de vidro. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Tese de doutorado: Claudio Fabiano Motta Toledo.
5.	Helena Macedo Reis. Regulação emocional personalizada para sistemas tutoresinteligentes por meio de traços de personalidade. Universidade de São Paulo, . 2019. Tese de doutorado: Seiji Isotani.
6.	Jesimar da Silva Arantes. Sistema autônomo para supervisão de missão e segurança de voo em VANTs. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Tese de doutorado: Claudio Fabiano Motta Toledo.
7.	Jário José dos Santos Junior. Modelos e técnicas para detecção de Ameaça de Estereótipo em ambientes educacionais online gamificados. Universidade de São Paulo, . 2019. Tese de doutorado: Seiji Isotani.
8.	Leandro de Souza Rosa. Geração de Modelos Independentes de Plataforma para Exploração de Aspectos de Hardware a Nível ESL. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019. Tese de doutorado: Vanderlei Bonato.
9.	Lilian Passos Scatalon. Subsídios à Condução de Experimentos no Ensino de Fundamentos de Programação. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019. Tese de doutorado: Ellen Francine Barbosa.
10.	Luiz Rodrigues. Geração Automática de Designs de Gamificação Baseada em Tipos de Atividades Educacionais. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019. Tese de doutorado: Seiji Isotani.
11.	Rachel Carlos Duque Reis. Contribuições para o Desenvolvimento e Avaliação de um Modelo Ontológico que inclui Aspectos Afetivos para Formação de Grupos de Aprendizagem de Alta Performance. Universidade de São Paulo, . 2019. Tese de doutorado: Seiji Isotani.
12.	Rafael Alceste Berri. Sistema ADAS para identificação de distrações e perturbações do motorista na condução de veículos. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Tese de doutorado: Fernando Santos Osório.
13.	Rayner de Mello Pires. Análise de difusão de dados em redes FANET. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Tese de doutorado: Kalinka Regina Lucas Jaquie Castelo Branco.
14.	Thiago Bianchi. MaSTA: a text-based machine learning approach for systems-of-systems in the big data context?. Universidade de São Paulo /ICMC, IBM. 2019. Tese de doutorado: Elisa Yumi Nakagawa.
15.	Victor Hugo Santiago Costa Pinto. Investigação e Definição de Mecanismos de Teste de Software para o Contexto de Computação em Nuvem. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Tese de doutorado: Simone do Rocio Senger de Souza.

2018

1.	Angelica Tiemi Mizuno Nakamura. Segmentação Espacial de Instâncias a Partir de Imagens Monoculares Utilizando Redes Neurais Convolucionais. Instituto de Ciências Matemática de de Computação - ICMC/USP, . 2018. Tese de doutorado: Denis Fernando Wolf.
2.	Aracele Garcia de Oliveira Fassbinder. Aplicação e Avaliação do Uso de MOOCs e do Modelo Flipped Classroom como Apoio ao Ensino em Computação. Instituto de Ciências Matemáticas e de Computação, . 2018. Tese de doutorado: Ellen Francine Barbosa.
3.	Edvard Martins de Oliveira. MDAPSP - Uma arquitetura modular distribuída para auxílio à predição de estruturas de proteínas. Instituto de Ciencias Matematicas e de Computacao, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Tese de doutorado: Júlio Cezar Estrella.
4.	Fernando Roberto Hebeler Andrade. Gamificação personalizada baseada no perfil do jogador. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Tese de doutorado: Seiji Isotani.
5.	Geiser Chalco Challco. Gamification of Collaborative Learning Scenarios: An Ontological Engineering Approach to Deal with the Demotivation Problem Caused by Computer-Supported Collaborative Learning Scripts. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Tese de doutorado: Seiji Isotani.
6.	Henrique Yoshikazu Shishido. Escalonamento de workflow com anotações de tarefas sensitivas para otimização de segurança e custo em nuvens. Instituto de Ciencias Matematicas e de Computacao, . 2018. Orientadores: Claudio Fabiano Motta Toledo, Júlio Cezar Estrella.
7.	Karla Barbosa de Freitas. Modelos matemáticos e heurísticas baseadas em técnicas de programação matemática para o problema de minimização de perdas e reconfiguração de redes elétricas. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Orientadores: Alexandre Cláudio Botazzo Delbem, Claudio Fabiano Motta Toledo.
8.	Lina Maria Garcés. A Reference Architecture for Healthcare Supportive Home Systems from a Systems-of-Systems Perspective (Doutorado em dupla titulação com a Université Bretagne Sud, França). Universidade de São Paulo /ICMC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018. Tese de doutorado: Elisa Yumi Nakagawa.
9.	Luiz Henrique Nunes. Métodos de análise de decisão multicritério para a seleção de recursos em ambientes IoT. Instituto de Ciencias Matematicas e de Computacao, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Tese de doutorado: Júlio Cezar Estrella.
10.	Milene Rosa de Almeida Moura. Estabelecimento de Interface do Usuário para Sistemas de Software do Domínio de Patrimônio Histórico. Universidade Federal de São Carlos, . 2018. Tese de doutorado: Elisa Yumi Nakagawa.
11.	Natassya Barlate Floro da Silva. Development of an autonomous unmanned aerial vehicle -- specification of a fixed-wing vertical takeoff and landing aircraft. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018. Tese de doutorado: Kalinka Regina Lucas Jaquie Castelo Branco.
12.	Rodolfo Adamshuk Silva. Teste baseado em buscas aplicado a programas concorrentes. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Tese de doutorado: Simone do Rocio Senger de Souza.
13.	Rodolfo Barros Chiaramonte. Detecção e desvio de obstáculos para veículos aéreos não tripulados usando visão monocular. Universidade de São Paulo, . 2018. Tese de doutorado: Kalinka Regina Lucas Jaquie Castelo Branco.
14.	Silvana Morita Melo. Estabelecimento de um framework para avaliação de mecanismos de teste para programas concorrentes. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018. Tese de doutorado: Simone do Rocio Senger de Souza.
15.	Thiago Gottardi. A proposal for the evolution of model-driven software engineering. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Tese de doutorado: Rosana Teresinha Vaccare Braga.
16.	Valdemar Vicente Graciano Neto. A Simulation-driven Model-based Approach for Designing Software-intensive Systems-of-Systems Architectures (Doutorado em dupla titulação com a Université Bretagne Sud, França). Universidade de São Paulo /ICMC, Fundação de Amparo a Pesquisa do Estado de Goiás. 2018. Tese de doutorado: Elisa Yumi Nakagawa.
17.	Wilk Oliveira dos Santos. Automatic Student?s Flow Experience Detection in Gamified Educational Systems. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018. Tese de doutorado: Seiji Isotani.

2017

1.	Alexandre Ponce de Oliveira. Definição de Mecanismos de Teste para Aplicações Concorrentes Desenvolvidas em Linguagens Funcionais. Instituto de Ciências Matemáticas e de Computação Usp São Carlos, . 2017. Tese de doutorado: Paulo Sérgio Lopes de Souza.
2.	Alinne Cristine Correa dos Santos. Uma contribuição à automatização da atividade de teste para sistemas de realidade virtual. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Márcio Eduardo Delamaro.
3.	Aparecida Maria Zem Lopes. Uma abordagem para avaliação de qualidade de softwares educacionais baseados em Web Semântica. Universidade de São Paulo, . 2017. Tese de doutorado: Seiji Isotani.
4.	Daniel Fernando Pigatto. HAMSTER -- healthy, mobility and security-based data communication architecture for unmanned systems. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Kalinka Regina Lucas Jaquie Castelo Branco.
5.	Daniel Oliva Sales. Extração de features 3D para o reconhecimento de objetos em nuvem de pontos. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Tese de doutorado: Fernando Santos Osório.
6.	Draylson Micael de Souza. Subsídios à integração de ferramentas de avaliação automática e sistemas de gerenciamento de aprendizagem. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Ellen Francine Barbosa.
7.	Faimison Rodrigues Porto. Cross-project defect prediction with meta-Learning. Instituto de Ciências Matemáticas e de Computação, . 2017. Tese de doutorado: Adenilso da Silva Simão.
8.	Francisco Carlos Monteiro Souza. Uma abordagem para geração de dados de teste para o teste de mutação utilizando técnicas baseadas em busca. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Tese de doutorado: Márcio Eduardo Delamaro.
9.	Joice Basílio Machado. OntoSoft: um processo de desenvolvimento ágil para software baseado em ontologia. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Tese de doutorado: Ellen Francine Barbosa.
10.	José Arnaldo Mascagni de Holanda. Arquitetura Multi-core Reconfigurável para Detecção de Pedestres Baseada em Visão. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Eduardo Marques.
11.	Leandro Andrade Martinez. Um framework para coprojeto de hardware e software de sistemas avançados de assistência ao motorista baseados em câmeras. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Tese de doutorado: Eduardo Marques.
12.	Marcilyanne Moreira Gois. Metodologia de muitos objetivos com fluxo de carga em tempo constante para restabelecimento de sistemas de distribuição de larga-escala. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Tese de doutorado: Vanderlei Bonato.
13.	Marcos Paulo Vigliassi. Algoritmo Evolutivo Multiobjetivo em Tabelas e Matriz H∆ para Projeto de Sistemas de Medição para Estimação de Estado. Universidade de São Paulo, . 2017. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
14.	Maria Adelina Silva Brito. Estudo e Definição do Teste de Integração de Software para o Contexto de Sistemas Embarcados Críticos. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Simone do Rocio Senger de Souza.
15.	Milena Guessi. Synthesis of Software Architectures for Systems-of-Systems: An Automated Method by Constraints Solving (Doutorado em dupla titulação com a Université Bretagne Sud, França). Universidade de São Paulo /ICMC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Elisa Yumi Nakagawa.
16.	Márcio da Silva Arantes. Hybrid qualitative state plan problem and mission planning with UAVs. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Claudio Fabiano Motta Toledo.
17.	Paula Toledo Palomino. Gamification of Virtual Learning Environments: A Narrative and User Experience Approach. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Seiji Isotani.
18.	Rafael Alves Paes de Oliveira. Oráculos de teste para sistemas com saídas complexas: o caso dos sistemas TTS. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Márcio Eduardo Delamaro.
19.	Renê de Souza Pinto. Renê de Souza Pinto. instituto de Ciências Matemáticas e de Computação, . 2017. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
20.	Simone de Sousa Borges. Uma Abordagem para Formação Espontânea de Grupos de Alta Performance em Ambientes Inteligentes de Aprendizagem Colaborativa Utilizando Técnicas de Gamificação. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017. Tese de doutorado: Seiji Isotani.
21.	Valéria de Carvalho Santos. Uma abordagem híbrida para planejamento exploratório de trajetórias e controle de navegação de robôs móveis autônomos. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017. Orientadores: Fernando Santos Osório, Claudio Fabiano Motta Toledo.
22.	Vanessa Araujo Borges. Definição de um modelo de referência de dados educacionais para a descoberta de conhecimento. Instituto de Ciências Matemáticas e de Computação, . 2017. Tese de doutorado: Ellen Francine Barbosa.
23.	Vinícus Pereira. Uma abordagem para representação de resultados formais na UML. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017. Tese de doutorado: Márcio Eduardo Delamaro.

2016

1.	Alberto Yukinobu Hata. Localização de Veículos Autônomos em Ambientes Urbanos. Instituto de Ciências Matemática de de Computação - ICMC/USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Denis Fernando Wolf.
2.	Andre Luiz de Oliveira. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016. Tese de doutorado: Rosana Teresinha Vaccare Braga.
3.	Bruno de Abreu Silva. Um método de otimização da relação desempenho/consumo de energia para arquiteturas multi-cores heterogêneas em FPGA. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Vanderlei Bonato.
4.	Carlos Diego Nascimento Damasceno. Learning finite state machine models of evolving systems: From evolution over time to variability in space. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Tese de doutorado: Adenilso da Silva Simão.
5.	Daniela Alves Ridel. Robust scene understanding using machine learning to predict pedestrian?s intention in crossing streets. Instituto de Ciências Matemática de de Computação - ICMC/USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016. Tese de doutorado: Denis Fernando Wolf.
6.	Danilo Habermann. Navegação Autônoma de Veículos por meio do Processamento, Segmentação e Reconhecimento de Pontos de Interesse obtidos por Sensor Laser 3D (LIDAR). Universidade de São Paulo, . 2016. Tese de doutorado: Fernando Santos Osório.
7.	Emerson Alberto Marconato. Modelo de Arquitetura em Camadas para Interconexão de Sistemas em VANT.. Universidade de São Paulo, . 2016. Tese de doutorado: Kalinka Regina Lucas Jaquie Castelo Branco.
8.	Felipe Taliar Giuntini. An Approach to the Sequential Evaluation of Emotional Behaviors of Depressive Users on Social Networks in Groups and Individually. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Tese de doutorado: Jó Ueyama.
9.	Jorge Marques Prates. Sistematização do uso de MOOCs no ensino de Engenharia de Software. Instituto de Ciências Matemáticas e de Computação (USP), . 2016. Tese de doutorado: Jose Carlos Maldonado.
10.	José Rodrigues Torres Neto. Descarga adaptativa em ambiente com névoa heterogênea: estudo de caso para a área da saúde. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Jó Ueyama.
11.	Leandro Yukio Mano Alves. Explorando Internet das Coisas e Inteligência Artificial no contexto de Saúde em Casas Inteligentes: uma abordagem física e emocional. Universidade de São Paulo, . 2016. Tese de doutorado: Jó Ueyama.
12.	Marcelo Benites Gonçalves. Supporting Architectural Design of Acknowledged Software-intensive Systems-of-Systems (Doutorado em dupla titulação com a Université Bretagne Sud, França). Universidade de São Paulo /ICMC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Tese de doutorado: Elisa Yumi Nakagawa.
13.	Maurício Acconcia Dias. Projeto, Implementação e Otimização de Redes Neurais Artificiais em Hardware para Aplicações em Veículos Autônomos. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Tese de doutorado: Fernando Santos Osório.
14.	Maurício Massaru Arimoto. Agile development of open educational resources. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Ellen Francine Barbosa.
15.	Nemésio Freitas Duarte Filho. Uma contribuição ao estabelecimento de uma arquitetura de referência para ambientes de aprendizagem móvel. Instituto de Ciências Matemáticas e de Computação, . 2016. Tese de doutorado: Ellen Francine Barbosa.
16.	Rafael Serapilha Durelli. Uma Abordagem de Reestruturação de Sistemas Baseada em Requisitos de Qualidade Pré-Estabelecidos. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Márcio Eduardo Delamaro.
17.	Sofia Larissa Costa. Teste de Sistemas de Transição com Entrada e Saída. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Adenilso da Silva Simão.
18.	Thomio Watanabe. Rastreamento de múltiplos obstáculos em veículos autônomos com fusão de sensores. Instituto de Ciências Matemática de de Computação - ICMC/USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016. Tese de doutorado: Denis Fernando Wolf.
19.	Valter Rogério Messias. Combinação de modelos de previsão de séries temporais por meio de otimização multiobjetivo para alocação eficiente de recursos na nuvem. Instituto de Ciencias Matematicas e de Computacao, . 2016. Tese de doutorado: Júlio Cezar Estrella.

2015

1.	André Luiz Pierre Mattei. Consciência situacional em voo de sistemas aéreos não tripulados. Universidade de São Paulo, . 2015. Tese de doutorado: Claudio Fabiano Motta Toledo.
2.	Bruno Elias Penteado. Aprendizagem colaborativa para equipes distribuídas geograficamente em ambientes MOOC. Instituto de Ciências Matemáticas e de Computação (USP), . 2015. Tese de doutorado: Jose Carlos Maldonado.
3.	Cristiano Bacelar de Oliveira. LALP+: um framework para o desenvolvimento de aceleradores de hardware em FPGAs. Instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Tese de doutorado: Eduardo Marques.
4.	Daniel Rodrigo Ferraz Bonetti. Algoritmos de Estimação de Distribuição para Predição Ab Initio de Estruturas de Proteínas. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
5.	Heitor de Freitas Vieira. Um modelo multiobjetivo para controle biológico de pragas por meio de VANT: distribuição eficiente de cápsulas. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Tese de doutorado: Jó Ueyama.
6.	Jean Paulo Martins. Análise da aprendizagem de ligações em otimização evolutiva. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
7.	Lucas Bueno Ruas de Oliveira. Uma Contribuição ao Projeto Arquitetural de Sistemas Robóticos Baseados na Arquitetura Orientada a Serviço (Doutorado em dupla titulação com a Université Bretagne Sud, França). Universidade de São Paulo /ICMC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Tese de doutorado: Elisa Yumi Nakagawa.
8.	Mauricio Rêgo Mota da Rocha. Redução de Testes Gerados a partir de Modelos Formais Extraídos de Diagramas UML. Instituto de Ciências Matemáticas e de Computação, . 2015. Tese de doutorado: Adenilso da Silva Simão.
9.	Paulo Gabriel Gadelha Queiroz. Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. Universidade de São Paulo, . 2015. Tese de doutorado: Rosana Teresinha Vaccare Braga.
10.	Vania de Oliveira Neves. Automatização do teste estrutural de software de veículos autônomos para apoio ao teste de campo. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Tese de doutorado: Márcio Eduardo Delamaro.

2014

1.	Antonio Helson Mineiro Soares. Algoritmos de estimação de distribuição baseados em árvores filogenéticas. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
2.	Geraldo Pereira Rocha Filho. Uma abordagem de decisão inteligente para uma infraestrutura de automação residencial distribuída usando redes de sensores e atuadores sem fio. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Tese de doutorado: Jó Ueyama.
3.	Leandro Carlos Fernandes. Uma contribuição ao desenvolvimento de sistemas baseados em visão estéreo para o auxílio a navegação de robôs móveis e veículos inteligentes. Instituto de Ciências Matemática de de Computação - ICMC/USP, . 2014. Orientadores: Fernando Santos Osório, Denis Fernando Wolf.
4.	Marcelo Augusto Ramos. Bridging Software Engineering Gaps Towards System of Systems Development. Universidade de São Paulo, . 2014. Tese de doutorado: Rosana Teresinha Vaccare Braga.
5.	Roberto Sadao Yokoyama. Estratégias de beaconing para comunicação em redes veiculares. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Tese de doutorado: Edson dos Santos Moreira.
6.	Valtemir de Alencar e Silva. Modelo de classificação automática de itens para apoio ao diagnóstico educacional em sistemas de aprendizagem adaptativa. Instituto de Ciências Matemáticas e de Computação (USP), . 2014. Tese de doutorado: Jose Carlos Maldonado.

2013

1.	Andre Takeshi Endo. Investigação de Teste Baseado em Máquinas de Estados Finitos Aplicado a Serviços Web. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Tese de doutorado: Adenilso da Silva Simão.
2.	Andrés Eduardo Gómez Hernandez. Control system design for multiples heterogeneous autonomous land vehicles. Instituto de Ciências Matemática de de Computação - ICMC/USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Tese de doutorado: Denis Fernando Wolf.
3.	Bruno Squizato Faiçal. The use of computational intelligence for precision spraying of plant protection products. Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2013. Tese de doutorado: Jó Ueyama.
4.	Carlos Alberto de Magalhães Massera Filho. Controlador de velocidade e esterçamento para veículos autônomos. Instituto de Ciências Matemática de de Computação - ICMC/USP, . 2013. Tese de doutorado: Denis Fernando Wolf.
5.	Claudio Correa. Uma Abordagem Adaptativa para Disseminação de Dados em Redes Veiculares. Universidade de São Paulo, . 2013. Tese de doutorado: Jó Ueyama.
6.	Danilo Sipoli Sanches. Algoritmos evolutivos multi-objetivo para reconfiguração de redes em sistemas de distribuição de energia elétrica. Escola de Engenharia de São Carlos (USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
7.	Gustavo Antônio Furquim. Uma abordagem tolerante a falhas para a previsão de desastres naturais baseada em IoT e aprendizado de máquina. Universidade de São Paulo, . 2013. Tese de doutorado: Jó Ueyama.
8.	Gustavo Pessin. Estratégias Inteligentes aplicadas em Robôs Móveis Autônomos e em Coordenação de Grupos de Robôs. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Tese de doutorado: Fernando Santos Osório.
9.	Maikon Adiles Fernandez Bueno. Co-projeto de hardware e software de um escalonador de processos para arquiteturas multi-core heterogêneas baseadas em computação reconfigurável. Universidade de São Paulo, . 2013. Tese de doutorado: Eduardo Marques.
10.	Paulo Augusto Nardi. On test oracles for Simulink-like models. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Tese de doutorado: Márcio Eduardo Delamaro.
11.	Pedro Northon Nobile. Projeto de um broker de gerenciamento adaptativo de recursos em computa ̧ ̃o em nuvem ca baseado em t ́cnicas de controle realimentado. Universidade de São Paulo, . 2013. Tese de doutorado: Francisco José Monaco.
12.	Ricardo Ramos de Oliveira. Investigação de T ecnicas e Modelos para o Teste de Desempenho de Web Services. Instituto de Ciências Matemáticas e de Computação, . 2013. Tese de doutorado: Adenilso da Silva Simão.
13.	Vanderson Hafemann Fragal. Reutilização de Teste baseado em Modelo para Diferentes Níveis de Abstração em Linha de Produto de Software de Sistemas Embarcados. Instituto de Ciências Matemáticas e de Computação, . 2013. Tese de doutorado: Adenilso da Silva Simão.
14.	Vinicius Humberto Serapilha Durelli. Toward harnessing a java high level language virtual machine for supporting software testing. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Tese de doutorado: Márcio Eduardo Delamaro.

2012

1.	Alex Doniseti Betez Alberto. Geração de Teste a Partir de Modelos de Estados Enriquecidos. Instituto de Ciências Matemáticas e de Computação, . 2012. Tese de doutorado: Adenilso da Silva Simão.
2.	Bruno Yuji Lino Kimura. Sessões de comunicações tolerantes a rupturas: uma camada de Socket para aplicações cientes de mobilidade na Internet. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Tese de doutorado: Edson dos Santos Moreira.
3.	Caio César Teodoro Mendes. Estimação de Navegabilidade para Veículos Autônomos Usando Aprendizado de Máquina. Instituto de Ciências Matemática de de Computação - ICMC/USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Tese de doutorado: Denis Fernando Wolf.
4.	Christiane Regina Soares Brasil. Algoritmo evolutivo de muitos objetivos para predição ab initio de estrutura de proteínas. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
5.	Ednaldo José Ferreira. Método baseado em rotação e projeção otimizadas para construção de ensembles de modelos. instituto de Ciências Matemáticas e de Computação, Programa de Pós-graduação da Embrapa (Doutorado). 2012. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
6.	Joelmir José Lopes. ChipCflow - uma ferramenta para execução de algoritmos utilizando o modelo a fluxo de dados dinâmico em hardware reconfigurável. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Tese de doutorado: Jorge Luiz e Silva.
7.	Juliana Pereira de Souza. Modelo de Qualidade para Desenvolvimento e Avaliação da Viabilidade Clínica de Sistemas de Recuperação de Imagens Médicas Baseada em Conteúdo. Faculdade de Medicina de Ribeirão Preto, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Tese de doutorado: Rosana Teresinha Vaccare Braga.
8.	Katia Romero Felizardo Scannavino. Evidence-based Software Engineering: Systematic Literature Review process based on Visual Text Mining. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Tese de doutorado: Jose Carlos Maldonado.
9.	Luiz Gustavo Almeida Martins. Exploração de sequências de otimização do compilador baseada em técnicas hibridas de mineração de dados complexos. instituto de Ciências Matemáticas e de Computação, . 2012. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
10.	Marco Aurélio Graciotto Silva. LOD: uma abordagem para desenvolvimento de objetos de aprendizagem multimídias e interativos. Instituto de Ciências Matemáticas e de Computação, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientadores: Ellen Francine Barbosa, Jose Carlos Maldonado.
11.	Mario Ezequiel Augusto. Acessos sob demanda em NGN: impactos das trocas dinâmicas entre provedores Wi-Fi para o usuário móvel. Universidade de São Paulo, . 2012. Tese de doutorado: Edson dos Santos Moreira.
12.	Márcio Kassouf Crocomo. Algoritmo de Otimização Bayesiano com Detecção de Comunidades. instituto de Ciências Matemáticas e de Computação, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
13.	Roberto Rigolin Ferreira Lopes. Uma abordagem ciente de contexto e embasada por feedbacks para o gerenciamento de handovers em ambientes NGN. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Tese de doutorado: Edson dos Santos Moreira.
14.	Valéria de Carvalho Santos. Uma abordagem híbrida para planejamento de trajetórias e controle de navegação de robôs móveis autônomos. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Tese de doutorado: Claudio Fabiano Motta Toledo.
15.	Vinícius Pereira Gonçalves. Uma abordagem para indicar o estado emocional de usuários em tempo de interação. Universidade de São Paulo, . 2012. Tese de doutorado: Jó Ueyama.

2010

1.	Antonio Carlos Fernandes Silva. ChipCflow - Compilador com Reconfiguração parcial. Fundação de Apoio à Educ., Pesq. e Desenvol.Cient. e Tec. da UTFPR, . 2010. Tese de doutorado: Jorge Luiz e Silva.
2.	Edson Alves de Oliveira Junior. SystEM-PLA: Um Método Sistemático para Avaliação de Arquitetura de Linha de Produto de Software Baseada em UML. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Tese de doutorado: Jose Carlos Maldonado.
3.	Fabiano Cutigi Ferrari. A contribution to the fault-based testing of aspect-oriented software. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Tese de doutorado: Jose Carlos Maldonado.
4.	Jefferson Rodrigo de Souza. Navegação Autônoma Utilizando Aprendizado Supervisionado. Instituto de Ciências Matemática de de Computação - ICMC/USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Tese de doutorado: Denis Fernando Wolf.
5.	Luiz Gustavo A. Martins. Otimização de Instruções de código C, através de Algoritmos Genéticos, para a geração de Arquiteturas baseadas em Computação Reconfigurável. Instituto de Ciências Matemáticas e de Computação, . 2010. Tese de doutorado: Eduardo Marques.
6.	Patrick Yuri Shinzato. Sistema de direção assistida para veículos baseado em fusão de sensores. Instituto de Ciências Matemática de de Computação - ICMC/USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Tese de doutorado: Denis Fernando Wolf.
7.	Ricardo de Andrade Lira Rabêlo. Componentes de Software no Planejamento da Operação Energética de Sistemas Hidrotérmicos. Universidade de São Paulo, . 2010. Tese de doutorado: Rosana Teresinha Vaccare Braga.
8.	Ricardo Menotti. LALP: uma linguagem para exploração do paralelismo de loops em computação reconfigurável. Universidade de São Paulo, . 2010. Tese de doutorado: Eduardo Marques.
9.	Viviane Malheiros de Pinho. Uma contribuição para a melhoria colaborativa e distribuída de processos de software. Universidade de São Paulo, . 2010. Tese de doutorado: Jose Carlos Maldonado.

(*) Relatório criado com produções desde 1970 até 2023
Data de processamento: 08/03/2023 08:58:49

Departamento de Sistemas de Computação

Tese de doutorado

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2006

2005

2004

2003

2002

2001

2000

1998

1997

1996

1.	Andre Bannwart Perina. Lina: uma ferramenta de otimização de projeto para programação de FPGAs baseada em software. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022. Tese de doutorado: Vanderlei Bonato.
2.	Camila Dias de Oliveira. Diretrizes de acessibilidade: uma contribuição para o desenvolvimento de aplicações m-learning. Instituto de Ciências Matemáticas e de Computação, . 2022. Tese de doutorado: Ellen Francine Barbosa.
3.	Eliane Figueirêdo Collins. Mobile Application Testing: A Contribution to Machine Learning Based Automated Functional Testing. Instituto de Ciências Matemáticas e de Computação (USP), . 2022. Tese de doutorado: Jose Carlos Maldonado.
4.	Stevão Andrade. Teste de mutação em sistemas de Realidade Virtual. Universidade de São Paulo, . 2022. Tese de doutorado: Márcio Eduardo Delamaro.

1.	Edwin Luis Choquehuanca Manani. m Modelo de Comportamento Transiente para Arquitetura de Escalonamento Adaptativa em Sistemas de Tempo-Real Discretos com Restrições de Tempos Médios de Resposta. Instituto de Ciências Matemáticas e de Computação, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Tese de doutorado: Francisco José Monaco.
2.	Erika Nina Höhn. KITest: Um arcabouço de conhecimento e melhoria de processo de teste. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Tese de doutorado: Jose Carlos Maldonado.

1.	Augusto Cesar dos Santos. Algoritmo evolutivo computacionalmente eficiente para reconfiguração de sistemas de distribuição. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
2.	Renata Maria Porto Vanni. Integração de serviços em ambientes heterogêneos: uso de semântica para comunicação entre entidades em mudanças de contexto. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Tese de doutorado: Edson dos Santos Moreira.
3.	Telma Woerle de Lima. Estruturas de Dados Eficientes para Algoritmos Evolutivos Aplicados a Projeto de Redes. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.
4.	Vinícius Veloso de Melo. Técnicas de aumento de eficiência para metaheurísticas aplicadas a otimização global contínua e discreta. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.

1.	Maikon Adiles Fernandez Bueno. Proposta de um descritor de features para o SLAM usando visão monocular. Universidade de São Paulo, . 2008. Tese de doutorado: Eduardo Marques.
2.	Vanderlei Bonato. Proposta de uma arquitetura de hardware em FPGA implementada para SLAM com multi-câmeras aplicada à rob ótica m óvel. Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Tese de doutorado: Eduardo Marques.
3.	Waldo Gonzalo Cancino Ticona. Algoritmos Evolutivos Multi-objetivo para a Reconstrução de Árvores Filogenéticas. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Tese de doutorado: Alexandre Cláudio Botazzo Delbem.

1.	Elisa Yumi Nakagawa. Uma Contribuição ao Projeto Arquitetural de Ambientes de Engenharia de Software. Universidade de São Paulo, . 2006. Tese de doutorado: Jose Carlos Maldonado.
2.	Luciana Andreia Fondazzi Martimiano. Sobre a estruturação de informações em sistemas de segurança: o uso de ontologia. Universidade de São Paulo, . 2006. Tese de doutorado: Edson dos Santos Moreira.
3.	Rogério Eduardo Garcia. VIDAese: processo de visualização exploratória para apoio a estudos empíricos em verificação, validação e teste de software. Universidade de São Paulo, . 2006. Tese de doutorado: Jose Carlos Maldonado.

1.	Maria Istela Cagnin. PARFAIT: uma contribuição para a reengenharia de software baseada em linguagens de padrões e frameworks. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Tese de doutorado: Jose Carlos Maldonado.
2.	Mauro Cesar Bernardes. Modelagem de Sistemas de Segurança Computacional como Sistemas de Informação. Universidade de São Paulo, . 2005. Tese de doutorado: Edson dos Santos Moreira.

1.	Adenilso da Silva Simão. "Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas". Instituto de Ciências Matemáticas e de Computação (USP), Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Tese de doutorado: Jose Carlos Maldonado.
2.	AURI MARCELO RIZZO VINCENZI. Orientação a objeto: definição, implementação e análise de recursos de teste e validação. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientadores: Márcio Eduardo Delamaro, Jose Carlos Maldonado.
3.	Ellen Francine Barbosa. Uma contribuição ao processo de desenvolvimento e modelagem de módulos educacionais. Universidade de São Paulo, . 2004. Tese de doutorado: Jose Carlos Maldonado.
4.	Tatiana Sugeta. Uma contribuição para o teste de especificação SDL : aspectos teóricos e empíricos. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Tese de doutorado: Jose Carlos Maldonado.

1.	Anja Pratschke. Entre Mnemo e Locus: Arquitetura de Espaços Virtuais, Construção de Espaços Mentais. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Tese de doutorado: Edson dos Santos Moreira.
2.	João Benedito S. Junior. Modelagem de ambientes interativos consciente de contexto: Uma abordagem baseada nas produções MPEG-4 e MREG-7. Universidade de São Paulo, . 2002. Tese de doutorado: Edson dos Santos Moreira.

1.	Edmundo S Spoto. Teste Estrutural de Programas de Aplicação de Banco de dados Relacional. Universidade Estadual de Campinas, . 2000. Tese de doutorado: Jose Carlos Maldonado.
2.	Simone do Rocio Senger de Souza. Validação de Especificações de Sistemas Reativos: Definição e Análise de Critérios de Teste. Universidade de São Paulo, . 2000. Tese de doutorado: Jose Carlos Maldonado.
3.	Walter Encinas Soto Junior. Avaliação de um Sistema de Compressão usando Wavelets e Lógica Programável. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000. Tese de doutorado: Edson dos Santos Moreira.

1.	Osvaldo Tadotomo Oshiro. Controlador com Arquitetura Paralela Baseado no Processador TMS320C40 para Máquinas-Ferramentas de Ultraprecisão. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1998. Tese de doutorado: Onofre Trindade Junior.
2.	Plínio Roberto Souza Vilela. Critérios Potenciais Usos de Integração: Definição e Análise. Universidade Estadual de Campinas, . 1998. Tese de doutorado: Jose Carlos Maldonado.

1.	Adriano Mauro Cansian. Um Sistema Adaptativo de Deteção de Intrusão Em Redes de Computadores. Instituto de Física de São Carlos, . 1997. Tese de doutorado: Edson dos Santos Moreira.
2.	Alberto Nobiato Crespo. Modelos de Confiabilidade de Software Baseados em Cobertura de Critérios Estruturais de Teste. Universidade Estadual de Campinas, . 1997. Tese de doutorado: Jose Carlos Maldonado.
3.	Marcio Eduardo Delamaro. Mutação de Interface: Um Critério de Adequação Interprocedimental para o Teste de Integração. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1997. Tese de doutorado: Jose Carlos Maldonado.
4.	Silvia Regina Vergilio. Critérios Restritos: Uma Contribuição para aprimorar a Eficácia da Atividade de Teste de Software. Universidade Estadual de Campinas, . 1997. Tese de doutorado: Jose Carlos Maldonado.