Currículo do Sistema de Currículos Lattes (Adilson Luiz Bonifácio)

Dados pessoais

Nome	Adilson Luiz Bonifácio
Nome em citações bibliográficas	BONIFÁCIO, A. L.;Bonifácio, Adilson Luiz
Sexo	Masculino

Endereço profissional

Universidade Estadual de Londrina, Centro de Ciências Exatas, Departamento de Computação.
Rod. Celso Garcia Cid, S/N - Bloco J - Sala 307B
Campus Universitário
86051-990 - Londrina, PR - Brasil
Telefone: (43) 33714678

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

2005 - 2009

Doutorado em Ciência da Computação .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Geração de Conjuntos de Teste para Sistemas Reativos, de Tempo-Real, e com Transformações de Contexto, Ano de Obtenção: 2009.
Orientador:

Arnaldo Vieira Moura.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .
Palavras-chave: Timed systems; Context transformations; model-based testing; Test case generation; Timed context test case generation.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Métodos Formais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Verificação de Sistemas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Teste de Software.

1998 - 2000

Mestrado em Ciência da Computação .
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Verificação e Síntese de Sistemas Híbridos, Ano de Obtenção: 2000.
Orientador:

Arnaldo Vieira Moura.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: autômatos híbridos; verificação; sistemas críticos; síntese; controle aéreo; controle metroviário.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
Setores de atividade: Aeronáutica e Espaço; Outro.

1994 - 1997

Graduação em Bacharelado em Ciência da Computação .
Universidade Estadual de Maringá, UEM, Brasil.
Título: Estudo e Comparação de Provadores Automáticos de Teoremas.
Orientador: Itana Maria de Souza Gimenes.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico .

Formação complementar

2011 - 2011

Inglês Avançado. (Carga horária: 84h).
Leiden University.

2003 - 2003

Curso de Qualificação Linux Avançado. (Carga horária: 32h).
Universidade Estadual de Londrina, UEL, Brasil.

Atuação profissional

University of Leiden, UNIV LEIDEN, Holanda.

Vínculo institucional

2010 - 2011

Vínculo: Coimbra Group Scholarship, Enquadramento Funcional: Researcher, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

2010 - 2011	Atividades de Participação em Projeto, Leiden Institute of Advanced Computer Science, .
	Projetos de pesquisa Foundation of Software Engineering Group

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

2008 - 2009

Vínculo: Colaborador, Enquadramento Funcional: Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

2008 - 2009	Atividades de Participação em Projeto, Instituto de Computação, .
	Projetos de pesquisa Ed172007 CTInfo Soft-Edital MCT-SEPIN/CNPq/CT-INFO nº 17/2007 - Programa para Promoção da Excelência do Software Brasileiro

Universidade São Francisco, USF, Brasil.

Vínculo institucional

2002 - 2002

Vínculo: Professor, Enquadramento Funcional: Professor titular, Carga horária: 10

Atividades

2/2002 - 7/2002	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Teoria da computação e Linguagens Formais Linguagens Formais e Autômatos

Choose Technologies, XXX, Brasil.

Vínculo institucional

2002 - 2002

Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 40

Atividades

3/2002 - 6/2002	Treinamentos ministrados .
	Treinamentos ministrados OO/UML Gerência de Projeto CMM MPN

3/2002 - 6/2002	Conselhos, Comissões e Consultoria, .
	Cargo ou função Consultor.

Universidade Estadual de Londrina, UEL, Brasil.

Vínculo institucional

2002 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2011 - Atual	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Teoria da Computação

03/2010 - Atual	Direção e administração, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Coordenador de Trabalho de Conclusão de Curso.

03/2010 - Atual	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Computação.
	Projetos de pesquisa Um Ambiente Integrado de Verificação e Teste Baseado em Modelos para Sistemas Críticos

03/2011 - 07/2011	Ensino, Ciência da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Grafos

07/2010 - 12/2010	Ensino, Ciência da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Análise e Projeto de Algoritmos

03/2010 - 12/2010	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Teoria da Computação

03/2010 - 08/2010	Ensino, Ciência da Computação, Nível: Pós-Graduação.
	Disciplinas ministradas Teoria dos Grafos

07/2009 - 12/2009	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Teoria da Computação

