Stéphane Julia

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 Titular 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.

Informações coletadas do Lattes em 04/11/2022

Acadêmico

Formação acadêmica

Doutorado em Informática Industrial

1993 - 1997

Universite Paul Sabatier
Título: Conception et Pilotage de Cellules Flexibles à fonctionnement répétitif modélisées par Réseaux de Petri
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: EngenhariasGrande Á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).

Mestrado em Automação e Informática Industrial

1992 - 1993

Universite Paul Sabatier
Título: Mouvements en temps minimal pour les robots manipulateurs, Ano de Obtenção: 1993
Orientador: Michel Courdesses
Palavras-chave: robótica.Grande área: EngenhariasSetores de atividade: Aeronáutica e Espaço.

Graduação em Engenharia Em Eletricidade Eletrônica e Automática

1987 - 1992

Universite Paul Sabatier

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

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.

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: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

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.

Participação em eventos

FACOM Techweek e XIV WTDCC.Métodos Formais em Engenharia de Software: Redes de Petri. 2020. (Simpósio).

Hamm-Lippstad University of Applied Sciences International Colloquia.Formal Methods in Software Engineering: Petri nets. 2019. (Simpósio).

FACOM Techweek e XII WTDCC.Métodos Formais em Engenharia de Software: Redes de Petri. 2018. (Simpósio).

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

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

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

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

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

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

Participação em bancas

Aluno: Vinícius Ferreira de Oliveira

JULIA, SPASSOS, L. M. S.; LOPES, Carlos Roberto; Villani, E.. 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.

Aluno: Nathália Assis Valentim

Junior, R. M.;Marcelo Almeida Maia; MACEDO, Autran; Maciel P. R. M.;JULIA, S.. 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.

Aluno: Cláudio Ribeiro de Sousa

MAIA, Marcello; Song, M. A. J.;JULIA, S. 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.

Aluno: Eduardo Cunha Campos

Marcelo Almeida Maia; FIGUEIRA FILHO, F. M.;JULIA, S. 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.

Aluno: Franciny Medeiros Barreto

JULIA, S; MACEDO, Autran; CURY, J. E. R.. 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.

Aluno: Joicymara Santos Xavier

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

Aluno: Luciane de Fátima Silva

JULIA, S; LOPES, Carlos Roberto; DOREA, C. E. T.. 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.

Aluno: Leiliane Pereira de Rezende

JULIA, S; MIYAGI, Paulo Eigi; OLIVEIRA, Fernanda Francielle de. 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.

Aluno: Guilherme William de Oliveira

JULIA, S.; SILVA, José Reinaldo;SOARES, Michel dos Santos. 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.

Aluno: Eduardo Augusto Silvestre

SOARES, Michel dos SantosJULIA, S; COSTA, H. A. X.. 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.

Aluno: Raquel Fialho de Queiroz Lafetá

Marcelo Almeida MaiaJULIA, S.; FIGUEIREDO, E. M. L.. 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.

Aluno: Klérisson Vinicius Ribeiro da Paixao

MAIA, Marcello; VALENTE, M. T. O.;JULIA, S. 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.

Aluno: Liliane do Nascimento Vale

JULIA, S; Villani, E.; MAIA, Marcello. 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.

Aluno: Lígia Maria Soares Passos

JULIA, S.; Villani, E.; MAIA, Marcello; LOPES, Carlos Roberto. 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.

Aluno: Felipe Cézar de Castro Antunes

MAIA, Marcello; Silva, I. R.;JULIA, S.; Song, M. A. J.. 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.

Aluno: Flávio Félix Medeiros

JULIA, S.; LOPES, Carlos Roberto; Junior, O.M.. 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.

Aluno: Victor Sobreira

MAIA, Marcello; BIGONHA, R. S.;JULIA, S. 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.

Aluno: Michele Nasu Tomiyama

JULIA, S.; LUDERS, R.; BARCELOS, C. A. Z.. 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.

Aluno: Ana Claudia Deriz

JULIA, S.; Junior, O.M.; Kato, E. R. R.; Carvalho, A. C. P. L. F.. 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.

