Stéphane Julia

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


possui graduação em Engenharia em Eletricidade Eletrônica e Automática - Université Paul Sabatier (1992), mestrado em Automação e Informática Industrial - Université Paul Sabatier (1993) e doutorado em Informática Industrial - Université Paul Sabatier (1997). Atualmente é professor adjunto 4 da Universidade Federal de Uberlândia na Faculdade de Computação. Tem experiência na área de Ciência da Computação, com ênfase em Modelos Analíticos e de Simulação, atuando principalmente nos seguintes temas: Teoria e Aplicações das Redes de Petri, UML, Engenharia de Software, Escalonamento de Sistemas Tempo Real, Modelagem e Simulação de Sistemas de Gerenciamento de Workflow. (Texto informado pelo autor)


Identificação


Nome
Stéphane Julia
Nome em citações bibliográficas
JULIA, S.;JULIA, S;JULIA, STÉPHANE

Endereço


Endereço Profissional
Universidade Federal de Uberlândia, Faculdade de Computação.
Av. João Naves de Ávila, 2160
Campus Sta. Mônica
38400902 - Uberlândia, MG - Brasil - Caixa-postal: 593
Telefone: (34) 32394171
Fax: (34) 32394292
URL da Homepage: http://www.facom.ufu.br/posgrad/prof/stephane


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


1993 - 1997
Doutorado em Informática Industrial.
Université Paul Sabatier, UPS, França.
Título: Conception et Pilotage de Cellules Flexibles à fonctionnement répétitif modélisées par Réseaux de Petri, Ano de obtenção: 1997.
Orientador: Robert Valette.
Palavras-chave: Redes de Petri; Sistemas de Produção; Modelos Analíticos e de Simulação; Escalonamento; Avaliação de desempenho; Sistemas Tempo Real.
Grande área: Engenharias
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.
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.
Setores de atividade: Fabricação de Máquinas Com Componentes de Mecânica de Precisão; Desenvolvimento de Programas (Software).
1992 - 1993
Mestrado em Automação e Informática Industrial.
Université Paul Sabatier, UPS, França.
Título: Mouvements en temps minimal pour les robots manipulateurs,Ano de Obtenção: 1993.
Orientador: Michel Courdesses.
Palavras-chave: robótica.
Grande área: Engenharias
Setores de atividade: Aeronáutica e Espaço.
1987 - 1992
Graduação em Engenharia Em Eletricidade Eletrônica e Automática.
Université Paul Sabatier, UPS, França.




Atuação Profissional



Universidade Federal de Uberlândia, UFU, Brasil.
Vínculo institucional

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

Vínculo institucional

2014 - 2016
Vínculo: , Enquadramento Funcional: Professor Associado 3, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

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

Vínculo institucional

2010 - 2012
Vínculo: , Enquadramento Funcional: Professor Associado 1, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

1997 - 2002
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

08/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
01/2017 - Atual
Direção e administração, Faculdade de Computação, .

Cargo ou função
Coordenador do Curso de Bacharelado em Ciência da Computação.
12/2004 - Atual
Conselhos, Comissões e Consultoria, Faculdade de Ciência da Computação, .

Cargo ou função
Membro do conselho da Faculdade.
11/2004 - Atual
Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Matemática.

Cargo ou função
Membro do colegiado de graduação.
01/2002 - Atual
Pesquisa e desenvolvimento , Faculdade de Computacao, .

Linhas de pesquisa
Engenharia de Software
10/1997 - Atual
Pesquisa e desenvolvimento , Faculdade de Ciência da Computação, Facom.

Linhas de pesquisa
Engenharia de Software
03/2018 - 07/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópico especial em Engenharia de Software: Redes de Petri
02/2017 - 06/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Modelagem e Simulação
02/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
02/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Modelagem e Simulação
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Modelagem e Simulação
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Redes de Petri
02/2015 - 07/2015
Ensino, Engenharia Civil, Nível: Graduação

Disciplinas ministradas
Introdução à Computação
07/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópico em Engenharia de Software: Redes de Petri
02/2013 - 06/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens formais e Autômatos
02/2013 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Modelagem e Simulação
08/2012 - 12/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria da Computação
08/2012 - 12/2012
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Teoria das Redes de Petri
03/2012 - 07/2012
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Teoria das Filas
Teoria da Computação
08/2011 - 12/2011
Ensino, Engenharia Mecatrônica, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

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

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

Disciplinas ministradas
Engenharia de Software
08/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação

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

Disciplinas ministradas
Introdução à Teoria das Filas
Teoria da Computação
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Teoria das Filas
Teoria da Computação
02/2009 - 06/2009
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Teoria das Filas
02/2009 - 06/2009
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Modelagem de Software
07/2008 - 12/2008
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à teoria das Filas
Teoria dos Grafos
07/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópico especial em Engenharia de Software
02/2008 - 06/2008
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Modelagem de Software
07/2007 - 12/2007
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à teoria das Filas
Teoria dos Grafos 1
07/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Especiais 20
02/2007 - 06/2007
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Procedimental
Introdução à teoria das Filas
07/2006 - 12/2006
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução á teoria das Fila
Programação Procedimental
02/2006 - 06/2006
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução á teoria das Filas
02/2006 - 06/2006
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópico Especial em Engenharia de Software
Engenharia de Software
07/2005 - 12/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Engenharia de Software
Introdução à teoria das Filas
7/2003 - 7/2005
Conselhos, Comissões e Consultoria, Faculdade de Ciência da Computação, Facom.

Cargo ou função
Membro de colegiado superior da pós-graduação strito sensu.
02/2005 - 06/2005
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à teoria das Filas
Engenharia de Software
7/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à teoria das Filas
7/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
2/2004 - 6/2004
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Estágio de Docência na Graduação
Tópicos especiais 20
2/2004 - 6/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos grafos 1
Introdução à teoria das filas
7/2003 - 12/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos Grafos 1
Introdução à teoria das Filas
7/2003 - 12/2003
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Estudo dirigido
2/2003 - 6/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos Grafos 1
Introdução à teoria das Filas
2/2003 - 6/2003
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Seminário
Engenharia de Software
7/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos Grafos 1
Introdução à Teoria das Filas
7/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Seminário
Estágio docencia
Estudo dirigido
2/2002 - 6/2002
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
Estudo dirigido
2/2002 - 6/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos Grafos 1
Introdução à Teoria das Filas
7/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Seminário
7/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à teoria dos Grafos
2/2001 - 6/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Engenharia de Software
Seminário
2/2000 - 6/2000
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à teoria das Filas
3/1999 - 6/1999
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos especiais em sistemas a eventos discretos
2/1999 - 6/1999
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Teoria dos Grafos
7/1998 - 12/1998
Ensino, Engenharia Elétrica, Nível: Graduação

Disciplinas ministradas
Sistemas Seqüenciais
2/1998 - 6/1998
Ensino, Engenharia Elétrica, Nível: Pós-Graduação

Disciplinas ministradas
Tópico especiais em sistemas a eventos discretos


Linhas de pesquisa


1.
Engenharia de Software
2.
Engenharia de Software

Objetivo: Desenvolver novos modelos e metodologias para ajudar a melhorar a qualidade dos Softwares..
Grande área: Ciências Exatas e da Terra
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.
Palavras-chave: Redes de Petri; Lógica Linear; UML; Workflow.


Projetos de pesquisa


