Juliano Manabu Iyoda

  • Endereço para acessar este CV: http://lattes.cnpq.br/0005349558315095
  • Última atualização do currículo em 20/11/2018


Possui graduação e mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (1997,2000) e doutorado em Ciência da Computação pela Universidade de Cambridge (2007). Tem experiência na área de Engenharia de Software com ênfase em Metodos Formais e Testes. (Texto informado pelo autor)


Identificação


Nome
Juliano Manabu Iyoda
Nome em citações bibliográficas
IYODA, J. M.;IYODA, J;Iyoda, Juliano;IYODA, JULIANO MANABU;IYODA, JULIANO M.

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Centro de Informática, UFPE
Cidade Universitária
50732-970 - Recife, PE - Brasil


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


2002 - 2006
Doutorado em Ciência da Computação.
University of Cambridge, CAM, Inglaterra.
Título: Translating HOL Functions to Hardware, Ano de obtenção: 2007.
Orientador: Michael John Caldwell Gordon.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Provador de Teorema; Sintese de hardware; HOL; Verificacao Formal.
1998 - 2000
Mestrado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: ParTS: uma Ferramenta de Suporte ao Particionamento Hardware/Software,Ano de Obtenção: 2000.
Orientador: Augusto Cézar Alves Sampaio.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Transformacoes algebricas; Hardware-Software co-design; Particionamento hardware-software.
Grande área: Ciências Exatas e da Terra
Setores de atividade: Industria Eletro-Eletrônica.
1993 - 1997
Graduação em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.




Formação Complementar


2000 - 2001
Extensão universitária em Ciencia da Computacao.
United Nations University International Institute For Software Technology, UNU/IIST, Macau.


Atuação Profissional



Qualiti Assessoria e Consultoria S/A, QUALITI, Brasil.
Vínculo institucional

2007 - 2007
Vínculo: Colaborador, Enquadramento Funcional: Consultor em Engenharia de Processos, Regime: Dedicação exclusiva.

Vínculo institucional

2001 - 2002
Vínculo: Colaborador, Enquadramento Funcional: Engenheiro de Processos, Regime: Dedicação exclusiva.

Atividades

08/2001 - 08/2002
Conselhos, Comissões e Consultoria, .

Cargo ou função
Engenheiro de Processos.

United Nations University International Institute For Software Technology, UNU/IIST, Macau.
Vínculo institucional

2000 - 2001
Vínculo: Outro, Enquadramento Funcional: Outro (Fellow), Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações
Como fellow, desenvolvi um trabalho de pesquisa utilizando métodos formais aplicado ao processo de síntese de hardware sob orientação do Prof. He Jifeng (pesquisador senior).

Atividades

5/2000 - 7/2001
Pesquisa e desenvolvimento , United Nations University International Institute For Software Technology, .


Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

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

Vínculo institucional

2007 - 2008
Vínculo: Bolsista recém-doutor, Enquadramento Funcional: Professor Visitante, Regime: Dedicação exclusiva.

Vínculo institucional

1996 - 1997
Vínculo: Outro, Enquadramento Funcional: Outro (aluno de iniciação científica), Carga horária: 20, Regime: Dedicação exclusiva.

Atividades

3/1996 - 11/1997
Treinamentos ministrados , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

Treinamentos ministrados
Iniciação científica

Net Informática Ltda, NETINFORMATICA, Brasil.
Vínculo institucional

1994 - 1995
Vínculo: Outro, Enquadramento Funcional: Outro (estagiário), Carga horária: 12

Atividades

3/1994 - 10/1995
Estágios , Net Informática Ltda, .

Estágio realizado
Programação em Clipper e SQL.


Linhas de pesquisa


1.
Métodos formais aplicado ao projeto de hardware

Objetivo: Aplicar técnicas formais de desenvolvimento para obter produtos corretos e confiáveis..
Grande área: Ciências Exatas e da Terra
Setores de atividade: Industria Eletro-Eletrônica.
Palavras-chave: Projeto de hardware.


Projetos de pesquisa