07/2009 - 12/2009	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Laboratório de Programação

5/2004 - 5/2007	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Computação.
	Projetos de pesquisa Ferramenta para desenvolvimento automático de ambientes virtuais com controle em redes de petri

9/2002 - 7/2005	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Computação.
	Projetos de pesquisa Visualização de imagens gráficas

7/2002 - 06/2005	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Teoria da Computação

6/2004 - 5/2005	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Coordenador de Comissão de Pesquisa.

6/2004 - 5/2005	Conselhos, Comissões e Consultoria, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Vice coordenador de TCC.

04/2005 - 04/2005	Ensino, Engenharia de Software e Banco de Dados, Nível: Especialização.
	Disciplinas ministradas Técnicas e Especificações Formais de Sistemas

4/2004 - 3/2005	Direção e administração, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Coordenador do LAPES (Laboratório de Pesquisa em Engenharia de Software).

4/2004 - 3/2005	Atividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Computação.
	Projetos de pesquisa Projeto de pesquisa em engenharia de software e métodos de computação (LAPES)

11/2002 - 3/2005	Direção e administração, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Coordenador da Rede Linux.

12/2002 - 12/2004	Direção e administração, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Coordenador de programa (Software Livre).

4/2004 - 08/2004	Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Projeto e implementação de sistemas de informação

04/2004 - 04/2004	Ensino, Engenharia de Software e Banco de Dados, Nível: Especialização.
	Disciplinas ministradas Especificações Formais

10/2002 - 12/2003	Conselhos, Comissões e Consultoria, Centro de Tecnologia e Urbanismo, Engenharia Elétrica.
	Cargo ou função Membro de colegiado.

11/2002 - 10/2003	Direção e administração, Centro de Ciências Exatas, Departamento de Computação.
	Cargo ou função Coordenador de Laboratórios.

Instituto Paulista de Ensino e Pesquisa, IPEP, Brasil.

Vínculo institucional

2001 - 2002

Vínculo: Professor, Enquadramento Funcional: Professor titular, Carga horária: 5

Atividades

6/2001 - 7/2002	Ensino, Tecnologia em Informática, Nível: Graduação.
	Disciplinas ministradas Algoritmos e Estrutura de Dados Arquivos e Banco de Dados

6/2001 - 7/2002	Ensino, Sistemas de Informação, Nível: Graduação.
	Disciplinas ministradas Sistemas de Informação e Segurança das Informações

Projetos de Pesquisa

2010 - 2011	Foundation of Software Engineering Group
	Descrição: Research and cooperation activities in Coordination Models and Model-based Testing. Situação: Concluído; Natureza: Pesquisa. Integrantes: Marcello Bonsangue - Coordenador / Adilson Luiz Bonifácio - Integrante. .

2010 - Atual	Um Ambiente Integrado de Verificação e Teste Baseado em Modelos para Sistemas Críticos
	Situação: Em andamento; Natureza: Pesquisa. Integrantes: Adilson Luiz Bonifácio - Coordenador. .

2007 - 2009	Ed172007 CTInfo Soft-Edital MCT-SEPIN/CNPq/CT-INFO nº 17/2007 - Programa para Promoção da Excelência do Software Brasileiro
	Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado ( 1) . Integrantes: Rodolfo Jardim de Azevedo - Coordenador / Adilson Luiz Bonifácio - Integrante. .

2004 - 2007

Ferramenta para desenvolvimento automático de ambientes virtuais com controle em redes de petri

Descrição: Pesquisa em modelos formais de controle concorrência (Preti nets) para o desenvolvimento de uma ferramenta que auxilia a construção de ambientes virtuais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 8) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Adilson Luiz Bonifácio - Coordenador.
.

2004 - 2005

Projeto de pesquisa em engenharia de software e métodos de computação (LAPES)

Descrição: Pesquisas relacionadas a área de Engenharia de Software e Métodos de Computação: *Elaboração de técnicas para a utilização de métodos formais com modelos estruturados aplicados ao desenvolvimento de software. *Modegalem matemática utilizando técnicas de engenharia para roteamento *Desenvolvimento de uma modelo de construção para framework de um domínio específico *Modelos e algortimos de criptografia na engenharia de software *Avaliação de métricas de software.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 4) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Rafael Henrique Palma - Integrante / Rony Neri - Integrante / Gerson Fuzitaki - Integrante / Rafael Alves - Integrante / Eduardo Rossi - Integrante / Adilson Luiz Bonifácio - Coordenador.
Financiador(es): Associaçãodo Desenvolvimento Tecnológico de Londrina - Cooperação..