2015 - 2017
Modelagem, análise e monitoramento de processos de negócio flexíveis utilizando as workflow nets e lógicas não clássicas
Descrição: A área de gerenciamento de processos de negócios , do inglês Business Process Management (BPM), tem recebido atenção considerável nos últimos anos em razão de seu potencial em aumentar significativamente a produtividade e economizar gastos nas organizações. Além disso. o conceito de processo serve como ponto de partida para o entendimento de como o negócio opera e quais oportunidades existem para coordenar suas atividades constituintes. Considerando tais questões, uma abordagem para modelagem, analise e monitoramento de processos de negócios será proposta. O modelo utilizado será baseado nas Workflow nets que são redes de Petri usadas para representar processos de negócios. Inicialmente, árvores de prova da lógica linear serão consideradas para analisar processos que devem verificar os principais critérios de corretude, em particular a propriedade chamada Sound. Uma análise quantitativa baseada no cálculo de datas simbólicas para a atribuição de atividades especificas aos atores do processo poderá ser realizada a partir das provas obtidas na verificação da propriedade Sound. A segunda parte do projeto está relacionada com o estudo de processos de negócios flexíveis embutidos em estruturas organizacionais já existentes onde os critérios de corretude não podem ser sistematicamente garantidos. Neste caso, através da reconstituição e reconfiguração dos processos, técnicas de detecção de estados perigosos serão apresentadas. Também, modelos de monitoramento baseados em redes de Petri com marcação fuzzy serão utilizados para considerar problemas de desvios que acontecem quando os atores envolvidos não respeitam as sequencias de atividades previstas nos modelos do processo. Estudos de casos na área dos sistemas de informação e dos jogos eletrônicos validarão a abordagem proposta..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (4) .
Integrantes: Stéphane Julia - Coordenador / Joslaine Cristina Jeske - Integrante / Lígia Maria Soares Passos - Integrante / Leiliane Pereira de Rezende - Integrante / Luciane de Fátima Silva - Integrante / Franciny Medeiros Barreto - Integrante / Janette Cardoso - Integrante / Kênia Santos de Oliveira - Integrante / Vinícius Ferreira de Oliveira - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Número de produções C, T & A: 19 / Número de orientações: 5
2012 - 2014
Modelagem e Análise de Sistemas Distribuídos de Tempo Real Usando MARTE e SysML
Descrição: O desenvolvimento de sistemas distribuídos de tempo real é uma atividade complexa por vários motivos. Um problema comum desses sistemas é a necessidade de comunicação entre sensores, atuadores e outros componentes físicos que geralmente estão distribuídos no ambiente. Ou seja, o sistema deve constantemente receber dados do ambiente e enviar dados de controle aos componentes físicos distribuídos no ambiente. Desta forma, existe um esforço de comunicação entre esses elementos, sendo que deve-se respeitar os requisitos temporais determinados nas especificações de requisitos. O problema do tempo real torna-se ainda mais complexo devido a própria distribuição dos componentes do sistema. Outra justificativa para a complexidade é a necessidade de modelar diversas características inerentes de sistemas distribuídos de tempo real, como recursos compartilhados, restrições temporais, distribuição de elementos, e componentes físicos. Ou seja, software é um componente do sistema, e não basta que apenas o software seja modelado. É preciso modelar os diversos componentes do sistema. Para isso, as linguagens de modelagem devem ser capazes de modelar software, hardware, pessoas, procedimentos, sensores, atuadores, comunicação, e recursos em geral. Assim, torna-se virtualmente impossível que a modelagem seja realizada utilizando-se apenas uma única linguagem de modelagem ou formalismo da Engenharia de Software. Uma abordagem que provê o suporte para o uso de diferentes linguagens de modelagem em conjunto, cada uma responsável por diferentes aspectos do sistema, tem maiores possibilidades de sucesso..
Situação: Em andamento; Natureza: Pesquisa.
2009 - 2014
Modelagem, análise e simulação de processos de Workflow usando redes de Petri: aplicação à Engenharia de Software
Descrição: O objetivo desta proposta é o de desenvolver novos modelos de análise e simulação baseados em WorkFlow-nets que se aplicam as mais diversas atividades da Engenharia de Software e aos mais diversos tipos de software. A idéia principal consiste em representar atividades (ou conjuntos de atividades) executadas durante o desenvolvimento do software por WorkFlow-nets considerando redes de Petri ordinárias num primeiro tempo, e escolhendo, em seguida, um formalismo de alto nível (um modelo de redes de Petri de alto nível) que, associado à estrutura de controle especificada pela WorkFlow-net, permitirá gerar um modelo de análise e simulação adaptado à atividade de desenvolvimento considerada. Dentro as principais atividades relacionadas de forma explícita com a execução de um processo de Workflow, serão consideradas especificamente: o gerenciamento do projeto de desenvolvimento do software (em particular a parte relacionada com a atividade de planejamento de atividades), o levantamento e análise de requisitos do sistema, as atividades de validação, verificação e teste, essencialmente de tipo funcional. Os objetivos dessa proposta deverão contemplar uma certa variedade de tipos de softwares, como: Sistemas de Informação com características de tempo real, Software de design de vídeo game do tipo First Person shooter, Softwares usados para a modelagem e simulação de processos biológicos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) .
Integrantes: Stéphane Julia - Coordenador.
2005 - 2007
Uma abordagem UML/Redes de Petri para a verificação de cenários de Sistemas Tempo Real
Descrição: O objetivo desta proposta é apresentar uma abordagem baseada nos diagramas dinâmicos da notação UML e nas redes de Petri p-temporais para a verificação de cenários de Sistemas de Processamento em Tempo Real (STR). A idéia principal consiste em traduzir os diagramas dinâmicos de UML que representam as especificações iniciais do sistema numa única rede de Petri p-temporal que representa o comportamento global do sistema. Um mecanismo de inferência especializado, chamado jogador de redes de Petri p-temporais, poderá ser, então, aplicado ao modelo de rede de Petri p-temporal obtido afim de realizar a atividade conhecida em engenharia de software como atividade de verificação de cenário. Tal atividade quando se trata de STR é equivalente à resolução de um problema de escalonamento. O jogador de rede de Petri p-temporal que deverá ser implementado numa linguagem de programação poderá ser visto como uma técnica de simulação de diagramas dinâmicos da notação UML usados para a especificação de STR. A abordagem proposta deverá ser aplicada a diversos exemplos de STR ou a Sistemas de comportamento semelhante..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Stéphane Julia - Coordenador / Robert Valette - Integrante / Silvio Bacalá Júnior - Integrante / Michel dos Santos Soares - Integrante / Joslaine Cristina Jeske - Integrante / Fernanda Francielle de Oliveira - Integrante / André Luiz Bernardo Ramos - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
Número de produções C, T & A: 12 / Número de orientações: 5


Revisor de periódico


2006 - Atual
Periódico: IEEE Transactions on Systems, Man and Cybernetics. Part A, Systems and Huma
2003 - 2013
Periódico: Controle & Automação
2003 - 2004
Periódico: Ciência & Engenharia
2008 - 2009
Periódico: Journal of Applied Mathematics and Decision Sciences
2011 - 2011
Periódico: International Journal of Software Engineering and Knowledge Engineering
2014 - Atual
Periódico: Journal of Control, Automation and Electrical Systems
2014 - 2014
Periódico: International Journal of Natural Computing Research
2017 - Atual
Periódico: SIMULATION MODELLING PRACTICE AND THEORY
2017 - Atual
Periódico: IEEE Systems Journal
2018 - Atual
Periódico: JOURNAL OF VISUAL LANGUAGES AND COMPUTING
2012 - Atual
Periódico: INFORMATION SCIENCES


Revisor de projeto de fomento


2016 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2015 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2012 - Atual
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
2.
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.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
4.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.


Idiomas


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


Prêmios e títulos


2015
Best Student Paper Award, 17th International Conference on Enterprise Information Systems.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
SOARES PASSOS, LÍGIA MARIA2016SOARES PASSOS, LÍGIA MARIA ; JULIA, STÉPHANE . Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes. International Journal on Artificial Intelligence Tools, v. 25, p. 1650008, 2016.

2.
JULIA, S.2016JULIA, S.; Vale, L.N. ; PASSOS, L. M. S. . Functional testing using object workflow nets. Computing and Informatics, v. 35, p. 719-743, 2016.

3.
FREITAS, J. C. J.2015FREITAS, J. C. J. ; JULIA, S ; L.P. Rezende . Resource allocation mechanisms and time constraint propagation techniques in fuzzy workflow nets. Lecture Notes in Business Information Processing, v. 241, p. 214-235, 2015.

4.
L.P. Rezende2015L.P. Rezende ; JULIA, S . Possibilistic workflow net for deadlock avoidance in interorganizational business processes. Lecture Notes in Business Information Processing, v. 241, p. 168-191, 2015.

5.
JULIA, S.;JULIA, S;JULIA, STÉPHANE2008 JULIA, S.; FRANCIELLE, Fernanda ; VALETTE, R. . Real time scheduling of workflow management systems based on a p-time Petri net model with hybrid resources. Simulation Modelling Practice and Theory, v. 16, p. 462-482, 2008.

6.
SOARES, M2008 SOARES, M ; JULIA, S. ; VRANCKEN, J . Real-time scheduling of batch systems using Petri nets and linear logic. The Journal of Systems and Software, v. 81, p. 1983-1996, 2008.

7.
JULIA, S.;JULIA, S;JULIA, STÉPHANE2005 JULIA, S.; BACALÁ JÚNIOR, S. . Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems. Journal of Computational Methods in Sciences and Engineering, v. 5, n.1, p. 67-83, 2005.