2010 - 2012
Verificação de Modelos Voltados para Requisitos de Sistemas Aviônicos
Descrição: Requisitos para sistemas aviônicos são descritos usualmente por dois artefatos: um documento de requisitos em linguagem natural e um modelo formal (tipicamente, um diagrama Simulink). Neste projeto, propomos dois objetivos complementares: a tradução de requisitos escritos em linguagem natural controlada (um subconjunto não-ambíguo de linguagem natural) para propriedades em lógica temporal; e a geração de propriedades em lógica temporal a partir de um diagrama Simulink. O primeiro objetivo permite verificarmos de forma 100% automática se um modelo (traduzido de Simulink) satisfaz uma propriedade (traduzida de linguagem natural controlada). O segundo objetivo oferece ao engenheiro projetista uma lista de propriedades que o diagrama Simulink por ele proposto satisfaz. Este feedback pode revelar falhas de projeto ainda na fase de requisitos. Este projeto conta com o apoio da Embraer ? Empresa Brasileira de Aeronáutica S.A..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Juliano Manabu Iyoda - Coordenador / Augusto César Alves Sampaio - Integrante / Alexandre Cabral Mota - Integrante / Márcio Lopes Cornélio - Integrante / Flávia de Almeida Barros - Integrante / André Luís Ribeiro Didier - Integrante / Diego Machado Dias - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Revisor de periódico


2018 - Atual
Periódico: SCIENCE OF COMPUTER PROGRAMMING


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodos Formais/Especialidade: Metodos Formais Aplicado Ao Projeto de Hardware.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodos Formais/Especialidade: Metodos Formais Aplicado à Hardware Software Co Design.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



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

1.
Lima, Lucas2017 Lima, Lucas ; MIYAZAWA, ALVARO ; Cavalcanti, Ana ; CORN?LIO, M?RCIO ; Iyoda, Juliano ; Sampaio, Augusto ; HAINS, RALPH ; LARKHAM, ADRIAN ; LEWIS, VAUGHAN . An integrated semantics for reasoning about SysML design models using refinement. Software & Systems Modeling, v. 16, p. 875-902, 2017.

2.
Mota, Alexandre2016 Mota, Alexandre ; Iyoda, Juliano ; MARANHÃO, HEITOR . Program Synthesis by Model Finding. Information Processing Letters (Print), v. 116, p. 701-705, 2016.

3.
CORREIA, ALEXANDRE R.S.2014CORREIA, ALEXANDRE R.S. ; IYODA, JULIANO M. ; SILVA, CARLA T.L.L . From Requirements to Ready to Run Software: A Brief Thought on How to Mechanize The Software Development Process. International Journal in Foundations of Computer Science & Technology, v. 4, p. 17-26, 2014.

4.
DIAS, DIEGO2013 DIAS, DIEGO ; Iyoda, Juliano . Compositionality and correctness of fault tolerant patterns in HOL4. Science of Computer Programming (Print), v. 92, p. 105-128, 2013.

5.
Perna, Juan2011Perna, Juan ; Woodcock, Jim ; Sampaio, Augusto ; Iyoda, Juliano . Correct hardware synthesis. Acta Informatica, v. 48, p. 363-396, 2011.

6.
Takaki, Mitsuo2010Takaki, Mitsuo ; Cavalcanti, Diego ; Gheyi, Rohit ; Iyoda, Juliano ; d Amorim, Marcelo ; Prudêncio, Ricardo B. C. . Randomized constraint solvers: a comparative study. Innovations in Systems and Software Engineering (Print), v. --, p. -----, 2010.

7.
Falcão, Flávia2009Falcão, Flávia ; IYODA, J. M. ; Iyoda, Juliano ; SAMPAIO, A. C. A. . Multiple Synchrony in MSC. Electronic Notes in Theoretical Computer Science, v. 240, p. 149-166, 2009.

8.
Konrad Slind2007Konrad Slind ; Scott Owens ; IYODA, J. M. ; Mike Gordon . Proof producing synthesis of arithmetic and cryptographic hardware. Formal Aspects of Computing, v. 19, p. 343-362, 2007.