Aluno: ROGÉRIO SOUSA E SILVA

Campos, S. V. A.; Silva, I. R.;JULIA, S.; MACEDO, Autan. 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.

Aluno: Joslaine Cristina Jeske

JULIA, S.; LUDERS, R.; SOUZA, J. N.. 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.

Aluno: Jony Teixeira de Melo

JULIA, S.; LOPES, Carlos Roberto; Jacques Wainer. 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.

Aluno: Fernanda Francielle de Oliveira

JULIA, S.; SILVA, José Reinaldo; MACÊDO, Autran. 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.

Aluno: Michel dos Santos Soares

JULIA, S.; KÜNZLE, Luis Allan; MACÊDO, Autran. 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.

Aluno: Elisângela Mieko Kanacilo

JULIA, S.; ROSA, Pedro Frosi; MIYAGI, Paulo Eigi. 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.

Aluno: Silvio Bacalá Júnior

JULIA, S.; WILLRICH, Roberto; LOPES, Carlos Roberto. 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.

Aluno: Clarimundo Machado Moraes Junior

JULIA, S.. 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.

Aluno: Franciny Medeiros Barreto

JULIA, S.; SILVA, José Reinaldo; LUDERS, R.; MALAQUIAS, F. F. O.; FERNANDES, Márcia Aparecida. Uma abordagem baseada em Redes de Petripara Modelagem, Análise e Simulação deCenários de Vídeo Games Singleplayer eMultiplayer. 2020. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Kenia Santos de Oliveira

JULIA, S.; SILVA, José Reinaldo; LUDERS, R.; LOPES, Carlos Roberto; ROSA, Pedro Frosi. Verificação de Requisitos Funcionais e não Funcionais em Arquiteturas Orientadas a Serviços. 2020. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Fabíola Gonçalves Coelho Ribeiro

SILVA, F. O.;JULIA, S.; FRANZLE, M.; SAUER, J.; PEREIRA, C. E.;SOARES, Michel dos Santos. Multi-formalism in different levels of abstraction for requirements engineering and design of real-time and embedded systems. 2019. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Fernanda Madeiral Delfim

Marcelo Almeida Maia; SILVA, F. O.; FERRARI, F. C.; MURTA, L. G. P.;JULIA, S.. On benchmarks of bugs for studies in automatic program repair. 2019. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Clarimundo Machado Moraes Junior

JULIA, R. M. S.JULIA, S.; LOPES, Carlos Roberto; FERNANDES, Márcia Aparecida; SILVA, José Reinaldo; GAMA, J. M. P.. 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.

Aluno: Danielli Araujo Lima

OLIVEIRA, G. M. B.; SOUZA, J. R.;JULIA, S; ROMERO, R. A. F.; VARGAS, P. A.. 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.

Aluno: Joslaine Cristina Jeske de Freitas

JULIA, S.; FERNANDES, Márcia Aparecida; MALAQUIAS, F. F. O.;PASSOS, L. M. S.; LUDERS, R.. 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.

Aluno: Leiliane Pereira Rezende

JULIA, S.; LOPES, Carlos Roberto; MALAQUIAS, F. F. O.; MIYAGI, Paulo Eigi; LUDERS, R.; MALUCELLI, J.. 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.

Aluno: Lígia Maria Soares Passos

JULIA, S; LOPES, Carlos Roberto; MIYAGI, Paulo Eigi; Villani, E.. 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.

Aluno: Emília Villani

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

Aluno: Ricardo Lüders

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

Aluno: Carlos Eduardo de Carvalho Dantas

Marcelo Almeida MaiaJULIA, S. An Empirical Characterization of Developers Perceptions on Code Readability. 2022. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Franciny Madeiros Barreto

JULIA, S.; MALAQUIAS, F. F. O.; SILVA, José Reinaldo. Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cénários de Vídeo Games Singleplayer e Multiplayer. 2020. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Kenia Santos de Oliveira