8.
JULIA, S.;JULIA, S;JULIA, STÉPHANE2000 JULIA, S.; VALETTE, R. . Real time scheduling of batch systems. Simulation Practice and Theory, p. 307-319, 2000.

9.
JULIA, S.;JULIA, S;JULIA, STÉPHANE1998JULIA, S.; VALETTE, R. . Modeling and analysis of a flexible cell under a set of cyclic constraints. Automatique-Productique Informatique Industrielle, Paris, v. 31, n.8, p. 1275-1296, 1998.

Capítulos de livros publicados
1.
JULIA, S.; Villani, E. . Sistemas de produção híbridos. In: Luis Antonio Aguirre ; Augusto Humberto Bruciapaglia ; Paulo Eigi Miyagi ; Ricardo Hiroshi ; Calseira Takahashi. (Org.). Enciclopédia de automática - Controle e Automação. 1ed.São Paulo: Editora Blucher, 2008, v. 1, p. 333-357.

Trabalhos completos publicados em anais de congressos
1.
BARRETO, F. M. ; L.P. Rezende ; JULIA, S . An approach based on possibilistic Workflow nets to model multiplayer video games. In: Information Technology - New Generations, 2018, Las Vegas. Advances in Intelligent Systems and Computing, 2018. v. 738. p. 509-515.

2.
BARRETO, F. M. ; FREITAS, J. C. J. ; JULIA, S . A timed Petri net model to specify scenarios of video games. In: Information Technology - New Generations, 2018, Las Vegas. Advances in Intelligent Systems and Computing, 2018. v. 738. p. 467-473.

3.
Medeiros, F.F. ; JULIA, S. . Constraint analysis based on energetic reasoning applied to the problem of real time scheduling of workflow management systems. In: ICEIS, 2017, Porto. 19th International Conference on Enterprise Information Systems, 2017. v. 3. p. 373-380.

4.
OLIVEIRA, K. S. ; OLIVEIRA, V. F. ; JULIA, S. . Using Linear Logic to verify requirement scenarios in SOA models based on Interorganizational Workflow nets relaxed sound. In: ICEIS, 2017, Porto. 19th International Conference on Enterprise Information Systems, 2017. v. 2. p. 254-262.

5.
OLIVEIRA, V. F. ; JULIA, S. ; PASSOS, L. M. S. ; OLIVEIRA, K. S. . A Linear Logic based synchronization rule for deadlock prevention in Web service composition. In: ICEIS, 2017, Porto. 19th International Conference on Enterprise Information Systems, 2017. v. 2. p. 316-323.

6.
OLIVEIRA, V. F. ; JULIA, S ; PASSOS, L. M. S. ; OLIVEIRA, K. S. . A synchronization rule based on linear logic for deadlock prevention in interorganizational workflow nets. In: Information Technology - New Generations, Advances in Intelligent Systems and Computing, 2017, Las Vegas. Information Technology - New Generations, 2017. v. 558. p. 929-934.

7.
OLIVEIRA, K. S. ; JULIA, S ; OLIVEIRA, V. F. . Requirement Verification in SOA Models based on Interorganizational Workflow Nets and Linear Logic. In: Information Technology - New Generations, Advances in Intelligent Systems and Computing, 2017, Las Vegas. Information Technology - New Generations, 2017. v. 558. p. 579-587.

8.
MORAES JÚNIOR, C. M. ; JULIA, R. M. S. ; JULIA, S ; SILVA, L. F. . A new approach to evaluate the complexity function of algorithms based on simulations of hierarchical colored Petri net Models. In: Information Technology - New Generations, Advances in Intelligent Systems and Computing, 2017, Las Vegas. Information Technology - New Generations, 2017. v. 558. p. 555-564.

9.
BARRETO, FRANCINY M. ; JULIA, STÉPHANE . Modeling of Video Games Using Workflow Nets and State Graphs. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17, 2017. p. 261-266.

10.
OLIVEIRA, K. S. ; JULIA, S. . Using Linear Logic to Verify Requirement Scenarios in Composite Web Service. In: 20th Brazilian Symposium, SBMF 2017, 2017, Recife. Lecture Notes in Computer Science: Formal Methods: Fondations and Applications, 2017. p. 215-232.

11.
FREITAS, J. C. J. ; JULIA, S ; L.P. Rezende . Modeling a fuzzy resource allocation mechanism based on Workflow nets. In: 18th International Conference on Enterprise Information Systems (ICEIS 2016), 2016, Rome. Proceedings of the 18th International Conference on Enterprise Information Systems, 2016. v. 2. p. 559-566.

12.
FREITAS, J. C. J. ; JULIA, S . Fuzzy Resource-Constraint Time Workflow Nets. In: 13th International Conference on Information Technology, 2016, Las Vegas. Advances in Intelligent Systems and Computing. Switzerland: Springer, 2016. v. 448. p. 543-554.

13.
L.P. Rezende ; JULIA, S ; CARDOSO, J. . Uncertain Marking for dealing with partial parallelization in Business Processes. In: 18th International Conference on Enterprise information Systems (ICEIS 2016), 2016, Rome. Proceedings of the 18th International Conference on Enterprise information Systems (ICEIS 2016), 2016. v. 2. p. 118-125.

14.
L.P. Rezende ; JULIA, S ; CARDOSO, J. . Possibilistic Workflow nets for dealing with cancellation regions in Business Processes. In: 18th International Conference on Enterprise Information Systems (ICEIS 2016), 2016, Rome. Proceedings of the 18th International Conference on Enterprise Information Systems (ICEIS 2016), 2016. v. 2. p. 126-133.

15.
PASSOS, L. M. S. ; JULIA, S. . Linear logic as a Tool for weak soundness verification for interorganizational workflow processes. In: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence, 2016, San Jose. ICTAI 2016, 2016. p. 514-521.

16.
PASSOS, L. M. S. ; JULIA, S. . Deadlock-freeness scenarios detection in Web service composition. In: International Conference on Information Technology, 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 780-783.

17.
MORAES JÚNIOR, C. M. ; JULIA, R. M. S. ; JULIA, S. . Modeling Recursive Search Algorithms by means of Hierarchical Colored Petri nets and CPN Tools. In: International Conference on Information Technology, 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 788-791.

18.
FREITAS, J. C. J. ; JULIA, S. . Fuzzy Time Constraint propagation mechanism for Workflow nets. In: International Conference on Information Technology, 2015, Las Vegas. 2015 12th International Conference on Information Technology - New Generations, 2015. p. 367-372.

19.
L.P. Rezende ; JULIA, S . Deadlock avoidance in interorganizational business processes using a possibilistic workflow net. In: ICEIS 2015, 2015, Barcelona. 17th international conference on enterprise information systems, 2015. v. 1. p. 429-439.

20.
FREITAS, J. C. J. ; JULIA, S ; L.P. Rezende . Fuzzy resource allocation mechanisms in workflow nets. In: ICEIS 2015, 2015, Barcelona. 17th international conference on enterprise information systems, 2015. v. 1. p. 471-478.

21.
PASSOS, L. M. S. ; JULIA, S . Relaxed soundness verification for interorganizational workflow processes. In: ICEIS 2015, 2015, Barcelona. 17th international conference on enterprise information systems, 2015. v. 3. p. 221-228.

22.
BARRETO, F. M. ; JESKE, Joslaine Cristina ; SOARES, Michel dos Santos ; JULIA, S . A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. In: 16th International Conference on Enterprise Information Systems, 2014, Lisbon. ICEIS 2014 - 16th international conference on enterprise information systems, 2014. p. 145-152.

23.
L.P. Rezende ; JULIA, S. ; J. Cardoso . Possibilistic interorganizational Workflow net for the recovery problem concernaing communication failures. In: ICEIS 2014 - 16th International Conference on Enterprise Information Systems, 2014, Lisbon. ICEIS 2014 - 16th international conference on enterprise information systems, 2014. p. 432-439.

24.
PASSOS, L. M. S. ; JULIA, S . Linear Logic as a tool for deadlock-freeness scenarios detection in interorganizational workflow processes. In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 2014, Limassol - Cyprus. 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 2014. p. 316-320.

25.
BARRETO, F. M. ; JULIA, S. . Modeling and analysis of video games based on Workflow nets and State Graphs. In: CASCON, 2014, Toronto. CASCON 2014, 2014.