Livros publicados/organizados ou edições
1.
Breno Miranda ; Iyoda, Juliano . Recommender Systems for Manual Testing: An Approach to Increase the Productivity of Test Teams in Black-Box Environments. 1. ed. , 2012.

Textos em jornais de notícias/revistas
1.
Sampaio, Augusto ; Iyoda, Juliano . Engenharia de Sistemas de Sistemas. Computação Brasil, http://www.sbc.org.br/, 03 mar. 2015.

Trabalhos completos publicados em anais de congressos
1.
Sérgio Barza ; Gustavo Carvalho ; Iyoda, Juliano ; Augusto Sampaio ; Alexandre Mota ; Flávia Barros . Model Checking Requirements. In: Simpósio Brasileiro de Métodos Formais, 2016, Natal - RN. Formal Methods: Foundations and Applications, 2016. p. 217-234.

2.
Lucas Lima ; Iyoda, Juliano ; Augusto Sampaio . Refinement Verification of Sequence Diagrams Using CSP. In: Simpósio Brasileiro de Métodos Formais, 2016, Natal - RN. Formal Methods: Foundations and Applications, 2016. p. 235-252.

3.
Sidney Nogueira ; Hugo L. S. Araujo ; Renata B. S. Araujo ; Iyoda, Juliano ; Augusto Sampaio . Automatic generation of test cases and test purposes from natural language. In: Simpósio Brasileiro de Métodos Formais, 2015, Belo Horizonte, MG. Anais do XVIII Simpósio Brasileiro de Métodos Formais, 2015.

4.
MIRANDA, BRENO ALEXANDRO FERREIRA DE ; ARANHA, EDUARDO HENRIQUE DA SILVA ; IYODA, JULIANO MANABU . Recommender systems for manual testing. In: the ACMIEEE international symposium, 2012, Lund. Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '12. New York: ACM Press.

5.
DIAS, D. M. ; Iyoda, Juliano . Behavioural Preservation in Fault Tolerant Patterns. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2011, São Paulo. Anais do Simpósio Brasileiro de Métodos Formais (Lecture Notes in Computer Science), 2011. v. 7021. p. 156-171.

6.
Breno Miranda ; Iyoda, Juliano ; MEIRA, S. R. L. . Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador. In: IV Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2010, Natal-RN. Anais do IV Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2010.

7.
Mitsuo Takaki ; Diego Cavalcanti ; Rohit Gheyi ; IYODA, J. M. ; Marcelo d'Amorim ; Ricardo Prudêncio . Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. In: First NASA Formal Methods Symposium (NFM), 2009, Moffet Field, CA, USA. Proceedings of the First NASA Formal Methods Symposium (NFM), 2009.

8.
Juliana Mafra ; Breno Miranda ; IYODA, J ; Augusto Sampaio . Test Case Selector: Uma Ferramenta para Seleção de Testes. In: Brazilian Workshop on Systematic and Automated Software Testing, 2009, Gramado-RS. Anais do Brazilian Workshop on Systematic and Automated Software Testing, 2009.

9.
Falcão, Flávia ; Iyoda, Juliano ; Sampaio, Augusto . Multiple Synchrony in MSC. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2009, Salvador - BA. Electronic Notes in Theoretical Computer Science. v. 240. p. 149-166.

10.
Lucas Lima ; Eduardo Aranha ; IYODA, J ; Augusto Sampaio . Test Case Prioritization Based on Data Reuse: An Experimental Study. In: Empirical Software Engineering and Measurement (ESEM), 2009, Lake Buena Vista-FL. Proceedings of the 3rd Empirical Software Engineering and Measurement (ESEM), 2009.

11.
Lucas Lima ; IYODA, J. M. ; Augusto Sampaio . A Permutation Technique for Test Case Prioritization in a Black-box Environment. In: Brazilian Workshop on Systematic and Automated Software Testing, 2008, Campinas - SP. Brazilian Workshop on Systematic and Automated Software Testing, 2008.

