Mario Lúcio Côrtes

  • Endereço para acessar este CV: http://lattes.cnpq.br/8094245998438335
  • Última atualização do currículo em 21/01/2019


Possui graduação em Engenharia Eletrônica pelo Instituto Tecnológico de Aeronáutica (1973), mestrado em Engenharia Elétrica pela Universidade de São Paulo (1980) e doutorado em Electrical Engineering - Stanford University (1987). Trabalhou na Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações como pesquisador e gerente de qualidade no período 1987 a 2010. Professor Associado do Instituto de Computação da Universidade Estadual de Campinas, com ingresso em 1991. Tem experiência na área de Ciência da Computação, com ênfase em Arquitetura de Sistemas de Computação, atuando principalmente nos seguintes temas: engenharia de software, qualidade de software, projeto e teste de circuitos VLSI e arquitetura de computadores. (Texto informado pelo autor)


Identificação


Nome
Mario Lúcio Côrtes
Nome em citações bibliográficas
CÔRTES, M. L.;CORTES, MARIO L.;CORTES, MARIO;CÔRTES, MARIO L.

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Institudo de Computação.
Av Albert Einstein, 1251
Barão Geraldo
13083852 - Campinas, SP - Brasil
Telefone: (19) 35215835
Fax: (19) 35215835
URL da Homepage: http://www.dcc.unicamp.br/~cortes


Formação acadêmica/titulação


1981 - 1987
Doutorado em Electrical Engineering.
Stanford University, STANFORD, Estados Unidos.
Título: Temporary Failures in Digital Circuits: Experimental Results and Fault Modeling, Ano de obtenção: 1987.
Orientador: Edward J McCluskey.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Palavras-chave: falhas temporárias; falhas intermitentes; sistemas digitais; modelo de falha.
Grande área: Engenharias
Setores de atividade: Industria Eletro-Eletrônica.
1978 - 1980
Mestrado em Engenharia Elétrica.
Universidade de São Paulo, USP, Brasil.
Título: Avaliação da Confiabilidade em Sistemas Digitais Triplicados,Ano de Obtenção: 1980.
Orientador: Francisco José de Oliveira Dias.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: confiabilidade; sistemas digitais; modelamento.
Grande área: Engenharias
Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos.
Setores de atividade: Industria Eletro-Eletrônica.
1969 - 1973
Graduação em Engenharia Eletrônica.
Instituto Tecnológico de Aeronáutica, ITA, Brasil.


Livre-docência


2000
Livre-docência.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Arquitetura de Computarodres, Ano de obtenção: 2000.
Palavras-chave: sistemas digitais; arquitetura de computadores; circuitos lógicos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware.
Setores de atividade: Industria Eletro-Eletrônica.


Formação Complementar


2008 - 2009
Curso de Formação de Black Belt. (Carga horária: 120h).
ANOVA Métodos para Melhoria, ANOVA, Brasil.


Atuação Profissional



Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Regime: Dedicação exclusiva.

Vínculo institucional

1989 - 2010
Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Carga horária: 20
Outras informações
A partir de março de 2010, passou a ser RDIDP (Regime de Dedicação Integral à Docência e Pesquisa)

Atividades

08/2012 - Atual
Direção e administração, Institudo de Computação, .

Cargo ou função
Chefe do Departamento de Sistemas de Computação.
8/1998 - Atual
Extensão universitária , Institudo de Computação, .

Atividade de extensão realizada
INF 310 - Modelos de Qualidade de Software.
1/1989 - Atual
Pesquisa e desenvolvimento , Institudo de Computação, .

