Marcelo Teixeira

Possui graduação em Ciência da Computação pela Universidade de Passo Fundo (2007), mestrado em Engenharia de Computação pela Universidade de Pernambuco (2009) e doutorado em Engenharia de Automação e Sistemas, pela Universidade Federal de Santa Catarina (2013). Desde 2013 é professor Adjunto da Universidade Tecnológica Federal do Paraná - UTFPR - campus Pato Branco, onde atua como docente permanente do Programa de Pós-Graduação em Engenharia Elétrica e de Computação - PPGEEC. Fez estágio de doutorado no Grupo de Pesquisas em Métodos Formais, da Universidade de Waikato, na Nova Zelândia, em 2012, e foi pesquisador visitante no mesmo grupo, em 2018. Desde 2020 é Bolsista de Produtividade em Pesquisas, do CNPq. Possui interesses de pesquisa e de formação nas áreas da Engenharia Elétrica e de Computação, sobretudo nos seguintes temas: Sistemas a Eventos Discretos, Sistemas Cyber-Físicos, Sistemas Flexíveis de Manufatura, Indústria 4.0, Inteligência Aplicada, Mineração de Processos e Dependabilidade de Software. É membro da IEEE desde 2016, onde participa da Industrial Electronic Society (IES), Technical Committee on Factory Automation, Subcommittee Industrial Automated Systems and Control.

Informações coletadas do Lattes em 12/02/2024

Acadêmico

Formação acadêmica

Doutorado em Engenharia de Automação e Sistemas

2009 - 2013

Universidade Federal de Santa Catarina
Título: EXPLORANDO O USO DE DISTINGUIDORES E DE AUTÔMATOS FINITOS ESTENDIDOS NA TEORIA DO CONTROLE SUPERVISÓRIO DE SISTEMAS A EVENTOS DISCRETOS
Orientador: em University of Waikato ( Robi Malik)
com , Ano de obtenção: 2013. José Eduardo Ribeiro Cury. Coorientador: Max Hering de Queiroz. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sistemas a Eventos Discretos; Teoria do Controle Supervisório; Controle Descentralizado; Abstrações; Aproximações.Grande área: Ciências Exatas e da TerraGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Controle Supervisório.

Mestrado em Engenharia da Computação

2008 - 2009

Universidade de Pernambuco
Título: Avaliação de Desempenho de Sistemas SOA através de Redes de Petri Estocásticas, Ano de Obtenção: 2009
Ricardo Massa Ferreira Lima.Bolsista do(a): Escola Politécnica de Pernambuco, POLI, Brasil. Palavras-chave: Avaliação de desempenho; Processos de negócio.Grande área: Ciências Exatas e da TerraGrande Á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.

Graduação em Ciência da Computação

2001 - 2007

Universidade de Passo Fundo
Título: Uma análise do Scrum sob a perspectiva do MPSBR
Orientador: Alexandre Lazaretti Zanatta
Bolsista do(a): Universidade de Passo Fundo, UPF, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Bandeira representando o idioma Portuguê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: Discrete Event Systems.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Cyber-Physical Systems.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Supervisory Control.

Participação em eventos

Simpósio Brasileiro de Informática na Educação. 2023. (Congresso).