12.
GORDON, M ; IYODA, J ; OWENS, S ; SLIND, K . Automatic Formal Synthesis of Hardware from Higher Order Logic. In: Fifth International Workshop on Automated Verification of Critical Systems, 2006, Coventry - Inglaterra. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier Science Publishers B. V., 2005. v. 145. p. 27-43.

13.
IYODA, J. M.; He Jifeng . Towards an Algebraic Synthesis of Verilog. In: First International Conference on Engineering of Reconfigurable Systems and Algorithms, 2001, Las Vegas. Engineering of Reconfigurable Systems and Algorithms (ERSA'01), 2001.

14.
IYODA, J. M.; Augusto Sampaio ; Leila Silva . ParTS: A Partitioning Transformation System. In: World Congress on Formal Methods (FM'99), 1999, Toulouse. FM'99 Formal Methods, 1999. v. 1709. p. 1400-1419.

15.
Leila Silva ; Augusto Sampaio ; Edna Barros ; IYODA, J. M. . An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. In: Algebraic Methodology and Software Technology, 1999, Manaus-AM, Brazil. 7th Algebraic Methodology and Software Technology. Berlin: Springer Verlag, 1998. v. 1548. p. 308-324.

16.
IYODA, J. M.; Augusto Sampaio ; Leila Silva . ParTS: Partitioning Transformation System. In: Simpósio Brasileiro de Engenharia de Software (SBES), 1998, Maringá - PR. 12o Simpósio Brasileiro de Engenharia de Software - Caderno de Ferramentas, 1998. p. 67-73.

Resumos expandidos publicados em anais de congressos
1.
Lom Messian Hillah ; Rodrigo Assad ; Antonia Bertolino ; Marcio Delamaro ; Fabio De Rosa ; Vinicius Garcia ; Francesca Lonetti ; Ariele-Paolo Maesano ; Libero Maesano ; Eda Marchetti ; Breno Miranda ; Auri Vincenzi ; IYODA, J . Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds. In: 15th International Conference on Software Engineering and Formal Methods, 2017, Trento, Itália. Software Engineering and Formal Methods, 2017. v. 10469. p. 388-393.

2.
Lucas Lima ; Iyoda, Juliano ; Augusto Sampaio . A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. In: International Conference on ModelDriven Engineering and Software Development, 2014, Lisbon. Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, 2014. p. 317.

3.
Mike Gordon ; IYODA, J. M. ; Scott Owens ; Konrad Slind . A Proof-Producing Hardware Compiler for a Subset of Higher Order Logic. In: 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs2005, 2005, Oxford. Emerging Trends - Proceedings of th 18th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2005, 2005. p. 59-75.

Resumos publicados em anais de congressos
1.
Konrad Slind ; Scott Owens ; Mike Gordon ; IYODA, J. M. . Proof Producing Synthesis of Arithmetic and Cryptographic Hardware. In: Designing Correct Circuits 2006, 2006, Vienna. Design Correct Circuits 2006, 2006.

Outras produções bibliográficas
1.
IYODA, J. M.. Translating HOL Functions to Hardware 2006 (Tese de Doutorado).

2.
IYODA, J. M.; He Jifeng . A Prolog Prototype for the Synthesis of Verilog. Macau 2001 (Relatório Técnico).

3.
IYODA, J. M.; He Jifeng . Towards an Algebraic Synthesis of Verilog. Macau 2001 (Relatório Técnico).

4.
IYODA, J. M.. ParTS: Uma Ferramenta de Suporte ao Particionamento Hardware/Software. Recife 2000 (Tese de Mestrado).


Produção técnica
Assessoria e consultoria
1.
Iyoda, Juliano. Coordenador do Convênio de Cooperação com a Morpho E-Docs. 2011.

Programas de computador sem registro
1.
IYODA, J. M.. ParTS: A Partitioning Transformation System. 2000.

Trabalhos técnicos

Demais tipos de produção técnica
1.
Rohit Gheyi ; Iyoda, Juliano . Science of Computer Programming. 2015. (Editoração/Periódico).

2.
Iyoda, Juliano; Leonardo de Moura . Formal Methods: Foundations and Applications 16th Brazilian Symposium on Formal Methdos SBMF 2013. 2013. (Editoração/Livro).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Alexandre Mota; Lucas Lima; IYODA, J. M.. Participação em banca de Alex Antonio Candido Silva. FREVoz - Um Framework para Automação de Testes de Voz. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

2.
VASCONCELOS, A. M. L.; Sidney Nogueira; IYODA, J. Participação em banca de Robert Gomes Melo. FREVO ? Um Framework e uma Ferramenta para Automação de Testes. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

3.
Augusto Sampaio; Farias, Adalberto; IYODA, J. Participação em banca de Sérgio Barza. MODEL CHECKING OF REQUIREMENTS WRITTEN IN CONTROLLED NATURAL LANGUAGE. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

4.
IYODA, J; Farias, Adalberto; Márcio Cornélio. Participação em banca de Kamila Nayana Carvalho Serafim. Transformando Modelos SCADE em Especificações SCR. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

5.
IYODA, J; Eduardo Aranha; Augusto Sampaio. Participação em banca de Bruno Medeiros de Oliveira. Simulation of Hybrid Systems from Natural Language Requirements. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

6.
Alexandre Mota; Sidney Nogueira; IYODA, J. Participação em banca de Kamilla Rafaelle Fernandes Cardoso. FINDOS - Uma Ferramenta para Identificação Automática de Unidades de Rastreamento. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

7.
IYODA, J; MENEZES, L. C. S.; Alexandre Mota. Participação em banca de Rafael Pereira de Araújo. Probabilistic Analysis Applied to Robots. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

8.
Márcio Cornélio; Lucas Lima; IYODA, J. Participação em banca de Leonilson de Araujo Barboza. AR(m)obo Test: um Braço Robótico para Suporte à Testes Automático de Retrato e Paisagem. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

9.
Iyoda, Juliano; Oliveira, Cesar; Andrade, Emerson. Participação em banca de Lubnnia Morais Florêncio de Souza. Avaliação de Performabilidade da Manufatura do Café. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
Albuquerque, Gabriel; Tavares, Eduardo; Iyoda, Juliano. Participação em banca de Anderson Elias do Nascimento. Performabilidade de Modais de Transportes em Logísticas de Suprimentos: Um Estudo baseado na Indústria do Café. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
Iyoda, Juliano; Amorim, Ricardo; Soares, Sérgio. Participação em banca de Eudis Oliveira Teixeira. Análise da Qualidade de Experimentos Controlados no Contexto da Engenharia de Software Empírica. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
IYODA, J; Pisa, Ivan; Novaes, Magdala. Participação em banca de Marília Eutímia de Souza Oliveira. Qualis-RES: Modelo de Avaliação Especialista para Sistemas de Registro Eletrônico de Saúde. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

13.
Iyoda, Juliano; Farias, Adalberto; Mota, Alexandre. Participação em banca de Marcelo Costa Melo de Andrade. Gerando Modelos SCADE a partir de Especificações Descritas em SCR. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
Alexandre Mota; Rohit Gheyi; Iyoda, Juliano. Participação em banca de Diego Machado Dias. Behavioural Preservation in Fault Tolerant Patterns. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

15.
Iyoda, Juliano; MEIRA, S. R. L.; CYSNEIROS FILHO, G. A. A.. Participação em banca de Elaine Gleyce Mira de Figueiredo. Práticas para a Especificação de Arquiteturas de Software no Contexto de Máquinas Sociais para Web 3.0. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

16.
Iyoda, Juliano; COELHO, R. S.; Marcelo d'Amorim. Participação em banca de Elton Renan Magalhães Alves. Fault Localization Using Dynamic Slicing and Change Impact Analysis. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

17.
Iyoda, Juliano; Cristine Gusmão; VASCONCELOS, A. M. L.. Participação em banca de Lenildo José de Morais. Um Processo para Priorização de Casos de Teste de Regressão. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

18.
Alexandre Mota; MENEZES, L. C. S.; Iyoda, Juliano. Participação em banca de Renata Bezerra e Silva de Araújo. Extração Automática de Modelos CSP a Partir de Casos de Uso. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

19.
Iyoda, Juliano; Eduardo Aranha; Flávia Barros. Participação em banca de Ricson José de Santana. Seleção de Casos de Teste Baseada em Similaridade de Texto e Cobertura de Requisitos. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

20.
Augusto Sampaio; MACHADO, P. D. L.; Iyoda, Juliano. Participação em banca de Breno Alexandro Ferreira de Miranda. Recommender Systems for Manual Testing. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

21.
MACHADO, P. D. L.; CARTAXO, E. G.; RAMALHO, F. S.; Iyoda, Juliano. Participação em banca de João Felipe Silva Ouriques. Análise Comparativa de Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificaçãoq. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

22.
Iyoda, Juliano; Eduardo Aranha; ALBUQUERQUE, J. O.. Participação em banca de Rochely Estevam Pinto. Simulação de Processos na Avaliação de Tecnologias de Software. 2011. Dissertação (Mestrado em Engenharia de Software) - Centro de Estudos e Sistemas Avançados do Recife.

23.
Alexandre Mota; Cristiano Ferraz; Iyoda, Juliano. Participação em banca de Thiers Garretti Ramos Sousa. Verificando a corretude de geradores automáticos de código. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

24.
Cristine Gusmão; Sérgio Soares; Iyoda, Juliano. Participação em banca de Juliana de Albuquerque Gonçalves Saraiva. Avaliação de Impacto de Programação Orientada a Aspectos sob Arquiteturas de Software em Camadas. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

25.
Gheyi, Rohit; VASCONCELOS, A. M. L.; Iyoda, Juliano. Participação em banca de Juliana Nereida Dantas Mafra. Test Case Selector: Uma Ferramenta para Seleção de Testes. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

26.
Iyoda, Juliano; VASCONCELOS, A. M. L.; Cristine Gusmão. Participação em banca de Diana Rúbia Rodrigues Ricardo. Proposta de Processo para Testes Exploratórios Aderente ao TMMI Nível 2. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

27.
Iyoda, Juliano; MACHADO, P. D. L.; FIGUEIREDO, J. C. A.. Participação em banca de Francisco Gomes de Oliveira Neto. Uma Avaliação e Investigação Experimental de Técnicas de Re-Teste Seletivo para Teste de Regressão Baseado em Especificação. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

28.
Alexandre Mota; Iyoda, Juliano; DROGUETT, E. A. L.. Participação em banca de Adriano José Oliveira Gomes. Systematic Model-Based Safety Assessment via Probabilistic Model Checking. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

29.
IYODA, J. M.; Alexandre Mota; Márcio Cornélio. Participação em banca de Gláucia Peres. A Black-box Testing Technique for the Detection of Crashes Based on Automated Test Scenarios. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

30.
Renato Corrêa; Flávia Barros; Iyoda, Juliano. Participação em banca de Leonardo de Souza Lima. Class-Test: Classificação Automática de Testes para Auxílio à Criação de Suítes de Teste. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

31.
Iyoda, Juliano; Renato Corrêa; Adriano Lorena. Participação em banca de Mitsuo Takaki. Busca meta-Heurística para Resolução de CSP em Teste de Software. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
SAMPAIO, A. C. A.; Paulo Maciel; Enrique Droguett; Genaina Rodrigues; IYODA, J. M.. Participação em banca de André Luís Ribeiro Didier. An Algebra of Temporal Faults. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
Paulo Borba; Márcio Cornélio; SIMAO, A. S.; Ana Cristiana Melo; IYODA, J. Participação em banca de Gustavo Henrique Porto de Carvalho. NAT2TEST: Generating Test Cases from Natural Language Requirements based on CSP. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
IYODA, J; Adriano Lorena; Alexandre Mota; Pozo, Aurora; Anne Canuto. Participação em banca de Luciano Soares de Souza. Seleção Multiobjetivo de Casos de Teste Utilizando Técnicas de Busca Híbridas. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
Moreira, Anamaria; Figueiredo, Jorge; Andrade, Wilkerson; Iyoda, Juliano. Participação em banca de Ana Emilia Victor Barbosa Coutinho. Similarity-Based Test Suite Reduction in the Context of Model-Based Testing. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

5.
Castor, Fernando; Valente, Marco; Borba, Paulo; Rohit Gheyi; Iyoda, Juliano. Participação em banca de Sabrina de Figueirêdo Souto. Addressing High Dimensionality and Lack of Feature Models in Testing Software Product Lines. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
Castor, Fernando; Almeida, Eduardo; Alves, Vander; Augusto Sampaio; Iyoda, Juliano. Participação em banca de Leopoldo Motta Teixeira. Safe Evolution of Product Lines and Product Lines and Product Populations. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
Paulo Borba; SIMAO, A. S.; MACHADO, P. D. L.; Iyoda, Juliano; ROSA, N. S.. Participação em banca de Sidney de Carvalho Nogueira. Test Generation and Compositional Conformance Verification Input-Output CSP Models. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
Paulo Borba; Ana Cristina Melo; DEHARBE, D. B. P.; Márcio Cornélio; Iyoda, Juliano. Participação em banca de Rodrigo Teixeira Ramos. Systematic Development of Trustworthy Component-based Systems. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
Marcelo d'Amorim; Marco Túlio Valente; Sérgio Soares; Uirá Kulesza; Iyoda, Juliano. Participação em banca de Alberto Costa Neto. Specifying Design Rules in Aspect-Oriented Systems. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
Augusto Sampaio; Paulo Borba; Cristiano Ferraz; Álvaro Moreira; Iyoda, Juliano. Participação em banca de Cristiano Bertolini. Evaluation of GUI Testing Techniques for System Crashing: From Real to Model-Based Controlled Experiments. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
Ricardo Massa; Márcio Cornélio; Jones Albuquerque; Roberto Barros; Iyoda, Juliano. Participação em banca de Adalberto Cajueiro de Farias. Abstraction of Infinite and Communicating CSPZ Processes. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
Augusto Sampaio; Alexandre Mota; Marcel Oliveira; Ana Cristina Melo; IYODA, J. M.. Participação em banca de Tiago Lima Massoni. A Model-driven Approach to Formal Refactoring. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
IYODA, J; Rohit Gheyi; Márcio Cornélio. Participação em banca de Tarciana Dias da Silva. Validating Java Transformations using Alloy. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
VASCONCELOS, A. M. L.; ZINADER, J. P. S.; IYODA, J. Participação em banca de Marilia Eutimia de Souza Oliveira. Modelo de Qualidade para Sistemas de Registro Eletrônico de Saúde. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
Machado, Patricia; Cartaxo, Emanuela; Moreira, Anamaria; Andrade, Wilkerson; Massoni, Tiago; Iyoda, Juliano. Participação em banca de João Felipe Silva Ouriques. Estratégias para Priorização de Casos de Teste Gerados através de Abordagens de Teste Baseado em Modelos. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

4.
Iyoda, Juliano; Lorena, Adriano; Pozo, Aurora. Participação em banca de Luciano Soares de Souza. Técnicas Multiobjetivo baseada em Busca para Seleção de Casos de Teste. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
Borba, Paulo; Castor, Fernando; Garcia, Alessandro; Iyoda, Juliano. Participação em banca de Sabrina de Figueirêdo Souto. Addressing High Dimensionality and Lack of Feature Models in Testing Software Product Lines. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
Machado, Patricia; Moreira, Anamaria; Cartaxo, Emanuela; Figueiredo, Jorge; Iyoda, Juliano; Andrade, Wilkerson. Participação em banca de Ana Emilia Victor Barbosa Coutinho. Investigating on Test Suite Reduction Strategies in the Context of Model-Based Testing. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

7.
Paulo Borba; Ana Cristiana Melo; Iyoda, Juliano. Participação em banca de Gustavo Henrique Porto Carvalho. NAT2TESTcsp: a Formal Strategy for Generating Test Cases from Natural Language Requirements based on CSP. 2013. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
Iyoda, Juliano; JERON, T.; SIMAO, A. S.. Participação em banca de Sidney de Carvalho Nogueira. Test Generation and Compositional Conformance Verification with Input-Outpout CSP Models. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
Paulo Borba; Cristiano Ferraz; Iyoda, Juliano. Participação em banca de Cristiano Bertolini. A Formal Framework of GUI Exploration for Effective System Crashing. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
Ana Cristiana Melo; Paulo Borba; Iyoda, Juliano. Participação em banca de Rodrigo Teixeira Ramos. Systematic Development of Trustworthy Component-Based Systems. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
Marcelo d'Amorim; Marco Túlio Valente; Iyoda, Juliano. Participação em banca de Alberto Costa Neto. Specifying Design Rules in Aspect-Oriented Systems. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Trabalhos de conclusão de curso de graduação
1.
Marcelo d'Amorim; Iyoda, Juliano. Participação em banca de Sérgio Barza.Desenho e implementação de um dynamic forward slicer utilizando BCEL. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
Iyoda, Juliano; Fred Freitas; Gilson O. dos Santos. Concurso Público para Professor Assistente da UFAL. 2017. Universidade Federal de Alagoas.

2.
Eduardo Tavares; Everson Feitosa; Iyoda, Juliano. Membro da Banca Examinadora do Concurso para Professor Assistente para Unidade Acadêmica de Garanhuns / UFRPE. 2010. Universidade Federal Rural de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brasilian Symposium on Formal Methods (SBMF).Multi-Synchrony in MSC. 2008. (Simpósio).


Organização de eventos, congressos, exposições e feiras
1.
Iyoda, Juliano; Moura, Leonardo . Simpósio Brasileiro de Métodos Formais. 2013. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Vanderley Gondim. Teste Automático dos Softwares do Portal do Software Público Braileiro. Início: 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

2.
Alex Antonio Candido Silva. Teste de Sistemas Acionados por Voz. Início: 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

Tese de doutorado
1.
Alexandre Roberto de Souza Correia. Síntese de Software. Início: 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Augusto César Ribeiro da Silva. TESTE DE GESTOS: UMA ANÁLISE DA ROTAÇÃO RETRATO E PAISAGEM. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Juliano Manabu Iyoda.

2.
Robert Gomes Melo. FREVO ? Um Framework e uma Ferramenta para Automação de Testes. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.

3.
Sérgio Barza. MODEL CHECKING OF REQUIREMENTS WRITTEN IN CONTROLLED NATURAL LANGUAGE. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.

4.
Kamilla Rafaelle Fernandes Cardoso. FINDOS - Uma Ferramanta para Identificação Automática de Unidades de Rastreamento. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.

5.
Leonilson de Araújo Barboza. AR(m)obo Test: um Braço Robótico para Suporte à Testes Automáticos de Retrato e Paisagem. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.

6.
Diego Machado Dias. Behavioural Preservation in Fault Tolerant Patterns. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Juliano Manabu Iyoda.

7.
Renata Bezerra e Silva de Araújo. Extração Automática de Modelo CSP a Partir de Casos de Uso. 2011. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Juliano Manabu Iyoda.

8.
Breno Alexandro Ferreira de Miranda. Recommender Systems for Manual Testing. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.

9.
Lucas Albertins de Lima. Test Case Prioritization for Black-Box Environments. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Coorientador: Juliano Manabu Iyoda.

10.
Juliana Nereida Dantas Mafra. Test Case Selection for a Black-box environment. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.

11.
Flávia Mérylyn Carneiro Falcão. Multi-Sincronização em Message Sequence Charts. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Juliano Manabu Iyoda.

Tese de doutorado
1.
Lucas Albertins de Lima. FORMALISATION OF SYSML DIAGRAMS AIMING TO PERFORM ANALYSIS OF SYSTEMS. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Juliano Manabu Iyoda.



Educação e Popularização de C & T



Textos em jornais de notícias/revistas
1.
Sampaio, Augusto ; Iyoda, Juliano . Engenharia de Sistemas de Sistemas. Computação Brasil, http://www.sbc.org.br/, 03 mar. 2015.




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 4:07:21