JULIA, S.; ROSA, Pedro Frosi; SILVA, José Reinaldo. Cálculo dos sequentes da lógica linear aplicado às Workflow nets para a verificação de requisitos funcionais e não funcionais em arquiteturas orientadas a serviços. 2019. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Fabíola Gonçalves Coelho Ribeiro

SOARES, Michel dos SantosJULIA, S.; PEREIRA, C. E.; WEHRMEISTER, M. A.. 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.

Aluno: Leiliane Pereira de Rezende

JULIA, S; LOPES, Carlos Roberto; MIYAGI, Paulo Eigi. 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.

Aluno: Joslaine Cristina Jeske de Freitas

JULIA, S; FERNANDES, Márcia Aparecida; LUDERS, R.. 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.

Aluno: Lígia Maria Soares Passos

JULIA, S; ROSA, Pedro Frosi; CURY, J. E. R.. 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.

Aluno: Clarimundo Machado Moraes Junior

JULIA, SJULIA, R. M. S.; LOPES, Carlos Roberto; SILVA, José Reinaldo. 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.

Aluno: Fernanda Fernandes Peronaglio

MANACERO JUNIOR, A.;JULIA, S.; GUIDO, R. C.. 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.

Aluno: Estela Ferreira Silva

JULIA, S.; GABRIEL, P. H. R.;BARRETO, F. M.. Simulação 3D de cenários de vídeo games modelados por redes de Petri coloridas no software SIMIO. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Matheus Dias Gama

JULIA, S.; LOPES, Carlos Roberto; FERNANDES, Márcia Aparecida. Uma abordagem baseada na simulação de redes de Petri coloridas para avaliar o Speedup de uma rede neural artificial. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Felipe Nedopetalski

JESKE, Joslaine CristinaBARRETO, F. M.JULIA, S.. Geração de event logs fuzzy por meio de simulação para análise de diferentes cenários de uma Workflow net fuzzy utilizando mineração de processos. 2021. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: LUCAS MENEZES DE SOUZA

Junior, R. M.;JULIA, S.; CARVALHO, W. C. S.. Sistema de Análise de Risco de Logística de Transporte Baseado em Simulação de Monte Carlo. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Pablo Exequiel Leyes Ontivero

BACKES, A. R.; FURTADO, D. A.;JULIA, S.. Comparação das metodologia Cascata vs metodologias Ágil no mercado atual. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Lorena Rodrigues Bruno

JULIA, S.; FERNANDES, Márcia Aparecida; MIANI, R. S.. 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.

Aluno: Lucas Henriques Silva

TAVARES, J. J. Z. S.;JULIA, S.; SOUSA, A. R.. 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.

Aluno: Carlos Eduardo Alves da Silva

TAVARES, J. J. Z. S.; FONSECA, J. P. S.;JULIA, S.. 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.

Aluno: Frederico Sisconetto Noce

JULIA, S.; Anilton Joaquim da Silva; LIMA, M. A. V.. 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.

Aluno: Rodrigo Alves Pacheco

Junior, R. M.; Anilton Joaquim da Silva;JULIA, S. 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.

Aluno: Renato Luiz Silva Severino Vieira

CATTELAN, R. G.; RODRIGUES, C. C.;JULIA, S. 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.

Aluno: Raíza Moraes Sousa

JULIA, S.JULIA, R. M. S.PASSOS, L. M. S.. 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.

Aluno: João Leonardo Sacardo Campos

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

Aluno: Lucas Marchesoti Franco

JULIA, S.. 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.

Aluno: Gabriel Jara Bígio

JULIA, S.. 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.

Aluno: Joyce Meire da Silva França

Junior, R. M.;JULIA, S.; LOPES, Carlos Roberto. 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.

Aluno: Luciane de Fátima Silva

SOARES, Michel dos SantosJULIA, S.. 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.

Aluno: Raysllan Nascentes Pereira

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

Aluno: Cristiano Nunes de Carvalho

LOPES, Carlos Roberto; SOUZA, J. N.;JULIA, S.. 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.

Aluno: Raulcézar Maximiano Figueira Alves

Oliveira, R.C.;JULIA, S.; Catellan, R. G.. 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.