1/1989 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
MC 602 - Introdução a Circuitos Lógicos
MC 603 - Laboratório de Circuitos Lógicos
MC 922 - Introdução ao Projeto de Sistemas VLSI
MC 702 - Arquitetura de Computadores
MC 722- Arquitetura de Computadores
MC 726- Análise e Projeto de Sistemas de Informação (Qualidade de Software
MC 522 - Organização de Computadores
1/1989 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
MO 612 - Introdução ao Projeto de Sistemas VLSI
MO 813 - Teste de Circuitos Digitais
MO 401 - Arquitetura de Computadores
MO 647 - Introdução ao Projeto de Sistemas VLSI
10/2012 - 08/2014
Direção e administração, Institudo de Computação, .

Cargo ou função
Presidente da Comissão Diretora de Informática.
08/2013 - 06/2014
Conselhos, Comissões e Consultoria, Institudo de Computação, .

Cargo ou função
Membro de Comissão para avaliação de solicitação para revalidação de diploma.
11/2013 - 05/2014
Conselhos, Comissões e Consultoria, Institudo de Computação, .

Cargo ou função
Organizador (como chefe do Departamento de Sistemas de Computação) de concurso para contratação de professor doutor.

Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações, CPqD, Brasil.
Vínculo institucional

1987 - 2010
Vínculo: Celetista formal, Enquadramento Funcional: Pesquisador e Gerente de Qualidade, Carga horária: 40
Outras informações
Trabalhei nas áreas: - Gerente da Qualidade (atual) - Gerente de Ambiente de Desenvolvimento de Software - Gerente de Ambiente de Desenvolvimento de Hardware - Engenheiro de Teste de Circuito Integrado Entre 2008 e 2010 coordenou e participou do projeto de tradução oficial do modelo CMMI versão 1.2 para o português. A tradução está atualmente disponível para consulta de toda a comunidade no site do SEI: http://www.sei.cmu.edu/

Atividades

04/1998 - 02/2010
Treinamentos ministrados , Assessoria da Qualidade, .

Treinamentos ministrados
Sistema da Qualidade do CPqD
04/1998 - 02/2010
Treinamentos ministrados , Assessoria da Qualidade, .

Treinamentos ministrados
Qualidade de Software
1/1998 - 02/2010
Pesquisa e desenvolvimento , Assessoria da Qualidade, .

Linhas de pesquisa
Implantação de ISO 9001
4/1997 - 02/2010
Direção e administração, Assessoria da Qualidade, .

Cargo ou função
Assessor da Qualidade.
1/1997 - 02/2010
Pesquisa e desenvolvimento , Assessoria da Qualidade, .

Linhas de pesquisa
Implantação de CMM
11/1996 - 01/2000
Pesquisa e desenvolvimento , Assessoria da Qualidade, .

6/1995 - 3/1997
Direção e administração, Assessoria da Qualidade, .

Cargo ou função
Gerente da Seção de Ambientes Básicos.

Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência, FUNBEC, Brasil.
Vínculo institucional

1980 - 1981
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro, Carga horária: 40

Atividades

10/1980 - 8/1981
Outras atividades técnico-científicas , Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência, Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência.

Atividade realizada
Desenvolvimento de um eletrocardiógrafo com controle microprocessado.
10/1980 - 8/1981
Outras atividades técnico-científicas , Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência, Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência.

Atividade realizada
Desenvolvimento de circuito para controle de velocidade de motor DC.

Palo Alto Research Associates, PARA, Estados Unidos.
Vínculo institucional

1987 - 1987
Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 10

Atividades

1/1987 - 3/1987
Pesquisa e desenvolvimento , Palo Alto Research Associates, .


David Systems, D.S., Estados Unidos.
Vínculo institucional

1987 - 1987
Vínculo: Outro, Enquadramento Funcional: Contratado temporário, Carga horária: 10
Outras informações
Análise de Confiabilidade; depuração e atualização de placas de circuito impresso; depuração de descrições de circuitos em ferramentas CAD

Atividades

1/1987 - 3/1987
Outras atividades técnico-científicas , David Systems, David Systems.

Atividade realizada
depuração de placas de circuito impresso.
1/1987 - 3/1987
Outras atividades técnico-científicas , David Systems, David Systems.

Atividade realizada
depuração de descrições em formato CAD.
1/1987 - 3/1987
Outras atividades técnico-científicas , David Systems, David Systems.

Atividade realizada
análise de confiabilidade.

Telecomunicações da Bahia, TELEBAHIA, Brasil.
Vínculo institucional

1974 - 1974
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro, Carga horária: 40

Atividades

1/1974 - 12/1974
Outras atividades técnico-científicas , Telecomunicações da Bahia, Telecomunicações da Bahia.

Atividade realizada
Projeto, Instalação e Testes de Equipamento para Multiplex Telefônico.


Linhas de pesquisa


1.
Projeto e Teste de Sistemas Digitais
2.
Arquitetura de Computadores
3.
Qualidade de Software
4.
Segurança e uso de PUFs (Physical Unclonable Function)
5.
Uso de requisitos não funcionais na estimativa de software
6.
Gestão de conhecimento em ambientes ágeis
7.
Adequação do processo de desenvolvimento de linhas de produto de software visando a manutenibilidade
8.
Implantação de CMM
9.
Implantação de ISO 9001
10.
Participação na Elaboração da ISO 15504
11.
Teste de vida acelerado de circuitos digitais
12.
Estudo sobre o efeito do ruído na rede de alimentação sobre Gate Arrays
13.
Comportamento de circuitos digitais sob falhas intermitentes


Projetos de desenvolvimento


2008 - 2010
Tradução oficial do modelo CMMI v. 1.2 para o Português
Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português..
Situação: Concluído; Natureza: Desenvolvimento.

Integrantes: Mario Lúcio Côrtes - Coordenador.


Revisor de periódico


2013 - 2013
Periódico: Anais do I CMAC Sudeste


Revisor de projeto de fomento


1990 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.
3.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos/Especialidade: Circuitos Eletrônicos.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: Sistemas de Telecomunicações.
5.
Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Gerência de Produção/Especialidade: Garantia de Controle de Qualidade.
6.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Italiano
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2014
Primeiro lugar na categoria Model2Market, em inovação no evento Spin 2014, Reitoria da UNICAMP.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1SURITA, RODRIGO C.2018SURITA, RODRIGO C. ; CÔRTES, MARIO L. ; ARANHA, DIEGO F. ; ARAUJO, GUIDO . CRPUF: A modeling-resistant delay PUF based on cylindrical reconvergence. MICROPROCESSORS AND MICROSYSTEMS, v. 60, p. 10-22, 2018.

Livros publicados/organizados ou edições
1.
CÔRTES, M. L.; CHIOSSI, Thelma C dos Santos . Modelos de Qualidade de Software. 1. ed. Campinas: Editora da Unicamp, 2001. v. 3000. 150p .

2.
CÔRTES, M. L.; FURTADO NETO, J. M. . Introdução ao Teste de Circuitos Digitais. Rio de Janeiro: V Escola Brasileiro-Argentina de Informática, 1991. v. 500. 140p .

Trabalhos completos publicados em anais de congressos
1.
SILVA, S. E. F. ; CÔRTES, M. L. . Use of non-functional requirements in software effort estimation: systematic review and experimental results. In: 5th International Conference in Software Engineering Research and Innovation (CONISOFT?17), 2017, Mérida, Yucatan, México. 5th International Conference in Software Engineering Research and Innovation (CONISOFT?17).

2.
SURITA, RODRIGO C. ; CORTES, MARIO L. ; ARANHA, DIEGO F. ; ARAUJO, GUIDO . Cylindrical Reconvergence Physical Unclonable Function. In: 2016 Euromicro Conference on Digital System Design (DSD), 2016, Limassol. 2016 Euromicro Conference on Digital System Design (DSD), 2016. p. 446.

3.
CAPOVILLA, JEFFERSON ; CORTES, MARIO ; ARAUJO, GUIDO . Improving the Statistical Variability of Delay-based Physical Unclonable Functions. In: the 28th Symposium, 2015, Salvador. Proceedings of the 28th Symposium on Integrated Circuits and Systems Design - SBCCI '15. v. 28. p. 1.

4.
HOFFMAN, CAIO ; CORTES, MARIO ; ARANHA, DIEGO F. ; ARAUJO, GUIDO . Computer security by hardware-intrinsic authentication. In: 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2015, Amsterdam. 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). v. 2015. p. 143.