15th IFAC Workshop on Discrete Event Systems (WODES'20). Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers. 2020. (Congresso).

14th IFAC Workshop on Discrete Event Systems (WODES'18). Exploiting Approximations in Supervisory Control with Distinguishers. 2018. (Congresso).

20th IFAC World Congress (WC'17). Efficient Implementation of Distinguished Controllers for Discrete-Event Systems. 2017. (Congresso).

20th IEEE Int. Conf. on Emerging Tech. and Factory Automation (ETFA'15). A modeling architecture for the orchestration of service components in factory automation. 2015. (Congresso).

The 26th IEEE Int. Symp. on Software Reliability Engineering (ISSRE'14). A formal method applied to the automated software engineering with quality guarantees. 2014. (Congresso).

The 2013 American Control Conference - ACC'13. Variable Abstraction and Approximations in Supervisory Control Synthesis. 2013. (Congresso).

16th IEEE Int. Conf. on Emerging Tech. and Factory Automation (ETFA'11). Local Modular Supervisory Control of DES with Distinguishers. 2011. (Congresso).

Simpósio Brasileiro de Engenharia de Sistemas Computacionais. 2011. (Simpósio).

XXVI Simpósio Brasileiro de Banco de Dados.Planning Databases Service Level Agreements through Stochastic Petri Nets. 2011. (Simpósio).

Minicurso Introdutório à Lógica Difusa - SEPEX - UFSC. 2010. (Oficina).

II Escola Regional de Banco de Dados. 2006. (Simpósio).

Construindo um Ambiente Seguro em Redes Microsoft. 2004. (Seminário).

Java e XML. 2004. (Seminário).

V Simpósio de Informática do Planalto Médio. 2004. (Simpósio).

IV Simpósio de Informática do Planalto Médio.Assinatura de Apllets. 2003. (Simpósio).

Participação em bancas

TEIXEIRA, M.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O PROVIMENTO DE CARGO DA CARREIRA DE PROFESSOR DO MAGISTÉRIO SUPERIOR - Banco de Dados. 2016. Universidade Tecnológica Federal do Paraná.

TEIXEIRA, M.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O PROVIMENTO DE CARGO DA CARREIRA DE PROFESSOR DO MAGISTÉRIO SUPERIOR - Automação. 2016. Universidade Tecnológica Federal do Paraná.

RIBEIRO, R.; PEGORINI, V.;TEIXEIRA, M.. Concurso Público para professor substituto. 2015. Universidade Tecnológica Federal do Paraná.

BORTOLI, M. F.;TEIXEIRA, M.; PALUDO, L.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O PROVIMENTO DE CARGO DA CARREIRA DE PROFESSOR DO ENSINO BÁSICO, TÉCNICO E TECNOLÓGICO. 2015. INSTITUTO FEDERAL DO PARANA.

TORRICO, C. R. C.;TEIXEIRA, M.; BRANCO, R. M.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O PROVIMENTO DE CARGO DA CARREIRA DE MAGISTÉRIO FEDERAL. 2014. Universidade Tecnológica Federal do Paraná.

TEIXEIRA, M.; FABRI, J. A.; RIBEIRO, R.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O PROVIMENTO DE CARGO DA CARREIRA DE MAGISTÉRIO FEDERAL. 2014. Universidade Tecnológica Federal do Paraná.

KUSZERA, E. M.;TEIXEIRA, M.; BINI, T. A.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O PROVIMENTO DE CARGO DE PROFESSOR DO MAGISTÉRIO SUPERIOR. 2014. Universidade Tecnológica Federal do Paraná.

Orientou

Nicolle Nonato

Mineração de Processos em dados de geração de energia elétrica; Início: 2023; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; (Orientador);

Bruno Duarte

Implementação de Meta-Heurísticas da Classe de Algoritmos Populacionais para o Problema da Coloração de Grafos; Início: 2023; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; (Orientador);

Gessé Marchioro

Técnicas de Processamento e Armazenamento de Energia Proveniente da Frenagem Regenerativa em Veículos Elétricos com Motor Brushless; Início: 2023; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; (Orientador);

Jefferson Moacir Neves Junior

Exploiting Process Mining Algorithms for Supply Chain Optimization; Início: 2023; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; (Orientador);

João Henrique Valentini

Interdependent distinguishing sensors and their applications on Discrete Event Systems Control; Início: 2023; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Geovany Aparecido Duarte Cancio

Integração de Dados e Design para inteligência em experiência do consumidor; Início: 2022; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; (Orientador);

Samuel Oliveira

Arquitetura hierárquica de controle supervisório resiliente para Sistemas a Eventos Discretos; Início: 2023; Tese (Doutorado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina; (Coorientador);

Rosaine Fiorio Semler

Uma abordagem auto-adaptativa para a automação de tarefas de mineração de processos; Início: 2023; Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná; (Coorientador);

Jhonnatan Ricardo Semler

Uma abordagem de Engenharia de Dados para melhorar a identificação, a extração e o refinamento de eventos em mineração de processos; Início: 2023; Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná; (Coorientador);

Luís Cassiano Goularte Rista

Uma abordagem autoadaptativa para a reconfiguração dinâmica de aplicações de alto desempenho na cloud; Início: 2022; Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná; (Coorientador);

Luiz Fernando Puttow Southier

Início: 2023; Universidade Tecnológica Federal do Paraná;

Gustavo Alexandre Tuchlinowicz Nunes

Identificação Biométrica Infantil Por Meio De Bancos De Dados Otimizados; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

João Henrique Pereira Machado

Aplicando Super-Resolução Para Melhorar A Extração De Características Em Impressões Digitais; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Fábio Akira Castilho Kinukwa

Atualização de um Robô Lutador de Sumô Autônomo de 3KG; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Rafael de Castilho Xavier

Identificando Causas De Ineficiências No Setor Público Por Meio De Análise De Causa Raiz E Mineração De Processos; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Cinglair Augusto Justakowski Capello

Aplicação De Métodos De Predição E Recomendação Na Gestão De Setores Públicos Utilizando Mineração De Processos; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Enzo Yutaka Hashimoto

Máquinas de estados com variáveis para a personalização de sistemas de automação residencial; Início: 2023; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

João Gabriel Bortot Cadore

Um modelo em máquina de estados para o teste de controladores de processos avícolas; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);

Rafael de Castilho Xavier

Ciência e Engenharia de Dados Aplicadas ao Combate à Corrupção em Gestão Pública Municipal; Início: 2023; Iniciação científica (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Tiago Possato

Controlling Relative Humidity in Cold Chambers: Improvements in the Measurement System and a Control Strategy Based on Discrete Event Systems; 2023; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Coorientador: Marcelo Teixeira;

Joceleide Dalla Costa Mumbelli

An application of Generative Adversarial Networks to improve automatic inspection in automotive assembly lines; 2022; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Dionathan Luan de Vargas

Feature extraction and selection from electroencephalogram signals for epileptic seizure diagnosis; 2022; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Orientador: Marcelo Teixeira;

Dierli Maiara da Rosa Maschio

An Event-driven Approach for Resources Planning in Distributed Power Generation Systems; 2021; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Orientador: Marcelo Teixeira;

Kallil M

C; Zielinski; Flexible Control of Discrete Event Systems using Environment Simulation and Reinforcement Learning; 2021; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Marcelo Teixeira;

DARLAN FELIPE KLOTZ

Estimating and tuning adaptive action plans for the control of smart interconnected poultry houses; 2020; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Orientador: Marcelo Teixeira;

Daniel Fernando Simon

Availability estimation in photovoltaic generation systems using Timed Petri Net simulation models; 2020; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Coorientador: Marcelo Teixeira;

Muriel Mazzeto

Contribuições à Manufatura Automotiva Flexível Usando Técnicas de Deep Learning; 2019; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Orientador: Marcelo Teixeira;

André Luiz Marasca

Análise de textura utilizando descritores fractais estimados pela interferência mútua de grupos de pixels; 2019; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Coorientador: Marcelo Teixeira;

Marcelo Rosa

Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos; 2019; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Teixeira;

Luiz Fernando Puttow Southier

Explorando Parâmetros na Modelage, Síntese e Implementação de Controladors para Sistemas a Eventos Discretos; 2019; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Orientador: Marcelo Teixeira;

LUCAS SCHMIDT

Controle, Supervisão e Suporte à Tomada de Decisões em Processos Avícolas; 2018; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná,; Orientador: Marcelo Teixeira;

Mainara Cristina Lorencena

Um Framework para o Controle e a Supervisão de Processos Avícolas; 2018; Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Marcelo Teixeira;

Pablo Sabadin Chaves

Mineração de Proccessos Administrativos Eletrônicos do Município de Tupanciretã/RS; 2024; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Marcelo Almeida de Rezende

Mineração de Processos na Gestão Pública Municipal: um estudo de caso na área da saúde; 2023; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Jefferson Moacir Neves Junior

Mineração de Processos na Cadeia de Suprimentos e Finanças - Procure-to-pay; 2023; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Keli Rodrigues do Amaral Benin

Uma abordagem de mineração de textos para a melhoria da indexação bibliográfica em repositórios institucionais; 2022; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Ana Tito

Melhorias ao processo de pintura automotiva por meio de técnicas de Machine Learning; 2022; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Luam Leiverton Pereira dos Santos

Integração de dados para apoio à tomada de decisão no contexto da Auto-Avaliação de Programas de Pós-Graduação; 2022; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Cesar Ricardo Velasques Trindade

Detecção de anomalias em sistemas de administração de frotas públicas municipais; 2021; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

JIAN RODRIGO CASASOLLA

Técnicas de ciência de dados aplicadas à detecção de padrões de falha em processos de pintura automotiva; 2021; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Lilian Petroski

Uma abordagem de descoberta de conhecimento para o suporte à gestão municipal de saúde; 2021; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Marcelo Chella

Análise de Workflow para o Planejamento e a Gestão de Projetos Elétricos; 2021; Monografia; (Aperfeiçoamento/Especialização em Especialização em Datascience) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Eduardo Pacheco

Desenvolvendo web services com Oracle em PL SQL: vantagens e desvantagens; 2017; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM BANCO DE DADOS) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

JAIR PESSETI JUNIOR

Explorando esquemas de dados SCADA para fins de automação residencial; 2017; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM BANCO DE DADOS) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

DANIEL ZANIN VIEIRA

Exploração do banco de dados em um sistema SCADA de Pequenas Centrais Hidrelétricas; 2017; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM BANCO DE DADOS) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

MARIANY APARECIDA DE SOUZA

Geração Automática de Código a partir da Manipulação de Modelos; 2017; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM BANCO DE DADOS) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Oriane Gisela Thaler

Boas práticas em modelagem de dados relacional: Um estudo para o controle de atendimento em empresas de software; 2013; Monografia; (Aperfeiçoamento/Especialização em ESPECIALIZAÇÃO EM BANCO DE DADOS) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Leonardo Oliveira Nogueira

Melhorias ao controle e ao monitoramento remoto de variáveis em cervejarias artesanais; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Lucas Volkmer Hendges

Deep Q-Learning para o Controle Supervisório Flexível de Sistemas a Eventos Discretos em Larga Escala; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Lucas Caldeira de Oliveira

Forecasting the COVID-19 Space-time Dynamics in Brazil with Convolutional Graph Neural Networks and Transport Modals; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Geovany Aparecido Duarte Cancio

Uma arquitetura para a implementação de controle supervisório comunicante; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Rafael Anderson Dalmolin

Controle Supervisório Cooperativo Empregando a Meta-Heurística Sistema de Formigas; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Gustavo Martins de Souza

Desenvolvimento de um Mecanismo Detector de Anomalias em Licitações Municipais; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Guilherme da Cunha Manassés

Uma abordagem lógica de modelagem para a melhoria de sistemas de automação residencial; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Emanuel Cristian de Cesaro

Uma abordagem em Redes de Petri temporizadas para a sincronização de produção em sistemas de Manufatura enxuta; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Gean Michel Ceretta

Otimização do clima avícola para maior produtividade; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Cristian Roberto Pastro

Controle de Sistemas a Eventos Discretos com Suporte a Otimizações; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Vinícius Tártari

Plataforma web para o balanceamento de carga em unidades de geração de energia conectadas via microredes; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Eduardo Alberto Schmoller

Técnicas de automação discreta aplicadas ao gerenciamento de tráfego urbano: Um estudo de caso da cidade de Pato Branco; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Maicon Paulo Assmann

Controle Supervisório com Estruturas Concorrentes de Refinamentos Sujeitas à Dependência de Contexto; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Weverton Bueno da Silva

Teoria dos Jogos aplicada a tomada de decisões na etapa pós-síntese da Teoria de Controle Supervisório; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Joceleide Dalla Costa Mumbelli

Controle flexível de geradores distribuídos de energia utilizando conceitos de Indústria 4; 0; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Dierli Maiara da Rosa Maschio

Planejamento de capacidade em geração de energia Fotovoltaica usando Redes de Petri Estocásticas; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Ana Caroline Tondo Bonafin

Configuração dinâmica de geradores distribuídos de energia utilizando técnicas de modelagem e simulação; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Lael Nascimento Santos

Síntese de Controlador Supervisório para Controle do Fator de Potência de Microrredes com Geração Fotovoltaica; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Maicon Douglas Boeno de Lima

Uso de técnicas de engenharia e ciência de dados para apoio na tomada de decisões na gestão pública; 2018; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Bruno Manoel Dobrovolski

Uma aplicação industrial envolvendo controle supervisório para coordenação de esteiras com retrabalho; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Luiz Fernando Puttow Southier

Conversão entre máquinas de estados para simplificar a síntese de controladores em Sistemas de Automação Discreta; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Hudson dos Santos Lapa

Uma Metodologia Baseada em Controle Supervisório para Auxiliar na Reconfiguração de Smart Grids; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Marcelo Rosa

Explorando o uso de abstrações na implementação de controladores para sistemas a eventos discretos; 2016; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Mateus Ricardo Paludo Balbinot

Uma abordagem declarativa para o desenvolvimento de sistemas críticos; 2016; Trabalho de Conclusão de Curso; (Graduação em Análise e Desenvolvimento de Sistemas) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Mainara Cristina Lorencena

Contribuições ao processo de manejo avícola usando técnicas de Controle Supervisório e monitoramento remoto; 2015; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

André Lucas Silva

Controle Supervisório de Ambientes Dinâmicos Utilizando Autômatos Finitos Estendidos; 2015; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Aline Cardoso dos Santos

Uma abordagem cognitiva para a melhoria da indexação de obras literárias em repositórios; 2023; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Cinglair Augusto Justakowski Capello

Mineração de Processos aplicada à Gestão Pública Municipal; 2023; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Rafael de Castilho Xavier

Um framework para a mineração de processos em bases de dados municipais; 2023; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Enzo Yutaka Hashimoto

Automação residencial sujeita ao reconhecimento e manipulação de contextos; 2023; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Allan de Mello Ribeiro

Aplicativo de auxílio na análise de estratégias do SW de injeção eletrônica; 2023; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Geovany Aparecido Duarte Cancio

Implementação de um ambiente de simulação ciber-física; 2022; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Maria Luiza Medeiros de Freitas

Um framework para o monitoramento de plantas industriais comunicantes; 2022; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Luiz Henrique Birck Vicari

Desenvolvimento de um mecanismo autoavaliativo de pós-graduação stricto sensu; 2022; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Bruno Duarte

Automação industrial sujeita à cooperação dinâmica entre robôs; 2021; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Rafael Anderson Dalmolin

Arquitetura para a implementação de controladores supervisórios comunicantes; 2021; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Letícia D Santi Moreira

Controle Personalizado de Geradores Distribudos de Energia Sujeitos ao Reconhecimento de Contexto; 2020; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Emanuel Cristian de Cesaro

Planejamento de Capacidade em Processos Industriais Flexíveis; 2020; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Yascara Fernandes dos Santos

Automação industrial sujeita à cooperação dinâmica entre robôs; 2020; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Alex Bender

Prevenção a cyber-attacks em protocolos industriais utilizando classificadores de estados; 2019; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Felipe Bianchi da Silva

Controle Supervisório com classificadores de estados para a prevenção de cyber-attacks em ambientes industriais; 2019; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Lael Nascimento Santos

Controle Supervisório Aplicado a Smart Grids; 2018; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Cristian Roberto Pastro

Implementação de ferramentas para o Controle Supervisório de Sistemas a Eventos Discretos; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Heloiza Mendes Paulichen

Soluções Computacionais para o Auxílio à Gestão Pública; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Ana Caroline Tondo Bonafin

Planejamento de capacidade em Sistemas Industriais usando Redes de Petri; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Dierli Maiara da Rosa Maschio

< Redes de Petri Estocásticas aplicadas ao planejamento de capacidade em ambientes industriais; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Maicon Paulo Assmann

Simplificação do processo de síntese de controladores usando aproximações; 2017; Iniciação Científica - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Marcelo Rosa

Tratamento da complexidade computacional inerente à síntese de controladores para sistemas industriais de grande porte; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Marcelo Teixeira;

Joceleide Dalla Costa Mumbelli

Soluções computacionais para o controle e o monitoramento de plantas industriais; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Patrik Bedin Schettert

Soluções computacionais para o controle e o monitoramento de plantas industriais; 2016; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

André Lucas Silva

Coordenação dinâmica de múltiplos robôs utilizando autômatos finitos estendidos; 2015; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Leonardo Correia Sato

Uso de autômatos distinguidores em problemas de criptografia; 2014; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Marcelo Teixeira;

Produções bibliográficas

  • MUMBELLI, JOCELEIDE D.C. ; GUARNERI, GIOVANNI A. ; LOPES, YURI K. ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO . An application of Generative Adversarial Networks to improve automatic inspection in automotive manufacturing. APPLIED SOFT COMPUTING , v. 136, p. 110105, 2023.

  • DE VARGAS, DIONATHAN LUAN ; OLIVA, JEFFERSON TALES ; TEIXEIRA, MARCELO ; CASANOVA, DALCIMAR ; ROSA, JOÃO LUÍS GARCIA . Feature extraction and selection from electroencephalogram signals for epileptic seizure diagnosis. NEURAL COMPUTING & APPLICATIONS , v. 1, p. 1-25, 2023.

  • VOLTAN, JOSÉ ; GOLDSCHMIDT, RONALDO ; OLIVA, JEFFERSON ; DUARTE, JULIO ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO . Identificação automática do uso de máscaras de proteção facial: um estudo comparativo. journal of health informatics , v. 15, p. 1-14, 2023.

  • OLIVEIRA, SAMUEL ; LEAL, A. B. ; TEIXEIRA, M. ; LOPES, Y. K. . A classification of cybersecurity strategies in the context of Discrete Event Systems. ANNUAL REVIEWS IN CONTROL , v. 56, p. 100907, 2023.

  • SOUTHIER, LUIZ FERNANDO PUTTOW ; CASANOVA, DALCIMAR ; BARBOSA, LUIS ; TORRICO, CESAR ; BARBOSA, MARCO ; TEIXEIRA, MARCELO . Modelling and control of manufacturing systems subject to context recognition and switching. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH , v. 61, p. 3396-3414, 2023.

  • SIMON, D. F. ; TEIXEIRA, M. ; COSTA, J. P. . Availability estimation in photovoltaic generation systems using Timed Petri Net simulation models. INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS , v. 137, p. 106897, 2022.

  • KLOTZ, DARLAN F. ; RIBEIRO, RICHARDSON ; ENEMBRECK, FABRÍCIO ; DENARDIN, GUSTAVO W. ; BARBOSA, MARCO A. ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO . Estimating and tuning adaptive action plans for the control of smart interconnected poultry condominiums. EXPERT SYSTEMS WITH APPLICATIONS , v. 187, p. 115876, 2022.

  • MASCHIO, D. M. R. ; DUARTE, B. ; LAZZARETTI, A. E. ; LAFAY, J. S. ; ADZKIYA, D. ; COSTA, J. P. ; TEIXEIRA, M. . An event-driven approach for resources planning in distributed power generation systems. INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS , v. 137, p. 107768, 2022.

  • CALDEIRA, L. ; TEIXEIRA, M. ; CASANOVA, D. . Forecasting the COVID-19 Space-time Dynamics in Brazil with Convolutional Graph Neural Networks and Transport Modals. REVISTA ELETRÔNICA DE INICIAÇÃO CIENTÍFICA , v. 20, p. 1-10, 2022.

  • OLIVEIRA, LUCAS C. ; OLIVA, JEFFERSON T. ; RIBEIRO, MATHEUS H. D. ; TEIXEIRA, MARCELO ; CASANOVA, DALCIMAR . Forecasting the COVID-19 Space-time Dynamics in Brazil with Convolutional Graph Neural Networks and Transport Modals. IEEE Access , v. 10, p. 1-1, 2022.

  • RODRIGUES, ERICK O. ; RODRIGUES, LUCAS O. ; MACHADO, JOÃO H. P. ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO ; OLIVA, JEFERSON T. ; BERNARDES, GIOVANI ; LIATSIS, PANOS . Local-Sensitive Connectivity Filter (LS-CF): A Post-Processing Unsupervised Improvement of the Frangi, Hessian and Vesselness Filters for Multimodal Vessel Segmentation. JOURNAL OF IMAGING , v. 8, p. 291-10, 2022.

  • LANGARO, R. R. ; TEIXEIRA, M. ; RIBEIRO, R. ; OLIVA, J. T. ; BARBOSA, M. . Optimization of Switch Allocation Problems in Power Distribution Networks. JOURNAL OF SENSOR AND ACTUATOR NETWORKS , v. 11, p. 1-12, 2022.

  • MARASCA, A. L. ; BACKES, A. ; FAVARIM, F. ; TEIXEIRA, M. ; CASANOVA, DALCIMAR . EDT Method for Multiple Labelled Objects Subject to Tied Distances. INTERNATIONAL JOURNAL OF AUTOMATION AND COMPUTING , v. 1, p. 1-12, 2021.

  • SCHMIDT, L. ; CASANOVA, D. ; RIBEIRO, R. ; TEIXEIRA, M. ; GOMES, H. M. . A combined solution for flexible control of poultry houses. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY , v. 67, p. 232-243, 2021.

  • ZIELINSKI, K. M. C. ; HENDGES, L. V. ; FLORINDO, J. B. ; LOPES, Y. K. ; RIBEIRO, R. ; TEIXEIRA, M. ; CASANOVA, D. . Flexible control of Discrete Event Systems using environment simulation and Reinforcement Learning. APPLIED SOFT COMPUTING , v. 111, p. 107714, 2021.

  • MALIK, ROBI ; TEIXEIRA, MARCELO . Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS , v. 31, p. 659-691, 2021.

  • MAZZETTO, MURIEL ; TEIXEIRA, MARCELO ; RODRIGUES, ÉRICK OLIVEIRA ; CASANOVA, DALCIMAR . Deep Learning Models for Visual Inspection on Automotive Assembling Line. INTERNATIONAL JOURNAL OF ADVANCED ENGINEERING RESEARCH AND SCIENCE , v. 7, p. 473-494, 2020.

  • RODRIGUES, E.O. ; CASANOVA, D. ; TEIXEIRA, M. ; PEGORINI, V. ; FAVARIM, F. ; CLUA, E. ; CONCI, A. ; LIATSIS, PANOS . Proposal and study of statistical features for string similarity computation and classification. INTERNATIONAL JOURNAL OF DATA MINING, MODELLING AND MANAGEMENT , v. 12, p. 277-307, 2020.

  • MALIK, ROBI ; TEIXEIRA, MARCELO . Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS , v. 30, p. 211-241, 2020.

  • LORENCENA, MAINARA CRISTINA ; SOUTHIER, LUIZ FERNANDO PUTTOW ; CASANOVA, DALCIMAR ; RIBEIRO, RICHARDSON ; TEIXEIRA, MARCELO . A framework for modelling, control and supervision of poultry farming. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH , v. 58, p. 3164-3179, 2020.

  • DA R. MASCHIO, DIERLI M. ; MUMBELLI, JOCELEIDE D.C. ; BONAFIN, ANA C.T. ; TEIXEIRA, MARCELO . Supervisory Control of Distributed Power Generation Systems with Petri Net-based Customization. IFAC-PAPERSONLINE , v. 53, p. 423-428, 2020.

  • MALIK, ROBI ; TEIXEIRA, MARCELO . Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers. IFAC-PAPERSONLINE , v. 53, p. 205-210, 2020.

  • MARASCA, A. L. ; CASANOVA, D. ; TEIXEIRA, M. . Assessing classification complexity of datasets using fractals. INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING , v. 20, p. 102-119, 2019.

  • RIBEIRO, RICHARDSON ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO ; WIRTH, ANDRÉ ; GOMES, HEITOR M. ; BORGES, ANDRÉ P. ; ENEMBRECK, FABRÍCIO . Generating action plans for poultry management using artificial neural networks. COMPUTERS AND ELECTRONICS IN AGRICULTURE , v. 161, p. 131-140, 2019.

  • SCHMIDT, L. ; LORENCENA, M. C. ; TEIXEIRA, M. . Controle de Operações em Secadores de Grãos com Redução do Consumo de Recursos Naturais. REVISTA DE INFORMÁTICA APLICADA , v. 14, p. 1-12, 2018.

  • ROSA, MARCELO ; BARBOSA, MARCO A. C. ; TEIXEIRA, MARCELO . Service-based manufacturing systems: modelling and control. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH , v. 57, p. 1-14, 2018.

  • ROSA, MARCELO ; TEIXEIRA, MARCELO ; MALIK, ROBI . Exploiting Approximations in Supervisory Control with Distinguishers - -This work has been supported by the National Council for Scientific and Technological Development (CNPq), under grant number 402145/2016-0, by CAPES, FINEP and Araucária Foundation.. IFAC-PAPERSONLINE , v. 51, p. 13-18, 2018.

  • TEIXEIRA, MARCELO ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering , v. 15, p. 1431-1437, 2018.

  • RIBEIRO, RICHARDSON ; ENEMBRECK, FABRÍCIO ; GUISI, DOUGLAS M. ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO ; DE SOUZA, FAUSTO A. ; BORGES, ANDRÉ P. . An Advanced Software Tool to Simulate Service Restoration Problems: a case study on Power Distribution Systems. PROCEDIA COMPUTER SCIENCE , v. 108, p. 675-684, 2017.

  • ROSA, MARCELO ; TEIXEIRA, MARCELO ; DENARDIN, GUSTAVO W. ; TORRICO, CESAR R.C. ; CURY, JOSÉ E.R. . Efficient Implementation of Distinguished Controllers for Discrete-Event Systems * *This research has been partially supported by Fundação Araucária.. IFAC-PAPERSONLINE , v. 50, p. 1187-1192, 2017.

  • LUCAS SILVA, ANDRÉ ; RIBEIRO, RICHARDSON ; TEIXEIRA, MARCELO . Modeling and control of flexible context-dependent manufacturing systems. INFORMATION SCIENCES , v. 421, p. 1-14, 2017.

  • GUISI, DOUGLAS M. ; RIBEIRO, RICHARDSON ; TEIXEIRA, MARCELO ; BORGES, ANDRÉ PINZ ; ENEMBRECK, FABRÍCIO . Reinforcement Learning with Multiple Shared Rewards. PROCEDIA COMPUTER SCIENCE , v. 80, p. 855-864, 2016.

  • TEIXEIRA, MARCELO ; RIBEIRO, RICHARDSON ; OLIVEIRA, CESAR ; MASSA, RICARDO . A quality-driven approach for resources planning in Service-Oriented Architectures. Expert Systems with Applications , v. 42, p. 5366-5379, 2015.

  • TEIXEIRA, M. ; MALIK, R. ; Cury, J. E. R. ; Queiroz, M. H. . Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction. IEEE TRANSACTIONS ON AUTOMATIC CONTROL , v. 60, p. 118-129, 2015.

  • CURY, JOSÉ E.R. ; DE QUEIROZ, MAX HERING ; BOUZON, GUSTAVO ; TEIXEIRA, MARCELO . Supervisory control of discrete event systems with distinguishers. AUTOMATICA , v. 56, p. 93-104, 2015.

  • POSSATO, T. ; VALENTINI, J. H. ; SOUTHIER, LUIZ F. P. ; TEIXEIRA, M. . Formal Methods: Foundations and Applications. Proceedings of the 26th Brazilian Symposium, SBMF 2023. 1. ed. , 2024. v. 14414. XXII, 153p .

  • DUARTE, B. ; CALDEIRA, L. ; BARBOSA, M. ; TEIXEIRA, M. ; CASANOVA, D. . Proceedings of the 11th International Conference on Production Research ? Americas. In: Fernando Deschamps, Edson Pinheiro de Lima, Sérgio E. Gouvêa da Costa, Marcelo G. Trentin. (Org.). Conference proceedings info: ICPR 2022. 1ed.: Springer Cham, 2023, v. , p. 1-1.

  • SCHMIDT, L. ; LORENCENA, M. C. ; TEIXEIRA, M. ; CASANOVA, D. ; RIBEIRO, R. ; FAVARIM, FÁBIO . Controle automático flexível de processos avícolas. In: Sônia Márcia Soares de Moura. (Org.). Gestão da Produção em Foco. 1ed.Belo Horizonte: Poisson, 2020, v. 43, p. 126-139.

  • MALIK, R. ; TEIXEIRA, M. . Wirking Paper Series. In: The University of Waikato. (Org.). Framework and Proofs for Synthesis of Least Restrictive Controllable Supervisors for Extended Finite-State Machines with Variable Abstraction. 3ed.Hamilton: , 2018, v. 1, p. 1-67.

  • RIBEIRO, RICHARDSON ; GUISI, DOUGLAS M. ; TEIXEIRA, MARCELO ; Dosciatti, Eden R. ; Borges, Andre P. ; ENEMBRECK, FABRÍCIO . Combination of Interaction Models for Multi-Agents Systems. In: Springer International Publishing. (Org.). Lecture Notes in Business Information Processing. 291ed.Cham: Springer International Publishing, 2017, v. 291, p. 107-121.

  • MALIK, R. ; TEIXEIRA, M. . Working Paper Series. In: The University of Waikato. (Org.). AN ALGORITHM FOR THE SYNTHESIS OF LEAST RESTRICTIVE CONTROLLABLE SUPERVISORS FOR EXTENDED FINITE-STATE MACHINES. 01ed.Hamilton: , 2016, v. 1, p. 1-31.

  • SOUTHIER, L. F. P. ; TEIXEIRA, M. ; CASANOVA, D. ; SCALABRIN, E. E. . Towards a labeling method for Education Process Mining and a case study on higher education. In: Symposium On Applied Computing, 2024, Avila. Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing (SAC'24), 2024. v. 1.

  • RISTA, C. ; TEIXEIRA, M. ; FONSECA, M. . A Self-Adaptive HPL-Based Benchmark with Dynamic Task Parallelism for Multicore Systems. In: World Conference on Information Systems and Technologies, 2024, Lodz. Proceedings of the 12nd World Conference on Information Systems and Technologies (WorldCIST'24), 2024.

  • POSSATO, TIAGO ; TEIXEIRA, MARCELO ; DA COSTA, JEAN PATRIC . A Relative Humidity Measurement System Tolerant to Condensation Events Applied to Apple Storage. In: 2023 7th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2023, Rio de Janeiro. 2023 7th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2023. v. 1. p. 1.

  • OLIVEIRA, SAMUEL ; LEAL, ANDRÉ B. ; TEIXEIRA, MARCELO ; LOPES, YURI K. . Security of Cyber-Physical Systems Against Actuator Attacks through Cryptography*. In: 2023 International Conference on Information Technology (ICIT), 2023, Amman. 2023 International Conference on Information Technology (ICIT), 2023. v. 1. p. 758.

  • VALENTINI, JOÃO H. ; ROSA, MARCELO ; LEAL, ANDRÉ B. ; TEIXEIRA, MARCELO . Interdependent Distinguishing Sensors Applied to Dispatch Control in the Poultry Industry. In: 2023 15th IEEE International Conference on Industry Applications (INDUSCON), 2023, São Bernardo do Campo. 2023 15th IEEE International Conference on Industry Applications (INDUSCON), 2023. v. 1. p. 1665.

  • OLIVEIRA, S. ; LEAL, A. B. ; TEIXEIRA, M. ; LOPES, Y. K. . Segurança de sistemas ciberfísicos contra ataques a atuadores: um método baseado em criptografia. In: XVI Simpósio Brasileiro de Automação Inteligente, 2023, Manaus. Proceedings of the XVI Simpósio Brasileiro de Automação Inteligente (SBAI'23), 2023.

  • FREITAS, M. L. M. ; LARA, G. ; SOUTHIER, L. F. P. ; FAVARIM, F. ; DOSCIATTI, EDEN ; TEIXEIRA, L. R. ; TEIXEIRA, M. . Assimetria de gênero na Computação: um estudo de caso em uma universidade pública brasileira. In: Simpósio Brasileiro de Informática na Educação, 2023, Passo Fundo. Proceedings of the XII Simpósio Brasileiro de Informática na Educação (SBIE'23), 2023. v. 1.

  • POSSATO, T. ; VALENTINI, J. H. ; SOUTHIER, LUIZ F. P. ; TEIXEIRA, M. . Automated code generation for DES controllers modeled as Finite State Machines. In: Brazilian Symposium on Formal Methods, 2023, Manaus. Proceedings of the 26th Brazilian Symposium on Formal Methods (SBMF'23), 2023.

  • CALDEIRA, L. ; TEIXEIRA, M. ; CASANOVA, D. . Forecasting the COVID-19 Space-time Dynamics in Brazil with Convolutional Graph Neural Networks and Transport Modals. In: Concurso de Trabalhos de Iniciação Científica (CTIC), 2022, Niterói, RJ. Proceedings of the 42 Congresso da Sociedade Brasileira de Computação (CSBC'22), 2022.

  • TRINDADE, C. R. V. ; SABADIN, P. ; TEIXEIRA, M. . Detecção de anomalias em sistemas de administração de frotas públicas municipais. In: Escola Regional de Banco de Dados, 2022, Lages, SC. Proceedings of the XVII Escola Regional de Banco de Dados (ERBD'22), 2022.

  • DUARTE, B. ; CALDEIRA, L. ; BARBOSA, M. ; TEIXEIRA, M. ; CASANOVA, D. . Exploiting Genetic and Memetic algorithms to solve the Traveling Salesman Problem with Draft Limits. In: International Conference on Production Research, 2022, Curitiba, PR. Proceedings of the 11th International Conference on Production Research (ICPR'22), 2022.

  • PETROSKI, L. F. ; TEIXEIRA, M. ; CARDOSO, S. . Uma Abordagem de Descoberta de Conhecimento para Suporte à Gestão Municipal de Saúde. In: International Conference on Production Research, 2022, Curitiba, PR. Proceedings of the 11th International Conference on Production Research (ICPR'22), 2022.

  • VOLTAN, J. L. N. ; GOLDSCHMIDT, R. ; OLIVA, JEFFERSON T. ; DUARTE, J. ; CASANOVA, D. ; TEIXEIRA, M. . Identificação automática do uso de máscaras de proteção facial: um estudo comparativo. In: Congresso Brasileiro de Informática em Saúde, 2022, Campinas, SP. Proceedings of the XIX Congresso Brasileiro de Informática em Saúde (CBIS'22), 2022.

  • ALESSI, ANDRÉ ; CASANOVA, DALCIMAR ; CALDEIRA DE OLIVEIRA, LUCAS ; BARBOSA, MARCO ; TEIXEIRA, MARCELO ; POLA, IVES ; POLA, FERNANDA . A Vertex Degree-Based GRASP Approach for the Minimum Independent Dominating Set Problem. In: International Symposium on Automation, Information and Computing, 2022, Beijing. Proceedings of the 3rd International Symposium on Automation, Information and Computing, 2022. p. 318.

  • MUMBELLI, JOCELEIDE D. C. ; GUARNERI, GIOVANNI A. ; LOPES, YURI K. ; CASANOVA, DALCIMAR ; TEIXEIRA, MARCELO . A Generative Adversarial Network approach for automatic inspection in automotive assembly lines. In: Anais Estendidos da Conference on Graphics, Patterns and Images, 2022, Brasil. Anais Estendidos do XXXV Conference on Graphics, Patterns and Images (SIBGRAPI Estendido 2022), 2022. p. 62.

  • MASCHIO, DIERLI M. DA R. ; DUARTE, BRUNO ; COSTA, JEAN PATRIC DA ; TEIXEIRA, MARCELO . Avaliação de Desempenho em Plantas Fotovoltaicas de Geração de Energia Elétrica. In: Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2021, Brasil. Anais do XX Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2021), 2021. p. 108-118.

  • VARGAS, DIONATHAN LUAN DE ; OLIVA, JEFFERSON TALES ; TEIXEIRA, MARCELO . Uma abordagem baseada em redes neurais artificiais sobre o espectro de potência de eletroencefalogramas para o auxílio médico na classificação de crises epiléticas. In: Simpósio Brasileiro de Computação Aplicada à Saúde, 2021, Brasil. Anais do XXI Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS 2021), 2021. p. 141-152.

  • DUARTE, BRUNO ; DE OLIVEIRA, LUCAS CALDEIRA ; TEIXEIRA, MARCELO ; BARBOSA, MARCO ANTONIO . A comparison of Genetic and Memetic Algorithms applied to the Traveling Salesman Problem with Draft Limits. In: 2021 XLVII Latin American Computing Conference (CLEI), 2021, Cartago. 2021 XLVII Latin American Computing Conference (CLEI), 2021. p. 1-10.

  • CASASOLLA, J. R. ; TITO, A. L. L. ; PASTRO, C. R. ; TEIXEIRA, M. . Técnicas de ciência de dados aplicadas à detecção de padrões de falha em processos de pintura automotiva. In: Congresso Brasileiro de Engenharia de Produção, 2021. Proceedings of the XI Congresso Brasileiro de Engenharia de Produção (CONBREPRO'21)), 2021.

  • KLOTZ, D. ; CASANOVA, D. ; TEIXEIRA, M. . Estimating and tuning adaptive action plans for the control of smart interconnected poultry houses. In: Brazilian Congress of Agroinformatics, 2021. Proceeding of the Brazilian Congress of Agroinformatics (SBIAgro), 2021.

  • MALIK, R. ; TEIXEIRA, M. . Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers. In: 15th IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceeding of the 15th IFAC Workshop on Discrete Event Systems (WODES'20), 2020.

  • MASCHIO, D. M. R. ; MUMBELLI, J. D. ; BONAFIN, A. C. T. ; TEIXEIRA, M. . Supervisory Control of Distributed Power Generation Systems with Petri Net-based Customization. In: 15th IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of the 15th IFAC Workshop on Discrete Event Systems (WODES'20), 2020.

  • DUARTE, B. ; CALDEIRA, L. ; TEIXEIRA, M. ; BARBOSA, M. . Algoritmos Meméticos Aplicados ao Problema do Caixeiro Viajante com Limite de Calado. In: Simpósio Brasileiro de Pesquisa Operacional, 2020, João Pessoa. Proceeding of the LII Simpósio Brasileiro de Pesquisa Operacional (SBPO'20), 2020.

  • CALDEIRA, L. ; DUARTE, B. ; TEIXEIRA, M. ; BARBOSA, M. . Aplicação da Busca Tabu para Solução de Problema de Roteamento de Veículos Capacitado. In: Simpósio Brasileiro de Pesquisa Operacional, 2020, João Pessoa. Proceeding of the LII Simpósio Brasileiro de Pesquisa Operacional (SBPO'20), 2020.

  • PASTRO, C. R. ; MUMBELLI, J. D. ; DENARDIN, G. W. ; TEIXEIRA, M. ; SOUTHIER, L. F. P. . Um framework para a integração de dados heterogêneos em ambientes industriais. In: Congresso Brasileiro de Engenharia de Produção, 2020, Ponta Grossa. Proceedings of the X Congresso Brasileiro de Engenharia de Produção, 2020.

  • SOUTHIER, LUIZ F. P. ; MAZZETTO, MURIEL ; CASANOVA, DALCIMAR ; BARBOSA, MARCO A. C. ; BARBOSA, LUIS S. ; TEIXEIRA, MARCELO . Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, Zaragoza. 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019. p. 370.

  • MAZZETTO, MURIEL ; SOUTHIER, LUIZ F. P. ; TEIXEIRA, MARCELO ; CASANOVA, DALCIMAR . Automatic Classification of Multiple Objects in Automotive Assembly Line. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, Zaragoza. 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019. p. 363.

  • MARASCA, A. ; CASANOVA, D. ; TEIXEIRA, M. . Texture analysis using fractal descriptors estimated by the mutual interference of groups of colored pixels. In: Contest of Thesis and Dissertations in Computer Vision, 2019, São Bernardo do Campo. Proceedings of the 2nd Contest of Thesis and Dissertations in Computer Vision, 2019.

  • KLOTZ, D. ; GUERREIRO, M. T. ; RIBEIRO, R. ; TEIXEIRA, M. . Um Framework para o Teste Automatizado de Sensores. In: Workshop de Pesquisa em Computação dos Campos Gerais, 2019, Ponta Grossa. Proceedings of the 3rd Workshop de Pesquisa em Computação dos Campos Gerais, 2019.

  • KLOTZ, D. ; GUERREIRO, M. T. ; TEIXEIRA, M. . Modelagem, Síntese, Implementação e Supervisão de Testes de Sensores de Umidade de Solo. In: Seminário Argentina - Brasil de Tecnologias da Informação e da Comunicação, 2019, Rio Grande. Proceedings of the Seminário Argentina - Brasil de Tecnologias da Informação e da Comunicação (SABTIC'19), 2019.

  • MAZZETO, M. ; KLOTZ, D. ; CASANOVA, D. ; TEIXEIRA, M. . Detecção de Múltiplos Objetos em Linha de Montagem Automotiva usando Deep Learning. In: Seminário Argentina - Brasil de Tecnologias da Informação e da Comunicação, 2019, Rio Grande. Proceedings of the Seminário Argentina - Brasil de Tecnologias da Informação e da Comunicação, 2019.

  • MARASCA, A. L. ; TEIXEIRA, M. ; CASANOVA, D. . Utilizando análise de textura baseada em fractais na automação de sistemas de manufatura. In: Computer on the Beach, 2018, Florianópolis. Proceedings of the 9th Computer on the Beach, 2018.

  • ROSA, M. ; TEIXEIRA, M. ; MALIK, R. . Exploiting Approximations in Supervisory Control with Distinguishers. In: Workshop on Discrete Event Systems, 2018, Sorrento, Italy. Proceedings of the 14th Workshop on Discrete Event Systems, 2018.

  • RISTA, CASSIANO ; TEIXEIRA, MARCELO ; GRIEBLER, DALVAN ; FERNANDES, LUIZ GUSTAVO . Evaluating, Estimating, and Improving Network Performance in Container-based Clouds. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC), 2018. p. 00514.

  • ROSA, M. ; TEIXEIRA, M. ; MALIK, R. . Controle Supervisório de Sistemas a Eventos Discretos com Auto-aproximações. In: Congresso Brasileiro de Automática, 2018, Joao Pessoa. Proceedings of the Congresso Brasileiro de Automática, 2018.

  • BONAFIN, A. C. T. ; MASCHIO, D. M. R. ; TEIXEIRA, M. . Configuração dinâmica de geradores distribuídos de energia utilizando Redes de Petri Estocásticas. In: I Congresso de Tecnologia da Informação do IFSUL, 2018, Passo Fundo. I Congresso de Tecnologia da Informação do IFSUL, 2018.

  • MASCHIO, D. M. R. ; BONAFIN, A. C. T. ; TEIXEIRA, M. . Redes de Petri Estocásticas Aplicadas ao Planejamento de Capacidade em Sistemas de Geração de Energia Solar Fotovoltaica. In: I Congresso de Tecnologia da Informação do IFSUL, 2018, Passo Fundo. I Congresso de Tecnologia da Informação do IFSUL, 2018.

  • ROSA, M. ; TEIXEIRA, M. ; DENARDIN, G. W. ; TORRICO, C. R. C. ; CURY, JOSE E. R. . Efficient Implementation of Distinguished Controllers for Discrete-Event Systems. In: 20th World Congress of the International Federation of Automatic Control, 2017, Toulouse. Proceedings of the 20th World Congress of the International Federation of Automatic Control (WC'2017), 2017.

  • PACHECO, E. ; RIBEIRO, R. ; TEIXEIRA, M. . Avaliação de Desempenho de Web Services: Uma Análise comparativa entre tecnologias. In: Escola Regional de Banco de Dados (ERBD'17), 2017, Passo Fundo. Anais da Escola Regional de Banco de Dados (ERBD'17), 2017.

  • SCHMIDT, L. ; LORENCENA, M. C. ; TEIXEIRA, M. . Controle de Operações em Secadores de Grãos com Redução do Consumo de Recursos Naturais. In: 8th Computer on the Beach, 2017, Florianópolis. Proceedings of the 8th Computer on the Beach, 2017.

  • RIBEIRO, R. ; ENEMBRECK, F. ; GUISI, D. M. ; CASANOVA, D. ; TEIXEIRA, M. ; BORGES, ANDRÉ PINZ . An Advanced Software Tool to Simulate Service Restoration Problems: a case study on Power Distribution Systems. In: International Conference on Computational Science (ICCS'17), 2017, Zürich. Proceedings of the International Conference on Computational Science (ICCS'17), 2017.

  • MORAIS, W. B. ; ROSA, M. ; TEIXEIRA, M. ; BARBOSA, M. . O Problema do Caixeiro Viajante com Limite de Calado: uma Abordagem usando Simulated Annealing. In: XLIX Simpósio Brasileiro de Pesquisa Operacional (SBPO'17), 2017, Blumenau, SC. Proceedings of the XLIX Simpósio Brasileiro de Pesquisa Operacional (SBPO'17), 2017.

  • SCHMIDT, L. ; LORENCENA, M. C. ; TEIXEIRA, M. ; CASANOVA, D. ; RIBEIRO, R. . Controle, Supervisão e Tomada de Decisão em Processos Avícolas. In: VII Congresso Brasileiro de Engenharia de Produção, 2017, Ponta Grossa. Proceedings of the VII Congresso Brasileiro de Engenharia de Produção, 2017.

  • DOSCIATTI, EDEN ; TEIXEIRA, MARCELO ; RIBEIRO, RICHARDSON ; BARBOSA, MARCO ; FAVARIM, FÁBIO ; ENEMBRECK, FABRÍCIO ; ADZKIYA, DIEKY . Resources Planning in Database Infrastructures. In: 18th International Conference on Enterprise Information Systems, 2016, Rome. Proceedings of the 18th International Conference on Enterprise Information Systems. p. 53.

  • GUISI, D. M. ; RIBEIRO, R. ; TEIXEIRA, M. ; BORGES, A. ; DOSCIATTI, E. R. ; ENEMBRECK, F. . A Hybrid Interaction Model for Multi-Agent Reinforcement Learning. In: 18th International Conference on Enterprise Information Systems (ICEIS), 2016, Rome. Proc. of the 18th International Conference on Enterprise Information Systems (ICEIS'16), 2016.

  • MALIK, ROBI ; TEIXEIRA, MARCELO . Modular supervisor synthesis for extended finite-state machines subject to controllability. In: 2016 13th International Workshop on Discrete Event Systems (WODES), 2016, Xi'an. 2016 13th International Workshop on Discrete Event Systems (WODES). p. 91-96.

  • GUISI, D. M. ; RIBEIRO, R. ; TEIXEIRA, M. ; BORGES, A. ; ENEMBRECK, F. . Reinforcement Learning with Multiple Shared Rewards. In: International Conference on Computational Science (ICCS'16), 2016, San Diego. Proceedings of the International Conference on Computational Science (ICCS'16), 2016.

  • SILVA, ANDRE L. ; LORENCENA, MAINARA C. ; RIBEIRO, RICHARDSON ; BARBOSA, MARCO A. C. ; TEIXEIRA, MARCELO . Supervisory control of multiple robots subject to context switching. In: 2016 12th IEEE International Conference on Industry Applications (INDUSCON), 2016, Curitiba. 2016 12th IEEE International Conference on Industry Applications (INDUSCON), 2016. p. 1.

  • LORENCENA, M. C. ; TEIXEIRA, M. ; SILVA, A. L. ; RIBEIRO, R. . Contribuições ao Manejo Avícola Utilizando Técnicas de Controle Supervisório. In: International Conference on Industry Applications, 2016, Curitiba. Proceedings of the 12th IEEE/IAS International Conference on Industry Applications, 2016.

  • GUISI, DOUGLAS M. ; ALMEIDA JUNIOR, J. L. ; BORGES, A. ; TEIXEIRA, M. ; RIBEIRO, R. ; SOUZA, G. G. ; LAPA, H. S. . Técnicas de Classificação em Problemas Relacionados a Doenças Cardíacas. In: Workshop de Pesquisas em Computação dos Campos Gerais, 2016, Ponta Grossa. Proceedings of the I Workshop de Pesquisa em Computação dos Campos Gerais (WPCCG'2016), 2016.

  • P. BORGES, ANDRÉ ; TEIXEIRA, MARCELO ; ENEMBRECK, FABRÍCIO ; RIBEIRO, RICHARDSON ; L. WIRTH, ANDRÉ . A Learning Model for Intelligent Agents Applied to Poultry Farming. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of the 17th International Conference on Enterprise Information Systems. p. 495.

  • TEIXEIRA, MARCELO ; RIBEIRO, RICHARDSON ; BARBOSA, MARCO ; ENEMBRECK, FABRICIO ; MASSA, RICARDO . A modeling architecture for the orchestration of service components in factory automation. In: 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015, Luxembourg. 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA). p. 1.

  • MOSER, A. C. ; TEIXEIRA, MARCELO . Logic Circuits Minimization: a comparative analysis. In: XXIX South Symposium on Microeletronics - SIM'14, 2014, Alegrete, RS. Proceddings of the 2014 XXIX South Symposium on Microeletronics (SIM'2014), 2014.

  • SATO, L. C. ; TEIXEIRA, M. . Criptografia com modelagem 3D: Utilizando a teoria dos números em objetos tridimensionais. In: I Simpósio de Informática - A internet das coisas, 2014, Passo Fundo. Proceddings of the 2014 I Symposium of Informatics (SimpInf'2014), 2014.

  • TEIXEIRA, MARCELO ; RIBEIRO, RICHARDSON ; BARBOSA, MARCO ; MARIN, LUCIENE . A Formal Method Applied to the Automated Software Engineering with Quality Guarantees. In: 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2014, Naples. 2014 IEEE International Symposium on Software Reliability Engineering Workshops. p. 108.

  • TEIXEIRA, MARCELO ; MALIK, ROBI ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Variable abstraction and approximations in supervisory control synthesis. In: 2013 American Control Conference (ACC), 2013, Washington. 2013 American Control Conference. p. 132.

  • TEIXEIRA, M. ; Cury, J. E. R. ; Queiroz, M. H. . Local Modular Control with Distinguishers applied to a Manufacturing System. In: IFAC Conference on Manufacturing Modelling, Management and Control - MIM'13, 2013, Saint Petersburg, Russia. Proceddings of the 2013 IFAC Conference on Manufacturing Modelling, Management and Control (MIM'2013), 2013.

  • TEIXEIRA, MARCELO ; MASSA, RICARDO ; OLIVEIRA, CESAR ; MACIEL, PAULO . Planning service agreements in soa-based systems through stochastic models. In: the 2011 ACM Symposium, 2011, TaiChung. Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11. New York: ACM Press. p. 1576-1581.

  • TEIXEIRA, M. ; Cury, J. E. R. ; Queiroz, M. H. . Local Modular Supervisory Control of DES with Distinguishers. In: 16th IEEE International Conference on Emerging Technologies and Factory Automation - ETFA'11, 2011, Toulouse, France. Proceddings of the 2011 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011 - Qualis CC B1), 2011. p. 1-8.

  • TEIXEIRA, M. ; SABADIN, P. . Planning Databases Service Level Agreements through Stochastic Petri Nets. In: XXVI Simpósio Brasileiro de Banco de Dados - SBBD'11, 2011, Florianópolis. Proceddings of the XXVI Simpósio Brasileiro de Banco de Dados - (SBBD'11 - JIDM - Qualis CC - B3), 2011. v. 2. p. 369-384.

  • TEIXEIRA, MARCELO ; LIMA, RICARDO ; OLIVEIRA, CESAR ; MACIEL, PAULO . A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems. In: 2010 IEEE International Conference on Systems, Man and Cybernetics SMC, 2010, Istanbul. 2010 IEEE International Conference on Systems, Man and Cybernetics. p. 358-365.

  • TEIXEIRA, MARCELO ; LIMA, RICARDO ; OLIVEIRA, CESAR ; MACIEL, PAULO . Performance evaluation of service-oriented architecture through stochastic Petri nets. In: 2009 IEEE International Conference on Systems, Man and Cybernetics SMC, 2009, San Antonio. 2009 IEEE International Conference on Systems, Man and Cybernetics. p. 2831-2836.

  • GUISI, D. M. ; LAPA, H. S. ; LOUREIRO, J. ; SOUZA, G. G. ; TEIXEIRA, M. ; BORGES, A. ; RIBEIRO, R. . Técnicas de Mineração de Dados Aplicadas em Doenças Cardiovasculares. In: Escola Regional de Computação Aplicada à Saúde, 2016, Novo Hamburgo. Proceedings of the Escola Regional de Computação Aplicada à Saúde (ERCAS'2016), 2016.

  • ROSA, M. ; TEIXEIRA, M. ; MALIK, R. . Exploiting Approximations in Supervisory Control with Distinguishers. 2018. (Apresentação de Trabalho/Congresso).

  • ROSA, M. ; TEIXEIRA, M. ; DENARDIN, G. W. ; TORRICO, C. R. C. ; CURY, JOSE . Efficient Implementation of Distinguished Controllers for Discrete-Event Systems. 2017. (Apresentação de Trabalho/Congresso).

  • TEIXEIRA, M. . A modeling architecture for the orchestration of service components in factory automation. 2015. (Apresentação de Trabalho/Conferência ou palestra).

  • TEIXEIRA, M. ; RIBEIRO, R. ; BARBOSA, M. ; MARIN, L. . A formal method applied to the automated software engineering with quality guarantees. 2014. (Apresentação de Trabalho/Conferência ou palestra).

  • TEIXEIRA, M. ; MALIK, R. ; Cury, J. E. R. ; Queiroz, M. H. . Variable Abstraction and Approximations in Supervisory Control Synthesis. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • TEIXEIRA, M. . EXPLORANDO O USO DE DISTINGUIDORES E DE AUTÔMATOS FINITOS ESTENDIDOS NA TEORIA DO CONTROLE SUPERVISÓRIO DE SISTEMAS A EVENTOS DISCRETOS. 2013. (Apresentação de Trabalho/Outra).

  • TEIXEIRA, M. ; Cury, J. E. R. ; Queiroz, M. H. . Local Modular Supervisory Control of DES with Distinguishers. 2011. (Apresentação de Trabalho/Conferência ou palestra).

  • TEIXEIRA, M. ; SABADIN, P. . Planning Databases Service Level Agreements through Stochastic Petri Nets. 2011. (Apresentação de Trabalho/Simpósio).

  • TEIXEIRA, M. . Usando Distinguidores no Controle Supervisório Modular Local de Sistemas a Eventos Discretos. 2011. (Apresentação de Trabalho/Outra).

  • TEIXEIRA, M. . Avaliação de Desempenho de Web Services através de Redes de Petri Estocásticas. 2009. (Apresentação de Trabalho/Outra).

  • TEIXEIRA, M. . Uma análise do Scrum sob a perspectiva do MPSBR. 2007. (Apresentação de Trabalho/Outra).

  • Bianchini, E. ; Ogliari, R. ; TEIXEIRA, M. ; Pavan, W. . ASSINATURA DIGITAL: A OBTENÇÃO DE CERTIFICADOS DIGITAIS. 2003. (Apresentação de Trabalho/Simpósio).

Outras produções

TEIXEIRA, M. . IEEE-IES Technical Committee on Factory Automation. 2021.

TEIXEIRA, M. . SysCorp. 2011.

TEIXEIRA, M. . SysSeg. 2007.

TEIXEIRA, M. . Mr. Know - 2005 até 2010. 2005.

TEIXEIRA, M. . LaTeX. 2017. (Curso de curta duração ministrado/Extensão).

Projetos de pesquisa

  • 2022 - Atual

    Melhorias à identificação neonatal por biometria digital, Projeto certificado pela empresa Akiyama Indústria e Comércio de Equipamentos Eletrônicos e Sistemas em 22/03/2023., Descrição: A identificação de pessoas por meios biométricos é um procedimento tecnologicamente viável e que serve ao propósito nobre de comprovar a autenticidade da identidade de um indivíduo, com pouquíssima margem para ilicitudes. Apesar da existência de diversos meios biométricos e da abundância de opções de processamento de sinais biométricos, essa alternativa passa a ser, em contrapartida, limitada quando os indivíduos provedores das credenciais biométricas são crianças. Nesses casos, as frequentes alterações nos traços físicos, que caracterizam sua identidade biométrica, desatualizam os algoritmos processadores de informação e impedem que se mantenha computacionalmente a rastreabilidade da identidade. Dentre os impactos da falta de identificação inequívoca, está o fato de que a população nessa faixa etária fica mais vulnerável, desamparada dos sistemas de saúde, de educação, de segurança, bem como propensa à tráfico humano, terceira maior atividade ilícita do mundo. Este projeto emerge desse contexto e propõe uma solução computacional que explora algoritmos de inteligência artificial para correlacionar padrões em impressões digitais de crianças com sinais do mesmo indivíduo em idades posteriores, o que permitirá inferir sobre o traço biométrico esperado para uma pessoa independente de sua idade, sem recoleta de sinais. O projeto é desenvolvido junto à empresa parceira Akiyama, especializada em sistemas de segurança e identificação digital. O foco é ampliar essa infraestrutura existente e desenvolver reconhecedores inteligentes de identidade, capazes de inferir acerca das alterações na estampa biométrica assumida por cada indivíduo no decorrer do tempo, algo ainda incipiente no portfólio de produtos da empresa, principalmente em função da complexidade inerente.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (9) / Mestrado acadêmico: (6) / Doutorado: (1) . , Integrantes: Marcelo Teixeira - Integrante / Richardson Ribeiro - Integrante / Dalcimar Casanova - Coordenador / Heitor M. Gomes - Integrante / Luiz Fernando Puttow Southier - Integrante / SOUTHIER, LUIZ F. P. - Integrante / Lucas Caldeira - Integrante / OLIVA, JEFERSON T. - Integrante / Marcelo Filipak - Integrante / Marcos P. Belançon - Integrante / Luiz A. Zanlorensi - Integrante / João Leonardo Harres Dall Agnol - Integrante / João V. C. Mazzochin - Integrante / Elioenai M. F. Diniz - Integrante / Barbara O. Koop - Integrante / Wesley A. C. de Bona - Integrante / Pedro H. de V. Trentin - Integrante / Matheus Buratti - Integrante / João H. P. Machado - Integrante / Gustavo A. T. Nunes - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / SECRETARIA DE ESTADO DA CIÊNCIA, TECNOLOGIA E ENSINO SUPERIOR DO PARANÁ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 2

  • 2018 - Atual

    Recursos Computacionais para a Indústria Automotiva Flexível e Inteligente, Descrição: Manufatura flexível é um modelo industrial capaz de produzir simultaneamente múltiplos tipos de produtos sobre a mesma malha física. Quando associado à tecnologias computacionais modernas, como Big Data, inteligência artificial e IoT, esse modelo permite construir métodos e ferramentas avançadas para a indústria do futuro. Um exemplo de manufatura flexível é observado na indústria automotiva, que fabrica diferentes modelos de carros sobre a mesma planta e cada um é composto por um conjunto próprio de componentes. Nesse tipo de ambiente, é comum que os conjuntos de peças sejam inicialmente separados por operadores humanos para, posteriormente, serem manipulados por robôs. Como essa evolução depende da percepção humana, o procedimento é suscetível a erros de conformidade, situação em que elementos de manufatura podem não pertencer ao modelo de produto fabricado. Nesse sentido, este projeto visa desenvolver recursos computacionais que adicionem percepção artificial à produção automotiva, como complemento à percepção humana, e que integrem essa capacidade cognitiva aos sistemas de controle em chão de fábrica. Essa iniciativa possui a cooperação e o fomento de bolsas pela Renault do Brasil.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Marcelo Teixeira - Coordenador / Geovany Aparecido Duarte Cancio - Integrante., Financiador(es): Renault do Brasil S/A - Bolsa., Número de produções C, T & A: 9 / Número de orientações: 2

  • 2017 - Atual

    Controle, monitoramento e otimização inteligente de processos agro-industriais, Descrição: O Brasil é lider em diversos segmentos agro-industriais, para os quais as inovações no âmbito tecnológico são cada vez mais determinantes, especialmente àquelas que remetem à integração de processos reais com controle automático eficiente e com suporte de otimização por inteligência artificial. Por exemplo, o país é o segundo produtor mundial de frangos de corte e essa atividade recebe crescente atenção devido ao seu um papel social e econômico. As aves são criadas em ambientes semi controlados, chamados aviários, onde receitas diárias de manejo são planejadas pelo avicultor, com o auxílio de guias providos pelas integradoras. Ainda que a execução das ações de manejo seja automática, o cálculo do manejo em si depende da percepção do avicultor, o que torna a atividade propensa a erros, com sistemática incerta, e aproveitamento heterogêneo. A não uniformidade fica mais evidente nos emergentes condomínios avícolas, local que compartilha de vários aviários, cada um coordenado por um especialista diferente, o que resulta em diferentes índices de produção.Em cenário similar, o Brasil ocupa importantes posições no ranking de produção de frutas. Apenas a região sul é responsável por quase toda a produção de maçã do país, por exemplo. Para esse tipo de aplicação, o controle preciso das variáveis que envolvem o armazanemento das frutas é indispensável. Este projeto se dedica a explorar as etapas de modelagem, controle, comunicação e monitoramento de plantas agro-industriais. Deseja-se estruturar a coleta de um conjunto abrangente de eventos lidos no interior das plantas, por meio de redes de sensores, armazenar esses eventos com o auxílio de um sistema de informação, e posteriormente processar tais dados para a extração artificial de conhecimento. O conhecimento sintético obtido é revertido às plantas reais por meio de arquiteturas de comunicação que refletem diretamente sobre as políticas de controle e manejo. Resultados dão conta da possibilidade de ganhos substanciais na produtividade e na eliminação de desperdícios.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (2) / Mestrado acadêmico: (2) . , Integrantes: Marcelo Teixeira - Coordenador / Richardson Ribeiro - Integrante / Marco Barbosa - Integrante / MALIK, ROBI - Integrante / CURY, JOSE - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / SECRETARIA DE ESTADO DA CIÊNCIA, TECNOLOGIA E ENSINO SUPERIOR DO PARANÁ - Auxílio financeiro., Número de produções C, T & A: 13

  • 2017 - Atual

    Técnicas de Engenharia e Ciência de Dados Aplicadas à Gestão Pública, Descrição: No contexto da gestão pública, não são raras as situações em que recursos são empregados de forma indevida ou, pelo menos, sem a devida análise técnica de tomada de decisões. Diante da carência de sistemas capazes de detectar o mau uso de recursos públicos, ou de suportar o processo de tomada de decisões, os gestores, em geral, conduzem suas atividades baseados em conhecimento empírico, implementado a aplicação de recursos no formato de tentativa e erro. Esse procedimento, além de ineficiente, gera desgaste na máquina pública e abre espaços para as mais diversas possibilidades de fraudes e mau uso de recursos. Nesse sentido, este projeto visa projetar, implementar e implantar sistemas de inteligência artificial para o auxílio à gestão pública. O primeiro case foi implantado no município de Vararia, RS, e a pesquisa está atualmente em andamento junto ao Município de Tupanciretã, RS, bem como em outros municípios parceiros do projeto. Em particular, visa-se aplicar técnicas de inteligência computacional, integradas a conceitos de Indústria do Futuro, para desenvolver um sistema de suporte a decisões que receba como entrada um conjunto de dados reais de contribuintes, oriundos das bases de dados do município, e devolva como saída indicadores que favoreçam o processo de tomada de decisões por parte da gestão municipal, bem como a informação ao contribuinte, em tempo real.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (3) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Marcelo Teixeira - Coordenador / Pablo Sabadin Chaves - Integrante / Luiz Fernando Puttow Southier - Integrante / Rafael de Castilho Xavier - Integrante / Cinglair Augusto Justakowski Capello - Integrante., Financiador(es): Prefeitura Municipal de Vacaria - Bolsa / Prefeitura de Tupancireta - Bolsa., Número de produções C, T & A: 6 / Número de orientações: 3

  • 2016 - Atual

    Abordagens Discretas e Híbridas e suas aplicações na indústria, Descrição: Esse projeto visa construir a fundamentação teórica e ferramentas para a síntese automática decontroladores para Sistemas a Eventos Discretos e híbridos. A abordagem é ilustrada por meio de suaaplicação em problemas industriais. No contexto do projeto, as abordagens propostas também serão generalizadas e estendidas para diferentes problemas inerentes ao desenvolvimento de software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (4) . , Integrantes: Marcelo Teixeira - Coordenador., Financiador(es): Universidade Tecnológica Federal do Paraná - Auxílio financeiro., Número de produções C, T & A: 13

  • 2013 - 2015

    Síntese de Distinguidores para o Controle Supervisório de Sistemas a Eventos Discretos, Descrição: Construir a fundamentação teórica e as ferramentas para a síntese automática de distinguidores para Sistemas a Eventos Discretos. Ilustrar a abordagem por meio de sua aplicação em problemas industriais de grande porte. Generalizar e estender a abordagem a diferentes problemas inerentes ao de desenvolvimento de software.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Marcelo Teixeira - Coordenador / José E. R. Cury - Integrante / Richardson Ribeiro - Integrante / Marco Barbosa - Integrante / MALIK, ROBI - Integrante.

  • 2009 - 2013

    Explorando o uso de Sensores Distinguidores na Modelagem e Controle de Sistemas a Eventos Discretos, Descrição: Explorar a utilização de sensores distinguidores para reduzir a complexidade do problema de síntese de controladores em Sistemas a Eventos Discretos. Em particular, pretende-se associar o uso de distinguidores ao Controle Modular Local.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Marcelo Teixeira - Integrante / José E. R. Cury - Coordenador / Max H. de Queiroz - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2023

Honored Professor, Undergraduate students in Computer Engineering 2023-1.

2023

1st position for Chair in the Electrical and Computer Engineering, Fulbright Visiting Scholar Program - Rice University.

2022

Top 10 project - Scientific Initiation Paper Contest, Brazilian Computer Society.

2022

Honored Professor, Undergraduate students in Computer Engineering 2022-1.

2022

Best Paper Award in Computer Science - XXVII SICITE - Rafael Anderson Dalmolin, UTFPR.

2021

Honored professor, Undergraduate students in Computer Engineering 2021-2.

2021

Best master thesis award - Darlan Klotz (advisor), Thesis and Dissertation Contest on Agroinformatics, Brazilian Association of Agroinformatics.

2020

1st position - tenured track Professor - Automation Systems, FURG - Brazil.

2020

Outstanding reviewer award for J-DEDS, Springer.

2020

Research productivity grant, CNPq.

2019

2nd best master thesis award - André Marasca (coadvisor), Contest of Thesis and Dissertations in Computer Vision.

2018

Honored Professor, Undergraduate students in Computer Engineering 2018-1.

2018

Visitor professor grant to Waikato University - New Zealand, UTFPR.

2014

2nd best paper (coauthor), I Informatics Symposium - Internet of Things.

2013

1st position - tenured track Professor - Database Systems, UTFPR, Brazil.

2012

Approval for a Sandwich Doctoral Stage (Waikato University - New Zealand), CNPq.

2009

Doctoral scholarship, CNPq.

2008

Master's scholarship, FACEPE - Poli-PE.

2002

Admission for Administrative Officer position, Soledade municipality.

Histórico profissional

Endereço profissional

  • Universidade Tecnológica Federal do Paraná, Campus Pato Branco. , Via do Conhecimento, Km 01, Bloco S, Fraron, 85503390 - Pato Branco, PR - Brasil - Caixa-postal: 571, Telefone: (46) 32202593, Ramal: 2593, URL da Homepage:

Experiência profissional

2013 - Atual

Universidade Tecnológica Federal do Paraná

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

Atividades

  • 06/2021

    Direção e administração, Campus Pato Branco, Diretoria de Pesquisa e Pós-Graduação.,Cargo ou função, Assessor de Pós-graduação Stricto Sensu.

  • 05/2016

    Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Análise de Sistemas Dinâmicos, Metodologia Científica, Sistemas a Eventos Discretos

  • 10/2013

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados, Matemática Discreta para Engenharia, Modelagem e Controle de Sistemas

  • 08/2013

    Pesquisa e desenvolvimento, Campus Pato Branco.,Linhas de pesquisa

  • 03/2015 - 12/2018

    Direção e administração, Campus Pato Branco.,Cargo ou função, Coordenador de curso de especialização Lato-sensu.

2009 - 2013

Universidade Federal de Santa Catarina

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

Outras informações:
Aluno de doutorado do Programa de Pós Graduação em Engenharia de Automação e Sistemas, do Centro Tecnológico da UFSC. Bolsista CNPq.

2012 - 2013

University of Waikato

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Regime: Dedicação exclusiva.

2008 - 2009

Universidade Federal de Pernambuco

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

Outras informações:
Pesquisador externo do Centro de Informática (Cin-UFPE). Aluno isolado do Programa de Pós Graduação em Ciência da Computação do Centro de Informática (Cin-UFPE), sob a orientação do professor Ricardo Massa Ferreira Lima.

2008 - 2008

Universidade de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Regime: Dedicação exclusiva.

Outras informações:
Aluno de Mestrado do Programa de Pós Graduação em Engenharia da Computação do Departamento de Sistemas e Computação da UPE. Bolsista FACEPE/Escola Politécnica de Pernambuco.

2005 - 2008

Lodi Pedras Preciosas Ltda

Vínculo: Administrador, Enquadramento Funcional: Supervisor Administrativo, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Gerenciamento Financeiro e de Câmbio da empresa Lodi Pedras Preciosas Ltda (www.lodipedras.com.br), exportadora de pedras preciosas. Análise, desenvolvimento e manutenção de sistemas internos da empresa.

2004 - 2005

Universidade de Passo Fundo

Vínculo: Estágiário - Campus Central, Enquadramento Funcional: Desenvolvimento de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Análise e Desenvolvimento de software em linguagem Delphi e banco de dados Oracle.

2002 - 2002

Universidade de Passo Fundo

Vínculo: Estagiário - Campus Soledade, Enquadramento Funcional: Auxiliar de Laboratório, Carga horária: 20

Outras informações:
Monitoria aos usuários do laboratório de informática, manutenção de equipamentos, atividades gerais.

2002 - 2004

Prefeitura Municipal de Soledade

Vínculo: , Enquadramento Funcional: Oficial Administrativo, Carga horária: 35, Regime: Dedicação exclusiva.

Outras informações:
Oficial Administrativo da Secretaria Municipal da Fazenda. Cargo Financeiro.

2000 - 2000

Exército Brasileiro - 4º Batalhão Logístico, 4º BLOG

Vínculo: Militar, Enquadramento Funcional: QM 09/47 - eletricista, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Militar reformado, Qualificação Militar 09/47, Graduação 3 Sargento.

Criando um monitoramento

Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Marcelo Teixeira e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário

Para criar um monitoramento é preciso estar cadastrado

continuar

15 segundos

para se cadastrar

+ de 900 mil

usuários cadastrados

Criando um monitoramento

Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário

Para criar um monitoramento é preciso estar cadastrado

continuar

15 segundos

para se cadastrar

+ de 900 mil

usuários cadastrados

Confirma a exclusão?