Aluno: Rodrigo Fernando Silva

JULIA, R. M. S.; Barbar, J. S.;JULIA, S.. 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.

Aluno: Rafael Guersoni Resende

JULIA, S.; MAIA, Marcello; Coelho, P. R. S. L.. 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.

Aluno: Igor Zanatto

LOPES, Carlos Roberto;JULIA, S.; Junior, R. M.. 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.

Aluno: Eduardo Soares Sabino

JULIA, S.; Silva, I. R.; FERNANDES, Márcia Aparecida. 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.

Aluno: Gil Victor Teixeira Pinto

JULIA, S; SOUZA, M. R.; ROSA, Pedro Frosi. 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.

Aluno: Felipe Nunes Gaia

FERNANDES, Márcia Aparecida;JULIA, S; PAIVA, J. G. S.. 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.

Aluno: Humberto Dib Hayashi

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

Aluno: Ana Sofia Silva Costa

JULIA, S.; LOPES, Carlos Roberto; FERNANDES, Márcia Aparecida. 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.

Aluno: Tomaz Rosa Alves

JULIA, S.; AMO, Sandra Aparecida de; FERNANDES, Márcia Aparecida. 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.

Aluno: SAULO DAMASCENO BORGES

AMO, Sandra Aparecida de; FERNANDES, Márcia Aparecida;JULIA, S.. 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.

Aluno: Amanda da Costa Caldas

JULIA, S.BACALÁ JÚNIOR, S.JULIA, R. M. S.. 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.

Aluno: Flávio Roberto Janones de Sousa

JULIA, S.JULIA, R. M. S.; FERNANDES, Márcia Aparecida. 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.

Aluno: Lucas Tiago Rodrigues

Barbar, J. S.;JULIA, S.; Schneider, S. M.. 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.

Aluno: Daniel Henrique de Oliveira Souza

JULIA, S.; SOUZA, M. R.; SCHNAIDER, Sergio; LACERDA, H. B.. 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.

Aluno: André Luiz Bernardo Ramos

FERNANDES, Márcia Aparecida;JULIA, R. M. S.JULIA, S.. 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.

Aluno: Anderson Andrade Teymeny

JULIA, S.BACALÁ JÚNIOR, S.; Anilton Joaquim da Silva. 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.

Aluno: Leonardo Fraga Pacheco

JULIA, S.; Anilton Joaquim da Silva;BACALÁ JÚNIOR, S.. 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.

Aluno: Paulo Roberto de Oliveira

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

Aluno: Said Ferreira Guimarães

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

Aluno: Larissa Pontes Andrade

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

Aluno: Elner Rodrigues Ribeiro

JULIA, S.. 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.

Aluno: Vanin Alves Ferreira

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

Aluno: Marcos Vinícius Castro Alves

JULIA, S.. Monografia de graduação. 2000. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

JULIA, S.. Promotion to the Rank of Professor of Dr. Vijay Gehlot. 2018. Villanova University.

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.

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.

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

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.

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

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

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

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.

JULIA, SMarcelo Almeida MaiaSOARES, 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.

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

Marcelo Almeida MaiaSOARES, Michel dos SantosJULIA, S; Junior, R. M.. Processo seletivo de alunos de Doutorado. 2012. Universidade Federal de Uberlândia.

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.

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

JULIA, S.. XIX Congresso Brasileiro de Automática. 2012. Universidade Tecnológica Federal do Paraná.

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

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

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

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

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

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

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

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

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

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

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

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

Orientou

Felipe Nedopetalski

Modelagem e Simulação 3D de Video Games usando CPN Tools e SIMIO; Início: 2022; 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);

Lorena Rodrigues Bruno

Modelagem baseado em Redes de Petri Coloridas de Mecanismos de Alocação de Recursos Híbridos para o Planejamento e Escalonamento em Sistemas de Gerenciamento de Workflow; ; Início: 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia; (Orientador);

Vinícius 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;

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;

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;

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;

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;

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;

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;

Flávio Félix Medeiros