2002 - 2005	Visualização de imagens gráficas
	Descrição: Projeto de visualização de imagens usando transformadas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Alan Salvany Felinto - Coordenador / Adilson Luiz Bonifácio - Integrante. .

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
3.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
4.	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.
5.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Métodos Formais.
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: Teste de Software.

Idiomas

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

Prêmios e títulos

2004	1º LUGAR no IX CONTTEIN com o trabalho Desenvolvimento de um Sistema de Roteamento de Veículos usando um Ambiente em Plataforma Livre, Adetec e Universidades: UEL, UNIFIL, UNOPAR, PUC/PR, FACCAR e METROPOLITANA.
2004	3º LUGAR no IX CONTTEIN com o trabalho Utilização de Plataforma Livre para a Especificação de Sistemas através da Integração de Modelos Formais na Tradicional Engenharia de Software, Adetec e Universidades: UEL, UNIFIL, UNOPAR, PUC/PR, FACCAR e METROPOLITANA.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	Bonifácio, Adilson Luiz ; Moura, Arnaldo Vieira . A new method for testing timed systems. Software Testing, Verification & Reliability, p. n/a-n/a, 2011.

2.	BONIFÁCIO, A. L. ; MOURA, A ; SIMAO, A ; MALDONADO, J . Towards Deriving Test Sequences by Model Checking. Electronic Notes in Theoretical Computer Science, v. 195, p. 21-40, 2008.

3.	BONIFÁCIO, A. L. ; GOMES, F. A. L. . Modelos Orientados a Estado na Especificação de Software. Semina. Ciências Exatas e Tecnológicas (Impresso), v. 25, p. 163-170, 2004.

4.	BONIFÁCIO, A. L. ; GIMENES, I. M. S. . Estudo e Comparação de Provadores Automáticos de Teoremas. Revista Tecnológica (UEM), v. 7, p. 75-85, 1998.

Trabalhos completos publicados em anais de congressos

1.	BONIFÁCIO, A. L. ; DOI Jr., G. . A Tool to Support Model-Based Testing Activities. In: Brazilian Symposium on Computing System Engineering (SBESC), 2011, Florianópolis. Computing System Engineering (SBESC), 2011 Brazilian Symposium on, 2011. p. 21-26.

2.

BONIFÁCIO, A. L. ; MOURA, A. V. ; SIMÃO, A. da S. . A Generalized Model-Based Test Generation Method. In: Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town. Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008. p. 139-148.