5.
VIDAL, DANIEL ; CORTES, MARIO L. . Fast and accurate solution for power estimation and DPA countermeasure design. In: 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2014, Palma de Mallorca. 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). p. 1.

6.
CÔRTES, M. L.; VILLASBOAS, André ; LOPES, Sílvia . Do SQA ao PPQA: a implementação CMMI do CPqD. In: SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005, São Paulo. SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005.

7.
CÔRTES, M. L.; BOSKO, João Marcelo Borovina . P-CMM e outros modelos na Gestão de Pessoas. In: SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005, São Paulo. SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005.

8.
CÔRTES, M. L.; GOMES, Luiz Alberto . Comércio Eletrônico: uma Análise da Aplicabilidade de Modelos de Qualidade de Software. In: I Simpósio Brasileiro de Qualidade de Software, 2002, Gramado. I Simpósio Brasileiro de Qualidade de Software, 2002. v. 1. p. 100-115.

9.
CÔRTES, M. L.; GOMES, Luiz Alberto . Suitability of Software Quality Models to E-Commerce Applications. In: IADIS International Conference WWW/INTERNET 2002, 2002, Lisboa. Proceedings of the IADIS International Conference WWW/INTERNET 2002, 2002. v. 1. p. 632-635.

10.
CÔRTES, M. L.. Uma avaliação CMM de baixo custo: a abordagem do CPqD. In: Workshop de Qualidade de Software - SBC, 2001, Rio de Janeiro. Workshop de Qualidade de Software - Simpósio Brasileiro de Engenharia de Software, 2001. p. 51-61.

11.
CÔRTES, M. L.; BASTOS, Marta R ; VILLASBOAS, André . Implantação CMM: a Experiência do CPqD. In: X Conferência Internacional de Tecnologia de Software (CITS), 1999, Curitiba. X Conferência Internacional de Tecnologia de Software, 1999.

12.
CÔRTES, M. L.; VILLASBOAS, André ; BASTOS, Marta R ; ARRUDA, Nazareth . Avaliação CMM: a Experiência do CPqD. In: Workshop de Qualidade de Software - SBC, 1998, Maringá - Paraná. Anais do Workshop de Qualidade de Software - XII Simpósio Brasileiro de Engenharia de Software, 1998.

13.
CÔRTES, M. L.; ARAÚJO, Guido ; PANNAIN, Ricardo ; CENTODUCATTE, Paulo César . Code compression based on operand factorization. In: 31st International Symposium on Microarchitectures, 1998, Dallas - EUA. 31st International Symposium on Microarchitectures, 1998.

14.
CÔRTES, M. L.. Introdução ao teste de sistemas digitais. In: International Conference on Microelectronics and Packaging, 1998, Curitiba. International Conference on Microelectronics and Packaging, 1998.

15.
CÔRTES, M. L.; ADÁRIO, Alexandro dos Santos ; LEITE, Neucimar José . A FPGA Implementation of a Neighbourhood Processor for Digital Image Applications. In: X Simpósio Brasileiro de Concepção de Circuitos Integrados, 1997, Gramado. X Simpósio Brasileiro de Concepção de Circuitos Integrados, 1997.

16.
CÔRTES, M. L.; ADÁRIO, Alexandro dos Santos . Considerações sobre a Síntese em FPGAs de Células de Processadores Matriciais. In: XXIII Seminário Integrado de Software e Hardware - SEMISH, 1996, Recife. XXIII Seminário Integrado de Software e Hardware, 1996.

17.
CÔRTES, M. L.; ALEXANDRINO, Josemir Cruz . Uma Implementação em VLSI para o Reconhecimento de Imagens. In: XX Seminário Integrado de Software e Hardware, 1993, Florianópolis. XX Seminário Integrado de Software e Hardware, 1993.