26.
PASSOS, L. M. S. ; MAGALHAES JUNIOR, T. A. ; Marcelo Almeida Maia ; JULIA, S . Verification of workflow specifications in UML using automated transformations to WF-nets. In: IX Simpósio Brasileiro de Sistemas de Informação, 2013, João Pessoa. SBSI 2013, 2013. v. 1. p. 674-685.

27.
SILVA, L. F. ; PASSOS, L. M. S. ; SOARES, M ; JULIA, S. . Siphon-Based deadlock prevention policy for interorganizational workflow net design. In: IEEE IRI, 2013, San Fransisco. IEEE IRI 2013, 2013. v. 1. p. 293-300.

28.
PASSOS, L. M. S. ; JULIA, S. . Qualitative Analysis of interorganizational workflow nets using linear logic: soundness verification. In: 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013, Washington. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013. v. 1. p. 667-673.

29.
L.P. Rezende ; JULIA, S ; J. Cardoso . Possibilistic Workflow nets to deal with non-conformance in process execution. In: IEEE International Conference on Systems, Man, and Cybernetics, 2012, Seul. 2012 IEEE International Conference on Systems, Man, and Cybernetics, 2012. p. 1219-1224.

30.
L.P. Rezende ; JULIA, S ; J. Cardoso . Inconsistency recovery in business processes using a possibilistic workflow net. In: International Conference of the Chilean computer science society, 2012, Valparaiso. 2012 International Conference of the Chilean computer science society, 2012.

31.
OLIVEIRA, G. W. ; JULIA, S. ; PASSOS, L. M. S. . Game Modeling using WorkFlow nets. In: 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011, Anchorage. 2011 IEEE International Conference on Systems, Man, and Cybernetics, 2011. p. 838-843.

32.
JESKE, Joslaine Cristina ; JULIA, S. ; VALETTE, R. . A model to represent human behavior in workflow management systems.. In: ICNPAA 2010 World Congress: 8th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences, 2010, São José dos Campos, Brazil. ICNPAA 2010 World Congress: 8th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences, 2010. p. 385-392.

33.
Vale, L.N. ; Silva, N., R. ; Dias, M.S. ; JULIA, S. . Simulation of Industrial Metabolism using Predicate Transition Petri Nets combined with Differential equations. In: ICNPAA 2010 World Congress: 8th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences, 2010, São José dos Campos, Brazil. ICNPAA 2010 World Congress: 8th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences, 2010. p. 551-559.

34.
PASSOS, L. M. S. ; JULIA, S . Análise qualitativa e quantitativa de Workflow nets utilizando Lógica Linear. In: V Simpósio Brasileiro de Sistemas de Informação, 2009, Brasilia. V Simpósio Brasileiro de Sistemas de Informação, 2009. p. 24-36.

35.
JESKE, Joslaine Cristina ; JULIA, S. ; VALETTE, R. . Fuzzy Continuous Resource Allocation Mechanisms inWorkflow Management. In: 2009 XXIII Brazilian Symposium on Software Engineering, 2009, Fortaleza. 2009 XXIII Brazilian Symposium on Software Engineering, 2009.

36.
PASSOS, L. M. S. ; JULIA, S. . Qualitative Analysis of WorkFlow nets using Linear. In: 2009 IEEE International Conference on Systems, Man, and Cybernetics, 2009, San Antonio, TX, USA. Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics, 2009. p. 2922-2926.

37.
Medeiros, F.F. ; JULIA, S. . Análise sob restrições baseada em um raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de Workflow. In: IX SBAI, 2009, Brasília. Anais do IX SBAI, 2009.

38.
TOMIYAMA, M. N. ; JULIA, S. . Modelling Biological Process using Differential Predicate Transition Petri Nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2007, Montreal. 2007 IEEE International Conference on Systems, Man and Cybernetics, 2007.

39.
RAMOS, A. L. B. ; JULIA, S. . Fuzzy Token Player: Ferramenta de simulação de Sistemas de Gerenciamento de Workflow. In: XXI Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa - PB. XXI Simpósio Brasileiro de Engenharia de Software - XIV Sessão de Ferramentas, 2007. v. 1. p. 33-39.

40.
JESKE, Joslaine Cristina ; JULIA, S. ; VALETTE, R. . Fuzzy continuous resource allocation mechanisms in workflow management systems. In: The 2006 IEEE International Conference on Information reuse and integration, 2006, Hawaii. The 2006 IEEE International Conference on Information reuse and integration, 2006. p. 472-477.

41.
FRANCIELLE, Fernanda ; JULIA, S. . Software architecture for the real time scheduling of workflow management systems based on a Petri net model. In: XX Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. Anais do XX Simpósio Brasileiro de Engenharia de Software. São Paulo: Editória Universitária da Universidade de São Paulo, 2006. p. 1-16.

42.
JULIA, S.; SOARES, Michel dos Santos . Centrelized architecture for real time scheduling of batch systems. In: 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004, Salvador da Bahia. INCOM 2004, 2004.

43.
JULIA, S.; FRANCIELLE, Fernanda . A p-time hybrid Petri net model for the scheduling problem of Workflow Management Systems. In: IEEE International Conference on Systems, Man and Cybernetics, 2004, The Hague. IEEE International Conference on Systems, Man and Cybernetics, 2004. p. 4947-4952.

44.
JULIA, S.; BACALA JUNIOR, Sílvio . Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems. In: International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA'03), 2003, Rio de Janeiro. CSITeA'03, 2003. v. 1. p. 60-65.

45.
JULIA, S.; SOARES, Michel dos Santos . Verification of real time UML specifications through a specialized inference mechanism based on a token player algorithm and the sequent calculus of linear logic. In: 15th European Simulation Symposium (ESS 2003), 2003, Delft. Simulation in Industry, 2003. v. 1. p. 65-70.

46.
JULIA, S.; KANACILO, Elisângela M . An UML/Petri Net approach for scenario verification of Real Time Systems.. In: Brazilian Petri Net Meeting, 2002, Natal. Brazilian Petri Net Meeting, 2002.

47.
JULIA, S.; KANACILO, Elisângela Mieko . An approach based on dynamic UML diagrams and on a token player algorithm for the scenario verification of Real Time Systems.. In: 14TH European Simulation Symposium, 2002, Dresden. Simulation in Industry, 2002. p. 377-381.

48.
JULIA, S.; MORAES JÚNIOR, C. M. . Scheduling Batch Systems Using a Petri Net Model and an Intelligent backtrack mechanism. In: IEEE International Conference on Systems, Man and Cybernetics, 2000, Nashville. IEEE International Conference on Systrems, Man and Cybernetics, 2000. p. 3110-3115.

49.
JULIA, S.; VALETTE, R. . Simulation en Temps Réel pour l'aide au Pilotage des Systèmes Hybrides. In: Deuxième Conférence Francophone de Modélisation et Simulation, 1999, Annecy. MOSIM'99, 1999. p. 285-290.

50.
JULIA, S.; MORAES JÚNIOR, C. M. . Escalonamento de sistemas de produção por lotes usando-se um mecanismo de retrocesso inteligente. In: Quarto Simpósio Brasileiro de Automação Inteligente, 1999, São Paulo. 4 SBAI, 1999. p. 521-526.

51.
JULIA, S.; VALETTE, R. ; FERNANDES, J. M. . Scheduling Batch Systems using a token player algorithm. In: IEEE International Conference on Systems, Man and Cybernetics, 1998, San Diego. SMC'98 Conference Proceedings, 1998. p. 487-492.

52.
JULIA, S.. Scheduling flexible manufacturing cells using a token player algorithm. In: 5TH IFAC Workshop on Intelligent Manufacturing Systems, 1998, Gramado. IFAC Proceedings Volume, 1998. p. 193-198.

53.
JULIA, S.; VALETTE, R. ; MORAES JÚNIOR, C. M. ; FERNANDES, J. M. . Escalonamento de Sistemas de Produção Híbridos usando-se um jogador de Rede de Petri. In: XII Congresso Brasileiro de Automática, 1998, Uberlândia. XII Congresso Brasileiro de Automática, 1998. p. 397-402.

54.
JULIA, S.. Mini-Curso : Da concepção ao controle em tempo real de sistemas flexíveis de manufatura usando as Redes de Petri. In: XII Congresso Brasileiro de Automática, 1998, Uberlândia. Mini Cursos do XII CBA, 1998. v. 1. p. 1-35.

55.
JULIA, S.; VALETTE, R. ; TAZZA, M. . Computing a feasible schedule under a set of cyclical constraints. In: Second International Conference on Industrial Automation, 1995, Nancy. Second International Conference on Industrial Automation, 1995. v. 1. p. 141-146.