3.	BONIFÁCIO, A. L. ; MOURA, A. V. ; SIMÃO, A. da S. ; MALDONADO, J. C. . Conformance Testing by Model Checking Timed Extended Finite State Machines. In: Brazilian Symposium on Formal Methods (SBMF'06), 2006, Natal-RN. Brazilian Symposium on Formal Methods, 2006. p. 43-58.

4.	BONIFÁCIO, A. L. ; SANTOS, Davi T . Software Livre na Universidade:Aprendizado, Economia, Segurança e Desempenho. In: V Workshop de Software Livre - WSL2004, 2004, Porto Alegre. Anais do V Workshop de Software Livre, 2004. p. 21-24.

5.	BONIFÁCIO, A. L. ; PALMA, Rafael Henrique . Desenvolvimento de um Sistema de Roteamento de Veículos usando um Ambiente em Plataforma Livre. In: IX CONTTEIN - Congresso de Tecnologia, Telecomunicações e Informática, 2004, Londrina. IX CONTTEIN, 2004.

6.	BONIFÁCIO, A. L. ; NERI, Rony . Utilização de Plataforma Livre para a Especificação de Sistemas através da Integração de Modelos Formais na Tradicional Engenharia de Software. In: IX CONTTEIN, 2004, Londrina. IX CONTTEIN - Congresso de Tecnologia, Telecomunicações e Informática, 2004.

7.

BONIFÁCIO, A. L. ; MOURA, A. V. . Modeling and Parameters Synthesis for an Air Traffic Management System. In: 3rd International Conference on Formal Methods in Computer Aided Design (FMCAD'00), 2000, Austin. Lecture Notes in Computer Science. Heidelberg Berlin : Springer Verlag, 2000. v. 1954. p. 316-334.

8.

BONIFÁCIO, A. L. ; MOURA, A. V. ; CAMARGO JR, J. B. ; ALMEIDA JUNIOR, J. R. . Formal Parameters Synthesis for Tracks Segments of a Subway Mesh. In: 7th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS'00), 2000, Edinburgh. Institute of Electrical and Electronic Engineers (IEEE), 2000. p. 263-272.

9.	BONIFÁCIO, A. L. ; MOURA, A. V. ; CAMARGO JR, J. B. ; ALMEIDA JUNIOR, J. R. . Análise e Verificação de Segmentos de Via de uma Malha Metroviária. In: 2nd Workshop on Formal Methods (WMF'99), 1999, Florianópolis. 2nd Workshop on Formal Methods (WMF'99), 1999. p. 13-22.

Resumos expandidos publicados em anais de congressos

1.	BONIFÁCIO, A. L. ; KASTER, Daniel dos Santos ; GOUVEA, Daniel Vitor Blaia ; SANTOS, Davi Trindade dos ; BERRI, Rômulo . Adoção de Software Livre em Instituições de Ensino. In: VI Encontro Anual de Iniciação Científica do Paraná, 2003, Foz do Iguaçu, 2003.

Resumos publicados em anais de congressos

1.	BONIFÁCIO, A. L. ; GIMENES, I. M. S. . Estudo e Comparação de Provadores Automáticos de Teoremas. In: VI Encontro Anual de Iniciação Científica do Paraná, 1997, Ponta Grossa. Anais do VI Encontro Anual de Iniciação Científica do Paraná. Ponta Grossa : UEPG, 1997.

Artigos aceitos para publicação

1.	BONIFÁCIO, A. L. ; MOURA, A. V. ; SIMÃO, A. da S. . Model Partitions and Compact Test Case Suites. International Journal of Foundations of Computer Science, 2012.

Apresentações de Trabalho

1.	BONIFÁCIO, A. L. ; MOURA, A. V. ; SIMÃO, A. da S. . Generalized Model-Based Test Generation Method. 2008. (Apresentação de Trabalho/Conferência ou palestra).

2.	BONIFÁCIO, A. L. . Verificação de Sistemas Críticos e de Tempo Real. 2006. (Apresentação de Trabalho/Seminário).

3.	BONIFÁCIO, A. L. . Conformance Testing by Model Checking Timed Extended Finite State Machines. 2006. (Apresentação de Trabalho/Simpósio).

4.	BONIFÁCIO, A. L. . Verificação e Teste de Sistemas Críticos e de Tempo Real via Model Checking. 2006. (Apresentação de Trabalho/Outra).

5.	BONIFÁCIO, A. L. . Software Livre no ensino: Economia com segurança e desempenho. 2004. (Apresentação de Trabalho/Conferência ou palestra).

6.	BONIFÁCIO, A. L. . Software Livre: Filosofia e Ferramentas. 2004. (Apresentação de Trabalho/Conferência ou palestra).

7.	BONIFÁCIO, A. L. . Adoção Linux e Soluções Livres na Universidade. 2003. (Apresentação de Trabalho/Conferência ou palestra).

8.	BONIFÁCIO, A. L. . Administração de Usuários. 2003. (Apresentação de Trabalho/Conferência ou palestra).

9.	BONIFÁCIO, A. L. . Máquinas de estados finitos para modelagem de sistemas e suas extensões. 2002. (Apresentação de Trabalho/Conferência ou palestra).

10.	BONIFÁCIO, A. L. . Formal Parameters Synthesis for Track Segments of a Subway Mesh. 2000. (Apresentação de Trabalho/Congresso).

11.	BONIFÁCIO, A. L. . Modeling and Parameters Synthesis for an Air Traffic Management System. 2000. (Apresentação de Trabalho/Congresso).

12.	BONIFÁCIO, A. L. . Real World Applications of Hybrid Automata. 2000. (Apresentação de Trabalho/Conferência ou palestra).

13.	BONIFÁCIO, A. L. . Analysis and Verification for Track Segments of a Subway Mesh. 1999. (Apresentação de Trabalho/Congresso).

Produção técnica

Softwares sem registro de patente

1.	BONIFÁCIO, A. L. ; PALMA, Rafael Henrique . Sistema de Roteamento de Veículos. 2004.

Trabalhos técnicos

1.	BONIFÁCIO, A. L. ; MOURA, A. V. ; SIMÃO, A. da S. . Exponentially more succinct test suites. 2009.

2.	BONIFÁCIO, A. L. ; MOURA, A. V. . A new timed discretization method for automatic test generation for timed systems. 2009.

3.	BONIFÁCIO, A. L. ; MOURA, A. V. . Generating test suites for timed systems with context variables. 2009.

4.	BONIFÁCIO, A. L. ; MOURA, A. V. ; SIMÃO, A. da S. . A Generalized Model-based Test Generation Method. 2008.

5.	BONIFÁCIO, A. L. ; MOURA, A. V. . Formal verification and parameters synthesis for hybrid real systems. 2005.

6.	BONIFÁCIO, A. L. ; MOURA, A. V. . Formal Verification and Synthesis for an Air Traffic Management System. 2000.

7.	BONIFÁCIO, A. L. ; MOURA, A. V. ; CAMARGO JR, J. B. ; ALMEIDA JUNIOR, J. R. . Analysis, Verification and Synthesis for Track Segments of a Subway Mesh,. 1999.

Demais tipos de produção técnica

1.	BONIFÁCIO, A. L. . Introdução ao Linux. 2003. (Curso de curta duração ministrado/Outra).

2.	BONIFÁCIO, A. L. . Curso do S. O. Linux. 2003. (Curso de curta duração ministrado/Outra).

Demais trabalhos

1.	BONIFÁCIO, A. L. . Grupo Linux e de Software Livre. 2002 (Coordenação).

Bancas

Participação em bancas examinadoras

Dissertações

1.

BONIFÁCIO, A. L.; MIRANDA, Rodolfo; PALMA, Jandira G; Daniel Capaldo Amaral. Participação em banca de Cristina Yassue Morimoto. Modelagem de Processo de Negócios como Apoio ao Desenvolvimento Ágil de Software. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Londrina.

Trabalhos de Conclusão de Curso de graduação

1.	BONIFÁCIO, A. L.. Participação em banca de Gilson Doi Junior. Análise e integração de métodos baseados em modelos para geração automática de casos de teste. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

2.	BONIFÁCIO, A. L.. Participação em banca de Felipe Lopes da Silva. Minimizando o Impacto da Verificação Formal de Sistemas Críticos em Modelos de Alto Nível. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

3.	BONIFÁCIO, A. L.. Participação em banca de Felipe Fahl Nicolau. Estudo Aprofundado Sobre o Teste Estruturado e Suas Aplicações. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

4.	BONIFÁCIO, A. L.. Participação em banca de Gerson Yoshio Fuzitaki. Avaliação de desempenho de algoritmos de criptografia. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

5.	BONIFÁCIO, A. L.. Participação em banca de Rafael Henrique Palma Lima. Estudo e Modelagem dos Problemas de Roteamento de Veículos VRP's. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

6.	BONIFÁCIO, A. L.. Participação em banca de Rony Cezar Neri. Integração de Métodos Formais no Projeto de Sistemas utilizando um Modelo Convencional. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

7.	BONIFÁCIO, A. L.; BRUNETTO, Angelica; MANHAS JR, Elieser. Participação em banca de Ebano P A Lopes. Computação Quântica: Simuladores de Computadores Quânticos. 2003. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina.

Participação em bancas de comissões julgadoras

Concurso público

1.	BONIFÁCIO, A. L.; NUNES, M. G. V.; GONÇALVES, R. A.. Concurso Público para Professor. 2011. Universidade Estadual de Maringá.

2.	BONIFÁCIO, A. L.; BORIN, E.; ATTROT, W.. Concurso Público para Professor. 2011. Universidade Estadual de Londrina.

Outras participações

1.	BONIFÁCIO, A. L.. FSEN - Fundamentals of Software Engineering. 2011.

2.	BONIFÁCIO, A. L.. SBMF - Simpósio Brasileiro de Métodos Formais. 2010.

3.	BONIFÁCIO, A. L.. SBMF - Simpósio Brasileiro de Métodos Formais. 2009.

4.	BONIFÁCIO, A. L.. SBMF - Simpósio Brasileiro de Métodos Formais. 2007.

5.	BONIFÁCIO, A. L.. Teste Seletivo para Professor. 2004. Universidade Estadual de Londrina.

Eventos

Participação em eventos

1.	Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM.A Generalized Model-Based Test Generation Method. 2008. (Congresso).

2.	1st International School on SOFTWARE ENGINEERING AND FORMAL METHODS. 2008. (Outra).

3.	Brazilian Symposium on Formal Methods (SBMF).Conformance Testing by Model Checking Timed Extended Finite State Machines. 2006. (Simpósio).

4.	V Fórum Internacional de Software Livre.V Fórum Internacional de Software Livre. 2004. (Congresso).

5.	III Ciclo de Palestras em Informática.Software Livre: Filosofia e Ferramentas. 2004. (Seminário).

6.	I SITE - Semana de Informática e Tecnologia.Software Livre. 2004. (Encontro).

7.	Conferência Internacional de Software Livre. 2003. (Congresso).

8.	I TECHINPAR.I TECHINPAR. 2003. (Seminário).

9.	II Seminário de Desenvolvimento em Software Livre. 2003. (Seminário).

10.	Ciclo de Palestras Linux e de Software Livre.Palestras de Linux e de Software Livre. 2003. (Encontro).

11.	I Semana de Computação da UEL -SECOMP.I Semana de Computação da UEL - Secomp. 2003. (Outra).

12.	Semana do Software Livre.Semana do Software Livre. 2003. (Outra).

13.	Ciclo de Palestras Linux e de Software Livre.Palestras de Linux e Software Livre. 2002. (Encontro).

14.	7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems.7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. 2000. (Congresso).

15.	Uso de Model Checking na Validação de Software Embarcado.Uso de Model Checking na Validação de Software Embarcado. 2000. (Encontro).

16.	II Workshop em Métodos Formais.II Workshop em Métodos Formais. 1999. (Encontro).

17.	II Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE.II Encontro Anual de Pesquisa e de Iniciação Científica da UNOESTE. 1997. (Encontro).

18.	VI Encontro Anual de Iniciação Científica.VI Encontro Anual de Iniciação Científica. 1997. (Encontro).

Organização de eventos

1.	BONIFÁCIO, A. L. . Coordenador da Escola Regional de Informática da SBC. 2003. (Congresso).

2.	BONIFÁCIO, A. L. . Coordenador do Ciclo de Palestras do Grupo Linux/Software Livre. 2003. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Gilson Doi Junior. Geração de testes para sistemas críticos. Início: 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Londrina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Iniciação científica

1.	Hayato Fujii. Um ambiente gráfico de integração para ferramentas de geração de casos de teste. Início: 2011. Iniciação científica (Graduando em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. (Orientador).

Supervisões e orientações concluídas

Trabalho de conclusão de curso de graduação

1.	HUEMER DIOGO DE CAMARGO QUEIRÓZ. RELAÇÃO DE CONFORMIDADE PARA MODELAGENS EM AUTÔMATO GRID. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

2.	Gilson Doi Junior. Análise e integração de métodos baseados em modelos para geração automática de casos de teste. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

3.	Felipe Lopes da Silva. Minimizando o Impacto da Verificação Formal de Sistemas Críticos em Modelos de Alto Nível. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

4.	Felipe Fahl Nicolau. Estudo Aprofundado Sobre o Teste Estruturado e Suas Aplicações. 2010. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

5.	Gerson Yoshio Fuzitaki. Avaliação de desempenho de algoritmos de criptografia. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

6.	Rony Cezar Neri. Integração de Métodos Formais no Projeto de Sistemas utilizando um Modelo Convencional. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

7.	Rafael Henrique Palma Lima. Estudo e Modelagem dos Problemas de Roteamento de Veículos - VRP's. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.

8.	Ébano Penha Andrello Lopes. Computação Quântica: Simuladores de Computadores Quânticos. 2003. 54 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual de Londrina. Orientador: Adilson Luiz Bonifácio.