18.
CÔRTES, M. L.; ALEXANDRINO, Josemir Cruz . Uma Implementação em VLSI para Wisard. In: Workshop sobre Computação de Alto Desempenho para Processamento de Sinais, 1993, São Carlos. Workshop sobre Computação de Alto Desempenho para Processamento de Sinais, 1993.

19.
CÔRTES, M. L.. Uma Implementação em VLSI para o Reconhecimento de Imagem. In: VI Conferência Nacional de Inteligência Artificial, 1993, Barquisimeto - Venezuela. VI Conferência Nacional de Inteligência Artificial, 1993.

20.
CÔRTES, M. L.. Planejamento de EDA: a Experiência do CPqD. In: VI Congresso da Sociedade Brasileira de Micro-Eletrônica, 1991, Belo Horizonte. VI Congresso da Sociedade Brasileira de Micro-Eletrônica, 1991.

21.
FURTADO NETO, J. M. ; CÔRTES, M. L. . H-ALG: um Algoritmo Hierárquico para a Geração de Padrão de Teste. In: IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989, Porto Alegre. IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989.

22.
CÔRTES, M. L.; RIBEIRO, A. J. L. . PLAs: Geração de Padrão de Teste e Avaliação de cobertura. In: IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989, Porto Alegre. IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989.

23.
CÔRTES, M. L.; FURTADO NETO, J. M. . I-ALG: um Algoritmo para a Geração de Padrão de Teste. In: III Congresso da Sociedade Brasileira de Micro-Eletrônica, 1988, São Paulo. III Congresso da Sociedade Brasileira de Micro-Eletrônica, 1988.

24.
AMER, H. ; CÔRTES, M. L. . Robust Dynamic Recovery Mechanisms. In: IEEE International Conference on Computer Design, 1987, New York. IEEE International Conference on Computer Design, 1987.

25.
CÔRTES, M. L.; MCCLUSKEY, E. J. . Modeling Power Supply Disturbances in Digital Circuits. In: IEEE International Solid State Circuits Conference, 1986, Anaheim, California. IEEE International Solid State Circuits Conference, 1986. p. 164-165.

26.
CÔRTES, M. L.; MCCLUSKEY, E. J. . Properties of Transient Errors Due to Power Sypply Disturbances. In: IEEE International Symposium on Circuits and Systems, 1986, San Jose, California. IEEE International Symposium on Circuits and Systems, 1986. p. 1046-1049.

27.
CÔRTES, M. L.; MCCLUSKEY, E. J. . An Experiment on Intermittent-Failure Mechanisms. In: IEEE International Test Conference, 1986, Washington, DC. IEEE International Test Conference, 1986.

28.
CÔRTES, M. L.; IYER, R. K. . Device Failures and System Activity: a Thermal Effects Model. In: IEEE Fault Tolerant Computing Symposium, 1984, Orlando, Florida. IEEE Fault Tolerant Computing Symposium, 1984. p. 71-76.

Apresentações de Trabalho
1.
CORTES, MARIO L.. Radiance. 2015. (Apresentação de Trabalho/Simpósio).


Produção técnica
Trabalhos técnicos
1.
VIDAL, D. ; CÔRTES, M. L. . DPE (Fast and Accurate Dynamic Power Estimation): Implementation and User Guidelines. 2015.

2.
CÔRTES, M. L.; ARAÚJO, Guido ; PANNAIN, Ricardo ; CENTODUCATTE, Paulo César . Code compression based on operand factorization. 1998.

3.
CÔRTES, M. L.; AUGUSTO, Nelson Vitor ; CENTODUCATTE, Paulo César . A CPU for Educational Applications Designed with VHDL and FPGA. 1996.

4.
CÔRTES, M. L.; KRUGER, Carlos Geraldo . Modelamento, simulação e síntese com VHDL. 1993.

5.
CÔRTES, M. L.. Techniques for Injecting Non Stuck-at Faults. 1987.

6.
CÔRTES, M. L.; AMER, H. . Inadequacy of Conventional Dynamic Recovery Mechamins in the Presence of Temporary Failures. 1987.

7.
CÔRTES, M. L.; GOOSEN, H. . Design of the Detector II: a CMOS Gate Array for the Study of Concurrent Error Detection Techniques. 1987.


Demais tipos de produção técnica
1.
CÔRTES, M. L.. 25th Symposium on Integrated Circuits and System Design. 2012. (Membro do Comitê de Programa da SBCCI-2012).



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 ARAÚJO, Guido ; SANTANA, M. F. . PUF eletrônico digital e método de captura para identificação do PUF proposto. 2013, Brasil.
Patente: Privilégio de Inovação. Número do registro: PI0062057, título: "PUF eletrônico digital e método de captura para identificação do PUF proposto" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 15/03/2013Instituição(ões) financiadora(s): FAPESP.

2.
 ARAÚJO, Guido ; CORTES, MARIO L. ; HOFFMAN, C. . ARQUITETURA SEGURA PARA SISTEMAS EMBARCADOS. 2015, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020150168314, título: "ARQUITETURA SEGURA PARA SISTEMAS EMBARCADOS" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 17/07/2015



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
CÔRTES, M. L.; GUDWIN, R. R.; CARVALHO, Ariadne M. B. Rizzoni. Participação em banca de Stallin Estefferson Ferreira da Silva. Uso de requisitos não-funcionais na estimativa de esforço de software: revisão sistemática e resultados experimentais. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