56.
JULIA, S.; VALETTE, R. ; TAZZA, M. . Analysis of manufacturing cell under a set of cyclic constraints. In: 38TH Midwest Symposium on Circuits and Systems, 1995, Rio de Janeiro. 38TH Midwest Symposium on Circuits and Systems, 1995. v. 1. p. 23-26.

57.
JULIA, S.; VALETTE, R. ; JULIA, R. M. S. . Análise sob restrições baseadas em Redes de Petri de uma célula flexível de manufatura. In: Segundo Simpósio Brasileiro de Automação Inteligente, 1995, Curitiba. Segundo Simpósio Brasileiro de Automação Inteligente, 1995. p. 243-248.

58.
JULIA, S.; VALETTE, R. ; TAZZA, M. . Analysis of the behavior of a manufacturing cell with cyclic feeding policies. In: IEEE International Conference on Systems, Man and Cybernetics, 1994, San Antonio. 1994 IEEE International Conference on Systems, Man and Cybernetics, 1994. v. 2. p. 1683-1688.

Demais trabalhos
1.
JULIA, S.. Controle em Tempo Real de Sistemas Flexíveis de Manufatura. 1997 (Projeto de Pesquisa Individual com Agente Financiador : MEC) .

2.
JULIA, S.. Desenvolvimento de um sistema de controle digital segundo o padrão open Firmware. 1995 (Projeto Rhae) .

3.
JULIA, S.. Analytice. 1994 (Projeto Rhae) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
JULIA, S; PASSOS, L. M. S.; LOPES, Carlos Roberto; Villani, E.. Participação em banca de Vinicius Ferreira de Oliveira. Uma regra de sincronização baseada na logica linear para prevenção de deadlock em workflow nets iterorganizacionais. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
Junior, R. M.; Marcelo Almeida Maia; MACEDO, Autran; Maciel P. R. M.; JULIA, S.. Participação em banca de Nathália Assis Valentim. Envelhecimento e rejuvenescimento de Software: 20 anos - panorama e desafios. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

3.
MAIA, Marcello; Song, M. A. J.; JULIA, S. Participação em banca de Cláudio Ribeiro de Sousa. Construção de um classificador automático de severidade de bugs para sistemas open source. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

4.
Marcelo Almeida Maia; FIGUEIRA FILHO, F. M.; JULIA, S. Participação em banca de Eduardo Cunha Campos. Recomendação de conhecimento da multidão para auxílio ao desenvolvimento de software. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
JULIA, S; MACEDO, Autran; CURY, J. E. R.. Participação em banca de Franciny Medeiros Barreto. Modelagem e análise de video games baseadas em workflow nets e grafos de estado. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

6.
MACÊDO, Autran; Junior, R. M.; Song, M. A. J.; JULIA, S. Participação em banca de Joicymara Santos Xavier. Engenharia de confiabilidade de Software: um mapeamento sistemático. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

7.
JULIA, S; LOPES, Carlos Roberto; DOREA, C. E. T.. Participação em banca de Luciane de Fátima Silva. Detecção e correção de situações de deadlock em workflow nets interorganizacionais. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

8.
JULIA, S; MIYAGI, Paulo Eigi; OLIVEIRA, Fernanda Francielle de. Participação em banca de Leiliane Pereira de Rezende. Workflow net possibilística para problemas de não conformidade em processos de negócios. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

9.
JULIA, S.; SILVA, José Reinaldo; SOARES, Michel dos Santos. Participação em banca de Guilherme William de Oliveira. Modelagem e Análise de Vídeo-game usando as Workflow nets e a Lógica Linear. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

10.
SOARES, Michel dos Santos; JULIA, S; COSTA, H. A. X.. Participação em banca de Eduardo Augusto Silvestre. Modelagem de software de tempo real utilizando o profile Marte da UML. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

11.
Marcelo Almeida Maia; JULIA, S.; FIGUEIREDO, E. M. L.. Participação em banca de Raquel Fialho de Queiroz Lafetá. O impacto do uso de rastros de execução em atividades de localização de características de software: um experimento controlado. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

12.
MAIA, Marcello; VALENTE, M. T. O.; JULIA, S. Participação em banca de Klérisson Vinícius Ribeiro da Paixão. Alinhamento de rastros de execução de programas para compreensão de pontos de variação em código-fonte. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

13.
JULIA, S; Villani, E.; MAIA, Marcello. Participação em banca de Liliane do Nascimento Vale. Especificação de testes funcionais usando Redes de Petri a objetos para Softwares Orientados a Objetos. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

14.
JULIA, S.; Villani, E.; MAIA, Marcello; LOPES, Carlos Roberto. Participação em banca de Lígia Maria Soares Passos. Formalização de workflow nets utilizando Lógica Linear: análise qualitativa e quantitativa. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

15.
JULIA, S.; LOPES, Carlos Roberto; Junior, O.M.. Participação em banca de Flavio Felix Medeiros. Analise sob restricoes baseada em um r raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de Workflow. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

16.
MAIA, Marcello; Silva, I. R.; JULIA, S.; Song, M. A. J.. Participação em banca de Felipe Cezar de Castro Antunes. Recuperação de visao estrutural de software combinando analise semântica estática e latente. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

17.
MAIA, Marcello; BIGONHA, R. S.; JULIA, S. Participação em banca de Victor Sobreira. Uma abordagem para compreensão de programas baseada na localização de características em código fonte. 2008. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

18.
JULIA, S.; LUDERS, R.; BARCELOS, C. A. Z.. Participação em banca de Michele Nasu Tomiyama. Modelagem e Simulação de Processos Biológicos usando Redes de Petri Predicado Transição Diferenciais. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

19.
JULIA, S.; Junior, O.M.; Kato, E. R. R.; Carvalho, A. C. P. L. F.. Participação em banca de Ana Claudia Deriz. Um método de busca usando algoritmo genético para programação reativa da produção de sistemas de manufatura com recursos compartilhados. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

20.
Campos, S. V. A.; Silva, I. R.; JULIA, S.; MACEDO, Autan. Participação em banca de Rogério Sousa e Silva. Distribuição de tarefas em sistemas de Workflow por meio da seleção induzida de recursos. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

21.
JULIA, S.; LUDERS, R.; SOUZA, J. N.. Participação em banca de Joslaine Cristina Jeske. Mecanismo de alocação de recursos fuzzy para sistemas de gerneciamento de workflow. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

22.
JULIA, S.; SILVA, José Reinaldo; MACÊDO, Autran. Participação em banca de Fernanda Francielle de Oliveira. Problema do escalonamento em tempo real dos sistemas de gerenciamento de workflow baseado em um modelo de rede de Petri híbrida p-temporal. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

23.
JULIA, S.; LOPES, Carlos Roberto; Jacques Wainer. Participação em banca de Jony Teixeira de Melo. Workflow com técnicas de planejamento apoiado em Inteligência Artificial. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

24.
JULIA, S.; KÜNZLE, Luis Allan; MACÊDO, Autran. Participação em banca de Michel dos Santos Soares. Uma abordagem baseada num jogador de redes de Petri p-temporal e no cálculo de sequentes da lógica linear para a verificação de cenários de sistemas tempo real especificados através de diagramas dinâmicos da UML. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

25.
JULIA, S.; ROSA, Pedro Frosi; MIYAGI, Paulo Eigi. Participação em banca de Elisângela Mieko Kanacilo. Uma abordagem para verificação de cenários de sistemas tempo real, baseada em diagramas dinâmicos UML e em um jogador de redes de Petri. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

26.
JULIA, S.; WILLRICH, Roberto; LOPES, Carlos Roberto. Participação em banca de Sílvio Bacalá Júnior. Arquitetura de software baseada numa abordagem UML/Redes de Petri com prevenção de bloqueio mortal em sistemas de tempo real. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

27.
JULIA, S.. Participação em banca de Clarimundo Machado Moraes Júnior. Escalonamento de Sistemas de Produção Híbridos usando uma Rede de Petri p-temporal t-temporizada com mecanismo de retrocesso inteligente. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Teses de doutorado
1.
JULIA, R. M. S.; JULIA, S.; LOPES, Carlos Roberto; FERNANDES, Márcia Aparecida; SILVA, José Reinaldo; GAMA, J. M. P.. Participação em banca de Clarimundo Machado Moraes Júnior. Uma abordagem para avaliar o desempenho de algoritmos baseada em simulações automáticas de modelos de redes de Petri coloridas hierárquicas. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
OLIVEIRA, G. M. B.; SOUZA, J. R.; JULIA, S; ROMERO, R. A. F.; VARGAS, P. A.. Participação em banca de Danielli Araújo Lima. Autômatos Celulares e Sistemas Bio-Inspirados aplicados ao controle inteligente de robôs. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