Analise sob restricoes aplicada ao problema de escalonamento em sistemas de gerenciamento de workflow: Uma abordagem baseada em um raciocnio energetico aplicado as Redes de Petri hbridas p-temporais; 2009; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Stéphane Julia;

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;

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;

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;

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;

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;

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;

Clarimundo Machado Moraes Junior

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;

Franciny Medeiros Barreto

Uma abordagem baseada em Redes de Petripara Modelagem, Análise e Simulação deCenários de Vídeo Games Singleplayer eMultiplayer; 2020; Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Stéphane Julia;

Kenia Santos de Oliveira

Verificação de Requisitos Funcionais e não Funcionais em Arquiteturas Orientadas a Serviços; 2020; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia,; Orientador: Stéphane Julia;

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;

Clarimundo Machado Moraes Junior

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;

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;

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;

Matheus Dias Gama

Uma abordagem baseada na simulação de redes de Petri coloridas para avaliar o Speedup de uma rede neural artificial; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Stéphane Julia;

Estela Ferreira Silva

Simulação 3D de cenários de vídeo games modelados por redes de Petri coloridas no software SIMIO; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Stéphane Julia;

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;

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;

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;

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;

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;

Gabriel Jara Bigio

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;

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;

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;

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;

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;

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;

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;

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;

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;

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;

Matheus Dias Gama

Uma abordagem baseada na Simulação deRedes de Petri Coloridas para avaliar a Complexidade dos Algoritmos utilizados emInteligência Artificial; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Uberlândia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Stéphane Julia;

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;

Produções bibliográficas

BARRETO, FRANCINY M. ; JULIA, STÉPHANE . Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Computing and Informatics , v. 40, p. 216-248, 2021.
JULIA, S. ; Vale, L.N. ; PASSOS, L. M. S. . Functional testing using object workflow nets. Computing and Informatics , v. 35, p. 719-743, 2016.
SOARES 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.
L.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.
FREITAS, 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.
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.
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.
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.
JULIA, S. ; VALETTE, R. . Real time scheduling of batch systems. Simulation Practice and Theory , p. 307-319, 2000.
JULIA, 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.
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.
BRUNO, LORENA ; JULIA, STÉPHANE . A Symbolic Time Constraint Propagation Mechanism Proposal for Workflow Nets. In: 24th International Conference on Enterprise Information Systems, 2022, Online Streaming. Proceedings of the 24th International Conference on Enterprise Information Systems, 2022. p. 537.
GAMA, M. D. ; JULIA, S. ; JULIA, R. M. S. . Speedup Evaluation of the Training Algorithm for a Multilayer Perceptron based on Colored Petri Nets Simulations. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2021, Porto Alegre. Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2021.
BARRETO, FRANCINY M. ; JULIA, STÉPHANE . A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering. New York: ACM, 2020. p. 114-119.
OLIVEIRA, K. S. ; JULIA, S. . Detection and Removal of Negative Requirements of Deadlock-type in Service-Oriented Architectures. In: CSCI 2020 CONFERENCE, 2020, Las Vegas. The 2020 International Conference on Computational Science and Computational Intelligence, 2020.
PASSOS, L. M. S. ; JULIA, S. ; SILVA, F. M. . A linear logic based method for deadlock-freeness scenarios monitoring in Web Services Composition. In: IEEE International Conference on Service-Oriented Systems Engineering (SOSE), 2019, San Francisco. 2019 IEEE International Conference on Service-Oriented Systems Engineering (SOSE), 2019. p. 77-83.
OLIVEIRA, K. S. ; JULIA, S. . Using symbolic dates of the linear logic to verify performance requirements in SOA models. In: 16th International Conference on Information Technology - New Generations (ITNG 2019), 2019, Las Vegas. Advances in Intelligent Systems and Computing 800. New York City: Springer, 2019. p. 191-197.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
JULIA, S. . Formal Methods in Software Engineering: Petri nets - International Colloquia - University of Applied Sciences Hamm-Lippstadt - Germany. 2019. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