2.
ARAÚJO, Guido; AZEVEDO, Rodolfo Jardim de; BALDASSIN, A. J.; CALAZANS, N. L. V.; CÔRTES, M. L.. Participação em banca de Flávia de Oliveira Santos. MediaBox: Uma Plataforma Baseada em NoCs para Aplicações Multimídia. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

3.
ARAÚJO, Guido; BOIS, A. du; CORTES, MARIO L.; Sandro Rigo; Wang Jiang Chau. Participação em banca de Caio Hoffman. Análise de desgaste de técnicas de correção de erros em Phase-Change Memories. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

4.
JINO, Mario; SALVIANO, C.; COSTA, M. T. C.; CÔRTES, M. L.. Participação em banca de Edgar Lopes Banhesse. Um metamodelo de perfis de capacidade de processo. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

5.
ARAÚJO, Guido; MELCHER, E. U. K.; CENTODUCATTE, Paulo César; CÔRTES, M. L.; MARRANGHELLO, N.. Participação em banca de Yang Yun Ju. Impacto de Técnicas de Projeto na Redução de Consumo de Potência em ASICs. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
ARAÚJO, Guido; AZEVEDO, Rodolfo Jardim de; BRETERNITZ JR, M.; CÔRTES, M. L.; BALDASSIN, A. J.. Participação em banca de André Oliveira Loureiro do Baixo. Mecanismo para execução especulativa de aplicações paralelizadas por técnicas DODIPE usando replicação de estágios. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

7.
Sandro Rigo; Hexsel, Roberto; CENTODUCATTE, Paulo César; CÔRTES, M. L.. Participação em banca de ? Rodrigo Richard Cantos Faveri. Viabilizando a simulação multi-threaded para modelos escritos em SystemC. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

8.
Sandro Rigo; MOREANO, N. B.; CÔRTES, M. L.. Participação em banca de João Batista Corrêa Gomes Moreira. Análise de consumo de energia em STMs e uma plataforma de simulação multiprocessada com abstração híbrida. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

9.
CÔRTES, M. L.; CENTODUCATTE, Paulo César; FROLICH, A. A. M.. Participação em banca de Leonardo Luiz Ecco. SPARC16: Uma nova visão de compressão para processadores SPARC. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

10.
CÔRTES, M. L.; MARTINS, Eliane; CRESPO, Alberto Nobiato; GUIMARÃES, Célio Cardoso. Participação em banca de Marcus Valério de Queiroz Bruneli. A utilização de uma metodologia de teste no processamento da melhoria da qualidade do software. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

11.
CÔRTES, M. L.; GUERRA, Ana Cervigni; MASSRUHA, Silvia Maria Fonseca Silveira; MELLO FILHO, Rogério Drumond Burnier de. Participação em banca de Eduardo Vasconcelos Silva. Um modelo sistêmico para atividade de avaliação e teste de software. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

12.
CÔRTES, M. L.; GUERRA, Ana Cervigni; CARVALHO, Ariadne M. B. Rizzoni. Participação em banca de Márcio David Drach. Aplicabilidade de métricas por pontos de função em sistemas baseados em WEB. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

13.
CÔRTES, M. L.; GUERRA, Ana Cervigni; MASSRUHA, Silvia Maria Fonseca Silveira; CARVALHO, Ariadne M. B. Rizzoni. Participação em banca de Maurício Gruhn Sanches. Um estudo sobre os riscos inerentes à implantação do reuso de componentes no processo de desenvolvimento de software. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

14.
CÔRTES, M. L.; SANTOS, Raimundo Nonato Macedo dos; CARVALHO, José Oscar Fontanini de. Participação em banca de Antônio Tupinambá Timbira de Oliveira Pinto Filho. As contribuições da comunicação e do conhecimento da ciência da informação para a análise de requisitos no desenvolvimento de software. 2005. Dissertação (Mestrado em Ciência da Informação) - Pontifícia Universidade Católica de Campinas.

15.
CÔRTES, M. L.; BARANAUSKAS, Maria Cecília; SILVA, Júnia Coutinho Anacleto; LEITE, Neucimar Jerônimo. Participação em banca de Elaine Cristina da Cruz Miravete Vianna. Estudo e proposta de práticas participativas na gestão de requisitos. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

16.
CÔRTES, M. L.; MAGALHÃES, Geovane Cayres; MADEIRA, Edmundo Roberto Mauro; PARREIRA, Anderson Delcio. Participação em banca de Rogério Prado Colferai. Desempenho e Modelagem de SGBD Ogjeto-Relacional em Sistema de Visualização de Faturamento na WEB. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

17.
CÔRTES, M. L.; CATTO, Arthur João; GUERRA, Ana Cervigni; LEITE, Neucimar Jerônimo. Participação em banca de João Marcelo Borovina Josko. Gestão de Pessoas em tecnologia da informação - uma visão perspectiva das abordagens. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

18.
CÔRTES, M. L.; GUERRA, Ana Cervigni; PETENATTE, Ademir; ZOQUI, Eugenio. Participação em banca de Sônia Thereza Maintinguer. Um método de avaliação especialista para produtos de software, desenvolvido a partir dos requisitos de um edital. 2004. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.