3.
JULIA, S.; FERNANDES, Márcia Aparecida; MALAQUIAS, F. F. O.; PASSOS, L. M. S.; LUDERS, R.. Participação em banca de Joslaine Cristina Jeske de Freitas. Modelagem e simulação de sistemas de gerenciamento de processos de negócios baseadas em Workflow net temporais com mecanismos de alocação de recursos híbridos Fuzzy. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

4.
JULIA, S.; LOPES, Carlos Roberto; MALAQUIAS, F. F. O.; MIYAGI, Paulo Eigi; LUDERS, R.; MALUCELLI, J.. Participação em banca de Leiliane Pereira Rezende. Workflow net possibilística aplicada aos sistemas de gerenciamento de processos de negócios flexíveis. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
JULIA, S; LOPES, Carlos Roberto; MIYAGI, Paulo Eigi; Villani, E.. Participação em banca de Lígia Maria Soares Passos. Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

6.
JULIA, S.; MIYAGI, Paulo Eigi; ARAKAKI, Reginaldo; VALETTE, Robert Jean; PORTO, Arthur José Vieira. Participação em banca de Emília Villani. Modelagem e análise de sistemas supervisórios híbridos. 2004. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

7.
JULIA, S.; MENDES, R. S.; CURY, J. E. R.; FERREIRA, P. A. V.; PERES, P. L. D.; AMARAL, W. C.. Participação em banca de Ricardo Lüders. Controle Multivariável de sistemas a eventos discretos em dióides. 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
SOARES, Michel dos Santos; JULIA, S.; PEREIRA, C. E.; WEHRMEISTER, M. A.. Participação em banca de Fabíola Gonçalves Coelho Ribeiro. Multi-Formalism in different levels of abstraction for requirements engineering and design of Real-Time and Embedded Systems. 2017. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
JULIA, S; FERNANDES, Márcia Aparecida; LUDERS, R.. Participação em banca de Joslaine Cristina Jeske de Freitas. Dimensionamento e gerenciamento de workflow net com recursos usando redes de Petri híbridas fuzzy. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

3.
JULIA, S; LOPES, Carlos Roberto; MIYAGI, Paulo Eigi. Participação em banca de Leiliane Pereira de Rezende. Workflow net possibilística aplicada aos sistemas de gerenciamento de processos de negócios flexíveis. 2016. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

4.
JULIA, S; ROSA, Pedro Frosi; CURY, J. E. R.. Participação em banca de Lígia Maria Soares Passos. Uma metodologia baseada na lógica linear para verificação de processos de workflow interorganizacionais. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
JULIA, S; JULIA, R. M. S.; LOPES, Carlos Roberto; SILVA, José Reinaldo. Participação em banca de Clarimundo Machado Moraes Júnior. Modelagem e análise de algoritmos baseadas em redes de Petri coloridas e hierárquicas. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

Qualificações de Mestrado
1.
MANACERO JUNIOR, A.; JULIA, S.; GUIDO, R. C.. Participação em banca de Fernanda Fernandes Peronaglio. Modelagem e simulação de relações entre tarefas computacionais de tempo-real usando interfaces gráficas.. 2018. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Estadual Paulista.

Trabalhos de conclusão de curso de graduação
1.
JULIA, S.; FERNANDES, Márcia Aparecida; MIANI, R. S.. Participação em banca de Lorena Rodrigues Bruno.Uma abordagem para a Modelagem e Simulação de processos de negócio baseada nas Redes de Petri estocásticas e Redes de Petri Continuas Temporizadas. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

2.
TAVARES, J. J. Z. S.; JULIA, S.; SOUSA, A. R.. Participação em banca de Lucas Henriques Silva.Projeto e Implementação de PNRD e PNRD estendida a distancia. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecatrônica) - Universidade Federal de Uberlândia.

3.
TAVARES, J. J. Z. S.; FONSECA, J. P. S.; JULIA, S.. Participação em banca de Carlos Eduardo Alves da Silva.Desenvolvimento de bibliotecas para aplicações de PNRD e PNRD invertida embarcadas em Arduíno. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecatrônica) - Universidade Federal de Uberlândia.

4.
JULIA, S.; Anilton Joaquim da Silva; LIMA, M. A. V.. Participação em banca de Frederico Sisconetto Noce.Uma abordagem para a modelagem, analise e simulação de processos de negócios interorganizacionais baseada nas Workflow nets e na ferramenta CPN Tools. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

5.
Junior, R. M.; Anilton Joaquim da Silva; JULIA, S. Participação em banca de Rodrigo Alves Pacheco.Métodos numéricos para testes de aderência e estimação de parâmetros de distribuições de probabilidade com aplicação para análise de confiabilidade de sistemas operacionais. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecatrônica) - Universidade Federal de Uberlândia.

6.
CATTELAN, R. G.; RODRIGUES, C. C.; JULIA, S. Participação em banca de Renato Luiz Silva Severino Vieira.ELDOC - Gestão de documentos eletrônicos. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

7.
JULIA, S.; JULIA, R. M. S.; PASSOS, L. M. S.. Participação em banca de Raíza Moraes Sousa.Estágio de Consultoria em ALM. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

8.
JULIA, S; MACEDO, Autran; DOMINGUES, R. G.. Participação em banca de João Leonardo Sacardo Campos.Outsourcing do Azzu. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

9.
JULIA, S.. Participação em banca de Lucas Marchesoti Franco.Desenvolvimento de Software. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

10.
JULIA, S.. Participação em banca de Gabriel Jara Bígio.Homologação de produtos e desenvolvimento de aplicativos. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

11.
Junior, R. M.; JULIA, S.; LOPES, Carlos Roberto. Participação em banca de Joyce Meire da Silva França.Migração do SGPI para Java. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

12.
SOARES, Michel dos Santos; JULIA, S.. Participação em banca de Luciane de Fátima Silva.Estágio de Analista de Qualidade e Teste. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

13.
BACALÁ JÚNIOR, S.; JULIA, S.. Participação em banca de Raysllan Nascentes Pereira.Realidade Aumentada. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

14.
LOPES, Carlos Roberto; SOUZA, J. N.; JULIA, S.. Participação em banca de Cristiano Nunes de Carvalho.Sistema para Automatização de Saque de Dinheiro. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

15.
Oliveira, R.C.; JULIA, S.; Catellan, R. G.. Participação em banca de Raulcezar Maximiano Figueira Alves.Desenvolvimento de ferramentas de tratamento espacial. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

16.
JULIA, R. M. S.; Barbar, J. S.; JULIA, S.. Participação em banca de Rodrigo Fernando Silva.Portal de gestão VPN. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

17.
JULIA, S.; MAIA, Marcello; Coelho, P. R. S. L.. Participação em banca de Rafael Guersoni Resende.Implementacao de vendas de celulares por cartao de creditos como forma de pagamento. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

18.
LOPES, Carlos Roberto; JULIA, S.; Junior, R. M.. Participação em banca de Igor Zanatto.Sistema de controle de transporte Ronda. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

19.
JULIA, S.; Silva, I. R.; FERNANDES, Márcia Aparecida. Participação em banca de Eduardo Soares Sabino.Desenvolvimento de um massive multiplayer online game. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

20.
JULIA, S; SOUZA, M. R.; ROSA, Pedro Frosi. Participação em banca de Gil Victor Teixeira Pinto.Realizações de soluções inovadoras no contexto da relação usuário e administração pública. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

21.
FERNANDES, Márcia Aparecida; JULIA, S; PAIVA, J. G. S.. Participação em banca de Felipe Nunes Gaia.Projeto de gestão advocatícia - Voccia. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

22.
PACHECO, J. A. A.; ROSA, Pedro Frosi; JULIA, S. Participação em banca de Humberto Dib Hayashi.Projeto SAP. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

23.
JULIA, S.; LOPES, Carlos Roberto; FERNANDES, Márcia Aparecida. Participação em banca de Ana Sofia Silva Costa.Manutenção e novos desenvolvimentos dos processos de negócios referentes aos clientes da empresa CTBC. 2008. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

24.
JULIA, S.; AMO, Sandra Aparecida de; FERNANDES, Márcia Aparecida. Participação em banca de Tomaz Rosa Alves.Implantação de uma supervisão sobre a ferramenta ZR2. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

