área de pesquisa
- Alberto Xavier Pavim
- Alexandre Orth
- Angelo Perkusich
- Arquitetura para Integração Entre Modelos em Redes de Petri Coloridas e Modelos em Realidade Virtual: Uma Abordagem para Subestações Elétricas
- CAN Automotivo ? Sistema de Monitoramento
- Carlos Rodrigues Rocha
- Contribuições na Otimização de um Sistema de Visão para Detecção, Medição e Classificação Automática do Desgaste de Ferramentas de Corte em Processos de Usinagem.
- Debora Gardinal de Sousa
- Desenvolvimento de um Sistema de Visão para Medir o Desgaste de Flanco em Ferramentas de Corte
- Elieser Botelho Manhas Junior
- Jo¿o Manuel Ribeiro da Silva Tavares
- Kyller Costa Gorgônio
- LPA: Um Processo Navegável para Desenvolvimento de Software Parcialmente Aderente ao SW-CMM Nível 2
- Metodologia para Modelagem, Validação e Programação de Controladores Lógicos Industriais Usando Statecharts Básicos
- Modelagem Sistemática de Sistemas Flexíveis de Manufatura Baseada em Reúso de Modelos de Redes de Petri Coloridas
- NEURO-PON: Uma abordagem para o desenvolvimento de Redes Neurais Artificiais utilizando o Paradigma Orientado a Notificações
- Proposta de um método para o desenvolvimento de aplicações workflow em dispositivos móveis.
- Proposta de um sistema de logística utilizando tecnologia de código de barras
- Raimundo Santos Moura
- Rodrigo Palucci Pantoni
- Supervisores Distribuídos para Sistemas Flexíveis de Manufatura: uma Abordagem por Redes de Petri Coloridas
- Síntese de Supervisores Utilizando Verificação de Modelo
- Uma Abordagem para a Representação, Simulação e Implementação de Sistemas Baseada na Rede de Petri a Objetos
- Uma Metodologia para o Desenvolvimento de Aplicações Distribuídas Utilizando a Técnica de Descrição Formal Estelle
- Verificação de Receitas para Sistemas de Produção em Lotes