19.
CÔRTES, M. L.; GUERRA, Ana Cervigni; PETENATTE, Ademir. Participação em banca de Eduardo Paulo Souza. Elementos fundamentais na melhoria da qualidade de software. 2004. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.

20.
CÔRTES, M. L.. Participação em banca de Christian Farias da Silva. Algoritmos para síntese de sistemas embutidos tolerantes a falhas empregando reconfiguração dinâmica de FPGAs. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

21.
MARTINS, Eliane; SILVA, Maria de Fátima Rdolfi Ordini Pires da; ANIDO, Ricardo de Oliveira; CÔRTES, M. L.. Participação em banca de Ângela Cristina de Oliveira. ETIERP - Estratégia de testes para implantação de sistemas ERP. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

22.
CÔRTES, M. L.. Participação em banca de José Artur Quilici Gonzalez. Algoritmos de otimização de planos de teste de unidades funcionais para circuitos BIST. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

23.
CÔRTES, M. L.. Participação em banca de Alexandre Carvalho de Alencar. Qualidade de dados em aplicações geográficas. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

24.
CÔRTES, M. L.. Participação em banca de Ademir Morgenstern Padilha. MAPS-15504: Uma metodologia de avaliação de processo de software para o ambiente ExPSEE baseada no ISO/IEC TR 15504. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

25.
CÔRTES, M. L.. Participação em banca de Jorge Arturo Martin Polar. Projeto e implementação da unidade de interface de rede de um sistema de barramento automotivo. 1998. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

26.
CÔRTES, M. L.. Participação em banca de Roberto Cangellar Cossi Júnior. Aplicações do boundary scan para o teste de módulos multi-chip. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

27.
CÔRTES, M. L.. Participação em banca de Henrique Eduardo Goulart. Integração de ferramentas automáticas de teste e diagnóstico. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

28.
CÔRTES, M. L.. Participação em banca de Renato Jansen de Oliveira Figueiredo. Síntese comportamental de circuitos utilizando SDL. 1995. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

29.
CÔRTES, M. L.. Participação em banca de Wilton Speziali Caldas. título. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

30.
CÔRTES, M. L.. Participação em banca de Álvaro Freitas Moreira. Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware. 1992. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

31.
CÔRTES, M. L.. Participação em banca de Fabian Luis Vargas. Validação de Protótipo e Análise de Falhas no Teste com Feixe de Elétrons: Um Estudo Visando a Sua Automação. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

32.
CÔRTES, M. L.. Participação em banca de Carlos Alberto Pisani. Medidor de dose de íons implantados. 1990. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

33.
CÔRTES, M. L.. Participação em banca de Alexandre César Rodrigues da Silva. Contribuição à minimização e simulação de circuitos lógicos. 1989. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Teses de doutorado
1.
ARAÚJO, Guido; RIGO, S.; BALDASSIN, A. J.; CASTRO, M. B.; CORTES, MARIO L.. Participação em banca de Márcio Machado Pereira. Scheduling Techniques for Transactional Memories. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

2.
MARTINS, Eliane; VIEIRA, M.; MATTIELLO-FRANCISCO, M. F.; JINO, Mario; RUBIRA, C. M. F.; CÔRTES, M. L.; SANTANCHE, A.; NAKAGAWA, E. Y.. Participação em banca de Juliana Galvani Greghi. Geração Semiautomática de Máquinas Finitas de Estados Estendidas a Partir de Documento de Padronização do Domínio Aeroespacial. 2015. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

3.
AZEVEDO, R. J.; MORAES, F. G.; BALDASSIN, A. J.; ARAÚJO, Guido; WANNER, L. F.; BORIN, E.; CÔRTES, M. L.; SANTOS, R. R.. Participação em banca de Liana Dessandre Duenha Garanhani. MPSoCBench: a Benchmark for High-Level Evaluation of Multiprocessor System-on-Chip Tools and Methodologies. 2015. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

4.
AZEVEDO, R. J.; SILVA, J. L. E.; HEXSEL, R. A.; ARAÚJO, Guido; CÔRTES, M. L.; TOKARNIA, A. M. B. H.; RIGO, S.; BALDASSIN, A.. Participação em banca de Bruno Cardoso Lopes. Estudo e Avaliação de Conjuntos de Instruções Compactos. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

5.
NAVAUX, P. O. A.; SENGER, H.; MADEIRA, E. R. M.; AZEVEDO, R. J.; HENRIQUES, M. A. A.; CÔRTES, M. L.; BALDASSIN, A. J.. Participação em banca de Leonardo de Paula Rosa Piga. Modeling, characterization, and optimization of web server power in data centers. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

6.
AZEVEDO, Rodolfo Jardim de; Luiz Carlos Villar dos Santos; Luigi Carro; Reinaldo Bergamaschi; Sandro Rigo; Wang Jiang Chau; CÔRTES, M. L.. Participação em banca de Felipe Vieira Klein. Técnicas Avançadas de Modelagem, Análise e Otimização de Potência em Sistemas Digitais. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

7.
CENTODUCATTE, Paulo César; Meira, Wagner; Lima, Manoel Eusébio; CÔRTES, M. L.; Calciolari, IIslene. Participação em banca de Alexandre José Baldassin. Explorando memória transacional em software nos contextos de arquiteturas assimétricas, jogos computacionais e consumo de energia. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