25.
AMO, Sandra Aparecida de; FERNANDES, Márcia Aparecida; JULIA, S.. Participação em banca de Saulo Damasceno Borges.Evolução das aplicações planning e chiffrage. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

26.
JULIA, S.; BACALÁ JÚNIOR, S.; JULIA, R. M. S.. Participação em banca de Amanda da Costa Caldas.Evolução do Sistema Demonstrativo de Comissões. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdade de Computação.

27.
JULIA, S.; JULIA, R. M. S.; FERNANDES, Márcia Aparecida. Participação em banca de Flávio Roberto Janones de Sousa.Estudo da migração de uma aplicação SPC no contexto da laminagem a quente. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdade de Computação.

28.
Barbar, J. S.; JULIA, S.; Schneider, S. M.. Participação em banca de Lucas Tiago Rodrigues.Software para controle de painel de instrumentos veicular. 2007. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Faculdade de Computação.

29.
JULIA, S.; SOUZA, M. R.; SCHNAIDER, Sergio; LACERDA, H. B.. Participação em banca de Daniel Henrique de Oliveira Souza.Desenvolvimento de software para modelagem dinâmica de processos de usinagem. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

30.
FERNANDES, Márcia Aparecida; JULIA, R. M. S.; JULIA, S.. Participação em banca de André Luiz Bernardo Ramos.Automatização e integração do processo de troca de informação entre aplicações distintas. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

31.
JULIA, S.; Anilton Joaquim da Silva; BACALÁ JÚNIOR, S.. Participação em banca de Leonardo Fraga Pacheco.Gestão de contratos. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

32.
JULIA, S.; FERNANDES, Márcia Aparecida; BACALÁ JÚNIOR, S.. Participação em banca de Paulo Roberto de Oliveira.Sistema prestamista. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

33.
JULIA, S.; BACALÁ JÚNIOR, S.; Anilton Joaquim da Silva. Participação em banca de Anderson Andrade Teymeny.Gestão de Contratos. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia.

34.
JULIA, S.; JULIA, R. M. S.; FERNANDES, Márcia Aparecida. Participação em banca de Said Ferreira Guimarães.HostFlow. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

35.
JULIA, S.; ROSA, Pedro Frosi; AMO, Sandra Aparecida de. Participação em banca de Larissa Pontes Andrade.Dolphin - DVD Technoloy. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

36.
JULIA, S.. Participação em banca de Elner Rodrigues Ribeiro.Desenvolvimento do Robô de Busca da UFU. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

37.
JULIA, S.. Participação em banca de Vanin Alves Ferreira.Monografia de graduação. 2001. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

38.
JULIA, S.. Participação em banca de Marcos Vinícius Castro Alves.Monografia de graduação. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.



Participação em bancas de comissões julgadoras
Professor titular
1.
JULIA, S.. Promotion to the Rank of Professor of Dr. Vijay Gehlot. 2018. Villanova University.

Concurso público
1.
JULIA, S.; Marcelo Almeida Maia; Junior, R. M.. Processo seletivo de alunos de Mestrado e Doutorado em Ciência da Computação. 2018. Universidade Federal de Uberlândia.

2.
JULIA, S.; Marcelo Almeida Maia; Junior, R. M.. Processo seletivo de alunos de Mestrado e Doutorado em Ciência da Computação. 2017. Universidade Federal de Uberlândia.

3.
MACEDO, Autran; Junior, R. M.; Marcelo Almeida Maia; JULIA, S.. Processo seletivo alunos de Mestrado/Doutorado em Ciência da Computação. 2016. Universidade Federal de Uberlândia.

4.
JULIA, S.; Marcelo Almeida Maia; Junior, R. M.. Processo seletivo de Mestrado e Doutorado em Ciência da Computação. 2015. Universidade Federal de Uberlândia.

5.
SILVA, F. O.; JULIA, S.; SOARES, Michel dos Santos. Concurso Público para Professor Efetivo. 2015. Universidade Federal de Uberlândia.

6.
JULIA, S; SILVA, F. O.; FIGUEIREDO, E. M. L.. Concurso para Professor Adjunto em Engenharia de Software. 2014. Universidade Federal de Uberlândia.

7.
JULIA, S; Marcelo Almeida Maia; MACEDO, Autan; Junior, R. M.. Processo seletivo alunos de Mestrado em Ciência da Computação. 2014. Universidade Federal de Uberlândia.

8.
JULIA, S; MAIA, Marcello; Junior, R. M.. Processo seletivo de alunos de Doutorado em Ciência da Computação. 2014. Universidade Federal de Uberlândia.

9.
JULIA, S; Marcelo Almeida Maia; SOARES, Michel dos Santos; MACEDO, Autran; Junior, R. M.. Processo seletivo de alunos de Mestrado em Ciência da Computção. 2013. Universidade Federal de Uberlândia.

10.
MACEDO, Autran; Marcelo Almeida Maia; SOARES, Michel dos Santos; JULIA, S; Junior, R. M.. Processo seletivo de alunos de Mestrado em Ciência da Computação. 2012. Universidade Federal de Uberlândia.

11.
Marcelo Almeida Maia; SOARES, Michel dos Santos; JULIA, S; Junior, R. M.. Processo seletivo de alunos de Doutorado. 2012. Universidade Federal de Uberlândia.

12.
JULIA, S.; MAIA, Marcello; SOARES, Michel dos Santos. Processo seletivo de alunos de mestrado em ciência da computação (primeiro semestre). 2010. Universidade Federal de Uberlândia.

13.
JULIA, S; TORRES, R.; RESENDE, R.. Concurso público para Professor Adjunto. 2009. Universidade Federal de Uberlândia.

14.
JULIA, S.; MAIA, Marcello. Processo seletivo de alunos de mestrado em ciência da computação (primeiro semestre). 2009. Universidade Federal de Uberlândia.

15.
JULIA, S.; MAIA, Marcello. Processo seletivo de alunos de mestrado em ciência da computação (segundo semestre). 2009. Universidade Federal de Uberlândia.

16.
JULIA, S.; MAIA, Marcello. Processo seletivo de alunos de mestrado em ciência da computação (primeiro semestre). 2008. Universidade Federal de Uberlândia.

17.
JULIA, S.; MAIA, Marcello. Processo seletivo de alunos de mestrado em ciência da computação (segundo semestre). 2008. Universidade Federal de Uberlândia.

18.
JULIA, S.; TORRES, R. S.; RESENDE, R. S. F.. Concurso para Professor Efetivo. 2008. Universidade Federal de Uberlândia.

19.
JULIA, S.; MAIA, Marcello. Processo seletivo de aluno de mestrado em computação (primeiro semestre). 2007. Universidade Federal de Uberlândia.

20.
JULIA, S.; MAIA, Marcello. Processo seletivo de aluno de Mestrado em Computação (segundo semestre). 2007. Universidade Federal de Uberlândia.

21.
JULIA, S.; MACEDO, Autan; MAIA, Marcello. Processo seletivo de alunos de mestrado em computação (primeiro semestre). 2006. Universidade Federal de Uberlândia.

22.
JULIA, S.; MACEDO, Autran; MAIA, Marcello. Processo seletivo de alunos de mestrado em computação (segundo semestre). 2006. Universidade Federal de Uberlândia.

23.
JULIA, S.; MACÊDO, Autran; MAIA, Marcello. Processo seletivo de alunos de mestrado em computação (segundo semestre). 2005. Universidade Federal de Uberlândia.

24.
JULIA, S.; MACÊDO, Autran; Marcelo Almeida Maia. Processo seletivo de alunos de mestrado em computação (primeiro semestre). 2005. Universidade Federal de Uberlândia.

25.
JULIA, S.; MACEDO, Autan; SCHNAIDER, Sergio. Processo seletivo de alunos de mestrado. 2004. Universidade Federal de Uberlândia.

26.
JULIA, S.; MACEDO, Autran. Processo seletivo de alunos de mestrado. 2004. Universidade Federal de Uberlândia.

27.
JULIA, S.. Concurso Público para professor adjunto. 2004. Universidade Federal de Uberlândia.

28.
JULIA, S.. Processo seletivo de alunos de mestrado. 2003. Universidade Federal de Uberlândia.

Outras participações
1.
JULIA, S.. XIX Congresso Brasileiro de Automática. 2012. Universidade Tecnológica Federal do Paraná.

2.
JULIA, S.. XVIII Congresso Brasileiro de Automática. 2010. Universidade Estadual Paulista.