JULIA, S. . Revisão de artigo para o Periódico Future Generation Computer Systems (ISSN 0167-739X) - 1 Revisão. 2020.

JULIA, S. . Revisão de artigo para o Periódico Journal of Industrial Information Integration (ISSN 2452-414X) - 1 Revisão. 2020.

JULIA, S. . Avaliador Ad Hoc de Projeto de Pesquisa - Edital N 01/2020 - PIBIC/FACEPE - 1 Revisão. 2020.

JULIA, S. . Revisão de artigo para o Periódico Internacional Journal of Control, Automation And Electrical Systems (ISSN 2195-3899) - 1 Revisão. 2019.

JULIA, S. . Revisão de artigo para o Periódico Internacional Journal of Control, Automation And Electrical Systems (ISSN 2195-3899) - 1 Revisão. 2018.

JULIA, S. . Revisão de artigo para o Periódico Journal of Visual Languages and Computing (ISSN 1045-926X) - 1 Revisão. 2018.

JULIA, S. . Revisão de artigo para o Periódico Internacional Journal of Control, Automation And Electrical Systems (ISSN 2195-3899) - 1 Revisão. 2017.

JULIA, S. . Revisão de artigo para o Periódico IEEE Systems Journal. (ISSN 1937-9234) - 1 Revisão. 2017.

JULIA, S. . Revisão de artigo para o Periódico Simulation Modelling Practice and Theory. (ISSN 1569-190X) - 1 Revisão. 2017.

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

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

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

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: 24
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. , Integrantes: Stéphane Julia - Integrante / Michel dos Santos Soares - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
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: 17

Prêmios

2015

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

Histórico profissional

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:

Experiência profissional

2020 - Atual

Universidade Federal de Uberlândia

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

2016 - 2019

Universidade Federal de Uberlândia

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

2014 - 2016

Universidade Federal de Uberlândia

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

2012 - 2014

Universidade Federal de Uberlândia

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

2010 - 2012

Universidade Federal de Uberlândia

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

2008 - 2010

Universidade Federal de Uberlândia

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

2006 - 2008

Universidade Federal de Uberlândia

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

2004 - 2006

Universidade Federal de Uberlândia

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

2002 - 2004

Universidade Federal de Uberlândia

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

1997 - 2002

Universidade Federal de Uberlândia

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

Atividades

10/2020
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Ciência da Computação
01/2017
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
Conselhos, Comissões e Consultoria, Faculdade de Ciência da Computação.,Cargo ou função, Membro do conselho da Faculdade.
11/2004
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
Pesquisa e desenvolvimento, Faculdade de Computacao.,Linhas de pesquisa
10/1997
Pesquisa e desenvolvimento, Faculdade de Ciência da Computação, Facom.,Linhas de pesquisa
08/2019 - 12/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica para Computação
03/2019 - 07/2019
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópico especial em Engenharia de Software: Redes de Petri
08/2018 - 12/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação
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
07/2003 - 07/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
07/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à teoria das Filas
07/2004 - 12/2004
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software
02/2004 - 06/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
02/2004 - 06/2004
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos grafos 1, Introdução à teoria das filas
07/2003 - 12/2003
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos 1, Introdução à teoria das Filas
07/2003 - 12/2003
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Estudo dirigido
02/2003 - 06/2003
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos 1, Introdução à teoria das Filas
02/2003 - 06/2003
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Seminário, Engenharia de Software
07/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos 1, Introdução à Teoria das Filas
07/2002 - 12/2002
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Seminário, Estágio docencia, Estudo dirigido
02/2002 - 06/2002
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software, Estudo dirigido
02/2002 - 06/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos 1, Introdução à Teoria das Filas
07/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Seminário
07/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à teoria dos Grafos
02/2001 - 06/2001
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software, Seminário
02/2000 - 06/2000
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à teoria das Filas
03/1999 - 06/1999
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos especiais em sistemas a eventos discretos
02/1999 - 06/1999
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria dos Grafos
07/1998 - 12/1998
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Sistemas Seqüenciais
02/1998 - 06/1998
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópico especiais em sistemas a eventos discretos