8.
AZEVEDO, Rodolfo Jardim de; CÔRTES, M. L.; CENTODUCATTE, Paulo César; SOUZA, Alberto Ferreira de; SATO, L. M.. Participação em banca de ? Ricardo Ribeiro dos Santos. 2D-VLIW: uma Arquitetura de Processador Baseada na Geometria da Computação. 2007. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

9.
CÔRTES, M. L.; JINO, Mario; SPÍNOLA, Mauro de Mesquita; CARDOZO, Eleri; RICARTE, Ivan Luiz Marques; MAGALHÃES, Maurício Ferreira. Participação em banca de Clenio Figueiredo Salviano. Uma proposta orientada a perfis de capacidade de processo para evolução da melhoria de processo de software. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

10.
CÔRTES, M. L.; ARAÚJO, Guido; SONG, Siang Wun; WAGNER, Flávio Rech; KOWALTOWSKI, Tomasz; SOUZA, Cid Carvalho de. Participação em banca de Nahri Balesdent Moreano. Algoritmos para Alocação de Recursos em Arquiteturas Reconfiguráveis. 2005. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

11.
CÔRTES, M. L.; FERNANDES, Antonio Otavio; BERGERMAN, Marcel; CAMPOS, Mario Fernando Montenegro; COELHO JUNIOR, Claudionor Jose Nunes. Participação em banca de Wilton Speziali Caldas. Tolerância a falhas adaptativa para robôs móveis com arquitetura híbrida. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

12.
CÔRTES, M. L.; CENTODUCATTE, Paulo César; AZEVEDO, Rodolfo Jardim de. Participação em banca de Eduardo Bráulio Wanderley Netto. Compressão de código baseada em multi-profiles. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

13.
CÔRTES, M. L.. Participação em banca de Rodolfo Jardim de Azevedo. Uma arquitetura para a execução de programas comprimidos em sistemas dedicados. 2002. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

14.
CÔRTES, M. L.. Participação em banca de Ricardo Pannain. Compressão de código de programa usando fatoração de operandos. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

15.
CÔRTES, M. L.. Participação em banca de Marcelo Arturo Jara Pérez. Projeto e implementação em VLSI de uma rede neural auto-organizável, utilizando síntese automática de alto nível. 1997. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

16.
CÔRTES, M. L.. Participação em banca de Alexandre César Rodrigues da Silva. Contribuição à minimização e simulação de circuitos lógicos. 1993. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
ARAÚJO, Guido; BORIN, E.; MORAES, F. G.; CÔRTES, M. L.; CALAZANS, N. L. V.. Participação em banca de Maxiwell Salvador Garcia. Metodologias para Simulações Arquiteturais Rápidas Utilizando a ADL ArchC.. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

2.
CÔRTES, M. L.; AZEVEDO, Rodolfo Jardim de. Participação em banca de ? Felipe Vieira Klein. Análise e Otimização de Potência de SoCs Heterogêneos. 2007. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

3.
CÔRTES, M. L.; BARANAUSKAS, Maria Cecília; MARTINS, Eliane; SILVA, Junia Coutinho Anacelto. Participação em banca de Juliano Schimiguel. Qualidade em Interface para Aplicações em SIG na WEB. 2005. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

4.
CÔRTES, M. L.; ARAÚJO, Guido. Participação em banca de Ricardo Ribeiro dos Santos. Técnicas Arquiteturais e Geração de Código para Arquiteturas Reconfiguráveis. 2005. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

5.
CÔRTES, M. L.; FERNANDES, Antonio Otavio; CAMPOS, Mario Fernando Montenegro; BERGERMAN, Marcel; COELHO JUNIOR, Claudionor Jose Nunes. Participação em banca de Wilton Speziali Caldas. Tolerância a falhas adaptativa para robôs móveis com arquitetura híbrida. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.



Participação em bancas de comissões julgadoras
Concurso público
1.
TOZZI, C. L.; KRETLY, L. C.; LOTUFO, R. A.; CARVALHO, A. A.; SEARA, R.; CORTES, MARIO L.; MAGALHAES, L. P.. Concurso para o provimento decargo de Professor Doutor, nível MS 3.1. 2015. Universidade Estadual de Campinas.

2.
TOZZI, C. L.; YACOUB, M. D.; SUSIN, A. A.; COURY, D. V.; CÔRTES, M. L.; RICARTE, I. L. M.. Concurso para o provimento decargo de Professor Doutor, nível MS 3.1. 2014. Universidade Estadual de Campinas.

3.
CÔRTES, M. L.. Concurso para preenchimento de vaga de professor associado; candidatos Rodolfo Jardim de Azevedo, Martha Ximena Torres Delgado e Marcelo Carvalho Tosin. 2003. Universidade Estadual de Campinas.

4.
CÔRTES, M. L.. Concurso para admissão de professor assistente-doutor; candidatos Antônio Augusto Fasolo Quevedo e Alice Maria Bastos Hubinger Tokarnia. 1999. Universidade Estadual de Campinas.

5.
CÔRTES, M. L.. Concurso para admissão de professor adjunto; candidatos Antônio Otávio Fernandes. 1991. Universidade Federal de Minas Gerais.