3.
JULIA, S.. IX Simpósio Brasileiro de Automação Inteligente. 2009. Universidade de Brasília.

4.
JULIA, S; MAIA, Marcello. II Workshop de Dissertações de Mestrado em Ciência da Computação. 2008. Universidade Federal de Uberlândia.

5.
JULIA, S.. Revisão técnica do CBA 2006. 2006. Sociedade Brasileira de Automática.

6.
JULIA, S.. Revisão técnica do COBEM 2005. 2005. Universidade Federal de Minas Gerais.

7.
JULIA, S.. Revisão técnica no 11th IFAC Symposium on Information Control Problems in Manufacturing. 2004. Universidade Federal do Rio Grande do Sul.

8.
JULIA, S.. Processo seletivo de alunos de mestrado. 2002. Universidade Federal de Uberlândia.

9.
JULIA, S.. Congresso Brasileiro de Engenharia Mecânica. 2001. Universidade Federal de Uberlândia.

10.
JULIA, S.. Processo Seletivo de Alunos de Mestrado. 2001. Universidade Federal de Uberlândia.

11.
JULIA, S.. Workshop on Formal Methods. 2000. Universidade Federal de Minas Gerais.

12.
JULIA, S.. XII Congresso Brasileiro de Automática. 2000. Universidade Federal de Santa Catarina.

13.
JULIA, S.. XII Congresso Brasileiro de Automática. 1998. Universidade Federal de Uberlândia.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
FACOM Techweek e XII WTDCC.Métodos Formais em Engenharia de Software: Redes de Petri. 2018. (Simpósio).

2.
FACOM VIII WTDCC.Sessão de Engenharia de Software. 2014. (Simpósio).

3.
FACOM VII WTDCC.Sessão de Engenharia de Software. 2013. (Simpósio).

4.
5th IFAC Workshop on Intelligent Manufacturing Systems. 5th IFAC Workshop on Intelligent Manufacturing Systems. 1998. (Congresso).

5.
XII CBA. XII Congresso Brasileiro de Automática. 1998. (Congresso).

6.
38TH Midwest Symposium on Circuits and Systems.38TH Midwest Symposium on Circuits and Systems - IEEE Circuits and Systems Society. 1995. (Simpósio).

7.
Segundo SBAI.Segundo SBAI. 1995. (Simpósio).



Orientações



Orientações e supervisões em andamento
Tese de doutorado
1.
Kênia Santos de Oliveira. Verificação de requisitos em modelos de tipo SOA baseada em Workflow nets e em Logica Linear. Início: 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia. (Orientador).

2.
Franciny Medeiros Barreto. Redes de Petri Coloridas para a Modelagem, Análise e Simulação de Vídeo Games. Início: 2015. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Vinicius Ferreira de Oliveira. Uma regra de sincronização baseada na Lógica linear para prevenção de deadlock em workflow nets interorganizacionais. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Stéphane Julia.

2.
Franciny Medeiros Barreto. Modelagem e Análise de Vídeo Games baseadas em Workflow nets e Grafos de Estado. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

3.
Luciane de Fátima Silva. Detecção e correção de situações de deadlock em workflow nets interorganizacionais. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

4.
Leiliane Pereira de Rezende. Workflow net possibilística para problemas de não conformidade em processos de négocios. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Stéphane Julia.

5.
Guilherme William de Oliveira. Modelagem e Análise de Vídeo-game Usando as Workflow nets e a Lógica Linear. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Stéphane Julia.

6.
Liliane Nascimento do Vale. Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

7.
Flavio Felix Medeiros. Analise sob restricoes aplicada ao problema de escalonamento em sistemas de gerenciamento de workflow: Uma abordagem baseada em um raciocınio energetico aplicado as Redes de Petri hıbridas p-temporais. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

8.
Lígia Maria Soares Passos. Formalização de workflow nets utilizando Lógica Linear: análise qualitativa e quantitativa. 2009. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Programa de Apoio a Planos de Reestruturação e Expansão das Universidades F. Orientador: Stéphane Julia.

9.
Michele Nasu Tomiyama. Modelagem e Simulação de Processos Biológicos usando Redes de Petri Predicado Transição Diferenciais. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

10.
Joslaine Cristina Jeske. Mecanismo de alocação de recursos fuzzy para sistemas de gerenciamento de workflow. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

11.
Fernanda Franciella. Problema do escalonamento em tempo real dos sistemas de gerenciamento de workflow baseado em um modelo de rede de Petri híbrida p-temporal. 2005. 120 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Stéphane Julia.

12.
Michel dos Santos Soares. Uma abordagem baseada num jogador de redes de Petri p-temporal e no cálculo de sequentes da lógica linear para a verificação de cenários de sistemas tempo real especificados através de diagramas dinâmicos da UML. 2004. 140 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

13.
Elisângela M Kanacilo. Uma abordagem para a verificação de cenários de sistemas tempo real, baseada em diagramas dinâmicos UML e em um jogador de redes de Petri. 2003. 156 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Stéphane Julia.

14.
Silvio Bacalá Júnior. Arquitetura de software baseada numa abordagem UML/Redes de Petri com prevenção de bloqueio mortal em sistemas de tempo real. 2003. 150 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

15.
Clarimundo Machado Moraes Júnior. Escalonamento de Sistemas de Produção Híbridos usando uma Rede de Petri p-temporal t-temporizada com mecanismo de retrocesso inteligente. 2000. 120 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Stéphane Julia.

Tese de doutorado
1.
Clarimundo Machado Moraes Júnior. Uma abordagem para avaliar o desempenho de algoritmos baseada em simulações automáticas de modelos de redes de Petri coloridas hierárquicas. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, . Coorientador: Stéphane Julia.

2.
Leiliane Pereira de Rezende. Workflow net possibilística aplicada aos sistemas de gerenciamento de processos de negócios flexíveis. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Stéphane Julia.

3.
Joslaine Cristina Jeske de Freitas. Modelagem e Simulação de sistemas de gerenciamento de processos de negócios baseadas em Workflow net temporais com mecanismos de alocação de recursos híbridos fuzzy. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

4.
Lígia Maria Soares Passos. Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais. 2016. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, . Orientador: Stéphane Julia.

Trabalho de conclusão de curso de graduação
1.
Lorena Rodrigues Bruno. Uma abordagem para Modelagem e Simulação de fluxos de processos de negocio baseada nas redes de Petri Estocásticas e Redes de Petri Contínuas Temporizadas. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

2.
Frederico Sisconetto Noce. Uma abordagem para a modelagem, análise e simulação de processos de negócios interorganizacionais baseada nas workflow nets e na ferramenta CPN Tools. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

3.
Alana Rocha Santos. Modelagem e Simulação de Processos de Negócios utilizando Redes de Petri Coloridas e o Simulador CPN Tools. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

4.
Raíza Moraes Sousa. Estágio de Consultoria em ALM. 2012. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

5.
João Leonardo Sacardo Campos. Outsourcing do Azzu. 2012. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

6.
Gabriel Jara Bígio. Homologação de produtod e desenvolvimento de aplicativos. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

7.
Lucas Marchesoti Franco. Desenvolvimento de Software. 2011. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

8.
Rafael Guersoni Resende. Implementação da venda de celulares por cartão de credito como forma de pagamento. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

9.
Carlos Eduardo Soares Sabino. Desenvolvimento de um Massive Multiplayer Online Game. 2009. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

10.
Gil Victor Teixeira Pinto. Realização de soluções inovadoras no contexto da relação usurário e administração publica. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

11.
Ana Sofia Silva Costa. Manutenção e Novos desenvolvimentos dos Processos de Negócios Referentes aos Clientes da Empresa CTBC. 2008. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

12.
Tomaz Rosa Alves. Implantação de uma supervisão sobre a ferramenta ZR2. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

13.
Daniel Henrique de Oliveira Souza. Desenvolvimento de software para modelagem dinâmica de processos de usinagem. 2006. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

14.
Leonardo Fraga Pacheco. Gestão de Contratos. 2005. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

15.
Paulo Roberto de Oliveira. Sistema Prestamista. 2005. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.

Iniciação científica
1.
André Luiz Bernardo Ramos. Uma abordagem UML/Redes de Petri para a verificação de cenários de sistemas tempo real. 2006. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal de Uberlândia. Orientador: Stéphane Julia.



Inovação



Projetos de pesquisa



Página gerada pelo Sistema Currículo Lattes em 18/12/2018 às 11:57:47