Livre docência
1.
SPÍNOLA, Mauro de Mesquita; Selma shin shimizu melnikiff; SHIMIZU, T.; RICCIO, E. L.; SOMA, N. Y.; CÔRTES, M. L.. Concurso para Livre Docência de Mauro de Mesquita Spínola. 2008. Universidade de São Paulo.

2.
CÔRTES, M. L.. Concurso para professor livre docente Guido Costa Souza de Araújo. 2001. Universidade Estadual de Campinas.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Radiance 2015.Membro do Comitê de Programa. 2015. (Simpósio).

2.
SBCCI.Membro do Comitê de Programa. 2015. (Simpósio).

3.
SBCCI.Membro do Comitê de Programa. 2013. (Simpósio).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
João Luis Villar de Oliveira. Uso de gestão de conhecimento em ambientes ágeis. Início: 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

Tese de doutorado
1.
Luiz Alberto Gomes. Processo de desenvolvimento de linhas de produto visando a manutenibilidade. Início: 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).

2.
Caio Hoffman. Uso de PUFs (Physical Unclonable Function) na geração de números aleatóreos. Início: 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

Iniciação científica
1.
Rodrigo Surita. Um novo método para coleta de spikes em respostas de PUFs (Physical Unclonable Function). Início: 2013. Iniciação científica (Graduando em Ciência da Computação) - Universidade Estadual de Campinas. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Stallin Estefferson Ferreira da Silva. Uso de requisitos não-funcionais na estimativa de esforço de software: revisão sistemática e resultados experimentais. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

2.
Jefferson Rodrigo Capovilla. Improving the Statistical Variability of Delay-based Physical Unclonable Functions. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Coorientador: Mario Lúcio Côrtes.

3.
Alexander Sieh. Uma implementação em Standard Cell de novos dispositivos PUF (Physical Unclonable Function). 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Coorientador: Mario Lúcio Côrtes.

4.
Daniel Vidal. Desenvolvimento e avaliação de uma técnica eficiente para estimativa de potência dinâmica em circuitos digitais gate-level. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

5.
Vitor Ciaramella. A Project Management Game-based learning tool. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

6.
Marcelo Fontes Santana. Autenticação de circuitos integrados usando Physical Unclonable Functions. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Coorientador: Mario Lúcio Côrtes.

7.
Luiz Yukishigue Kacuta. Integração de modelo do negócio com a especificação de software: uma proposta para alinhar sistemas à estratégia do negócio. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Coorientador: Mario Lúcio Côrtes.

8.
Gisele Consoline do Couto. Uma avaliação da influência da arquitetura no desempenho de sistemas de software. 2006. 0 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

9.
Andreza Polcelli. Um estudo sobre a relevância de melhores práticas de Engenharia de Requisitos. 2005. 120 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

10.
João Marcelo Borovina Josko. Gestão de pessoas em tecnologia da informação ? uma visão perspectiva das abordagens. 2004. 93 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

11.
Luiz Alberto Gomes. Aplicabilidade de modelos de qualidade ao desenvolvimento de aplicativos para comércio eletrônico. 2003. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

12.
Alexandro dos Santos Adário. Implementação em FPGA de um processador matricial para processamento de imagem. 1997. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Mario Lúcio Côrtes.

13.
Josemir Cruz Alexandrino. Uma Implementação em VLSI para o Reconhecimento de Imagens. 1994. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Mario Lúcio Côrtes.

14.
Carlos Geraldo Kruger. ASIC e VHDL: um Estudo de Metodologia de Projeto de Alto Nível Visando Reusabilidade de Hardware. 1993. 100 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

15.
Bernadete Aparecida de Lima Oliveira. Especificação de um Auditor de Testabilidade de Projetos de CIs Digitais Baseados em Células. 1991. 100 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, . Coorientador: Mario Lúcio Côrtes.

16.
José Mendonça Furtado Neto. H-ALG: Um algorítmo Hierárquico para a Geração de Padrão de Teste. 1990. 100 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

Tese de doutorado
1.
Caio Hoffman. Computer Security by Hardware-Intrinsic Authentication. 2019. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Coorientador: Mario Lúcio Côrtes.

2.
Paulo César Centoducatte. Compressão de Programas Usando Árvores de Expressão. 2000. 120 f. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, . Orientador: Mario Lúcio Côrtes.

Iniciação científica
1.
Lucas Carrilho Pessoa. Um novo método para garantir a integridade de programas de software com o uso de PUFs (Physical Unclonable Function). 2014. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Estadual de Campinas. Orientador: Mario Lúcio Côrtes.



Inovação



Patente
1.
 ARAÚJO, Guido ; SANTANA, M. F. . PUF eletrônico digital e método de captura para identificação do PUF proposto. 2013, Brasil.
Patente: Privilégio de Inovação. Número do registro: PI0062057, título: "PUF eletrônico digital e método de captura para identificação do PUF proposto" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 15/03/2013Instituição(ões) financiadora(s): FAPESP.

2.
 ARAÚJO, Guido ; CORTES, MARIO L. ; HOFFMAN, C. . ARQUITETURA SEGURA PARA SISTEMAS EMBARCADOS. 2015, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020150168314, título: "ARQUITETURA SEGURA PARA SISTEMAS EMBARCADOS" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 17/07/2015




Página gerada pelo Sistema Currículo Lattes em 17/02/2019 às 12:54:57