Max Hering de Queiroz

2018

Pós-Doutorado. , Laboratoire d'Analyse et d'Architecture des Systemes, LAAS, França. , Bolsista do(a): Centre national de la recherche scientifique, CNRS, França.

Inglês

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

Espanhol

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

Português

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

Francês

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

Alemão

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

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.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Controle de Processos Eletrônicos, Retroalimentação.

Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Projetos de Máquinas/Especialidade: Controle de Sistemas Mecânicos.

PIERI,E.R.D. ; PLUCENIO, A. ; COELHO, A. A. R. ; BRUCIAPAGLIA, A. H. ; NORMEY-RICO, J. E. ; BECKER, L. B. ; QUEIROZ, M. H. DE ; CAMPOS, P. R. B. ; MORENO, U. F. . VIII Simpósio Brasileiro de Automação Inteligente. 2007. (Congresso).

QUEIROZ, M. H. DE; LETTNIN, D. V.;BALDISSERA, F. L.BECKER, L. B.; SOUZA, C. L.. Metodologia de Desenvolvimento de VHDL Sintetizável com Uso de Model-Checking. 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

CAMPONOGARA, E.; PLUCENIO, A.;QUEIROZ, M. H. DE; CARLSON, R. C.; MAYERLE, S. F.. Modelos Quadráticos por Partes para Otimização da Produção de Campos de Petróleo e Gás. 2016. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

KRAUS JR., W.; GOLDNER, L. G.; CASTRO NETO, M. M.;QUEIROZ, M. H. DE. Implantação de Faixas Exclusivas para Ônibus: prioridade para Transporte Público. 2015. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

QUADRI, M. B.; SOUZA, A. A. U.;QUEIROZ, M. H. DE; NICOLAU, V. P.. Estudo de um Misturador de Correntes Térmicas de Gases: Construção de um Protótipo com Análise de Modelagem e Simulação. 2015. Dissertação (Mestrado em Engenharia Química) - Universidade Federal de Santa Catarina.

BALDISSERA, F. L.QUEIROZ, M. H. DE; PAGANO, D. J.; MARQUES, J. L. B.. Estudo da Dinâmica de Redes de Regulação Gênica que Apresentam Oscilações Circadianas. 2015. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

BECKER, L. B.; KOLIVER, C.;FARINES, J. M.QUEIROZ, M. H. DE. Projeto e Concepção da Arquitetura de Software Embarcado de um Veículo Aéreo Não Tripulado. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

MORENO, U. F.; DIAS, A.;NEGRI, V. J. DEQUEIROZ, M. H. DE. Method for Application of Weibull Distribution to the Reliability Calculation of Functional Safety for Industrial Machinery. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

FARINES, J. M.MORENO, U. F.; SAAD, R. T.;QUEIROZ, M. H. DE. Exploração de Ambientes Desconhecidos Estruturados com Sistemas Multi-Robôs. 2014. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

DA CUNHA, A. E. C.CURY, J. E. R.QUEIROZ, M. H. DE; MOREIRA, M. V. B.. Busca Heurística na Obtenção de Supervisores Aproximados por Distinguidores: Estudo de Caso na Coordenação de Sistemas Multiveiculares. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Instituto Militar de Engenharia.

KRAUS JR., W.QUEIROZ, M. H. DE; RIBEIRO, P. C. M.; COSTA, R. J. C.. Proposta de Arquitetura para Sistemas de Informação para Transporte Público usando o Estilo Arquitetural REST. 2013.

LOURES, E. F. R. L.; BRAGA, C. M. P.;SANTOS, E. A. P.QUEIROZ, M. H. DE; SANTOS, W. E.. Mineração de processos para a identificação de padrões comportamentais na racionalização de alarmes em plantas industriais. 2013. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Pontifícia Universidade Católica do Paraná.

MONTEZ, C.; MAZIERO, C. A.; SILVA, E. S.;QUEIROZ, M. H. DE. Projeto, Implementação e Avaliação de Desempenho de Nós e Gateways 6LoWPAN. 2013. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

LEAL, A. B.VIEIRA, A. D.; HOUNSELL, M. S.;QUEIROZ, M. H. DE. Implementação de Controle Supervisório em CLPs Usando Linguagem de Alto Nível. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

ROSSO JUNIOR, R. S. U.;LEAL, A. B.; ZATTAR, I. C.;QUEIROZ, M. H. DE; WEHRMEISTER, M. A.. Integração do níveis MES, SCADA e Controle da Planta de Manufatura com base na Teoria de Linguagens e Autômatos. 2012. Dissertação (Mestrado em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

FARINES, J. M.QUEIROZ, M. H. DE; HUBNER, J. F.; COSTA, R. J. C.. Modelagem e Síntese para Coordenação de Sistemas Multi-Robôs baseada numa Estrutura de Jogo. 2012. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

BECKER, L. B.FARINES, J. M.; PERES, L.M.;QUEIROZ, M. H. DECURY, J. E. R.. Contribuições para a Melhoria do Processo de Verificação Formal de Propriedades em Programas AADL. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

PENA, P.N.; TAKAHASHI, R.H.C.;QUEIROZ, M. H. DE; CARRANO, E.G.. Escalonamento Ótimo de Um Sistema Flexível de Manufatura Com Controle Supervisório. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

FARINES, J. M.QUEIROZ, M. H. DEMORENO, U. F.DA CUNHA, A. E. C.. Coordenação em Sistemas Multi-Robôs utilizando Métodos Baseados em Autômatos. 2011. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

LAFAY, J.-F.; ABBOU, R.;QUEIROZ, M. H. DE; MOUSSAOUI, C.; ROUX, O.H.. Etude des principes de la théorie de la supervision. 2011. Dissertação (Mestrado em Master Automatique et Systemes de Production) - Ecole Centrale de Nantes.

DUTRA, C. B. S.; DIAS, R. A.; SOUSA, A. R.;QUEIROZ, M. H. DE; NOLL, V.. Sistema de Controle Direcionado a Máquinas de Ensaio Dinâmico. 2011. Dissertação (Mestrado em Mestrado Profissionalizante em Mecatrônica) - Instituto Federal de Santa Catarina.

LAFAY, J.-F.; LOISEAU, J.J.;QUEIROZ, M. H. DE; NALY, R.; ABBOU, R.; MOUSSAOUI, C.. Commande par Invariance des Systeme a Evenement Discret pour Satisfaire des Constraintes Temporelles. 2011. Dissertação (Mestrado em Master Automatique et Systemes de Production) - Ecole Centrale de Nantes.

CAMPONOGARA, E.COELHO, A. A. R.; GOLDNER, L. G.;QUEIROZ, M. H. DE. Uma proposta para síntese de controle realimentado dos tempos de verde em redes de tráfego veicular urbano. 2009. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

LEAL, A. B.QUEIROZ, M. H. DE; ROCHA, F. R.; GARCIA, T. R.; FERREIRA, R. R.. Aplicação da teoria de controle supervisório no projeto de controladores para eletrodomésticos. 2008. Dissertação (Mestrado em Mestrado Profissional em Engenharia Elétrica) - Universidade do Estado de Santa Catarina.

FARINES, J. M.BECKER, L. B.QUEIROZ, M. H. DE; CARRO, L.; SANTOS, L. C. V.;BITTENCOURT, G.. Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação. 2008. Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

SANTOS, E. A. P.; PAULA, M. A. B.; LOURES, E. F. R. L.;QUEIROZ, M. H. DE. Uma arquitetura híbrida para o controle de sistemas de manufatura com roteamentos de produção. 2007. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Pontifícia Universidade Católica do Paraná.

SANTOS, E. A. P.; PAULA, M. A. B.; LOURES, E. F. R. L.;QUEIROZ, M. H. DE. Aplicação da teoria de controle supervisório no projeto de controladores para sistemas de manufatura multiprodutos. 2007. Dissertação (Mestrado em Engenharia de Produção e Sistemas) - Pontifícia Universidade Católica do Paraná.

OGLIARI, A.;OLIVEIRA, R.S.QUEIROZ, M. H. DESANTOS, E. A. P.. Formalização da Rede de Petri Canal/Agência para Projeto de Equipamentos Industriais. 2007. Dissertação (Mestrado em Programa de Pós-Graduação em Egenharia Mecânica) - Universidade Federal de Santa Catarina.

CURY, J. E. R.NEGRI, V. J. DESANTOS, E. A. P.QUEIROZ, M. H. DE. Implementação Distribuída de Controle Supervisório para Sistemas a Eventos Discretos. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

DIAS, A.; FORCELLINI, F. A.;QUEIROZ, M. H. DESANTOS, E. A. P.. Projeto de Sistemas Automáticos com Modelagem e Controle da Comunicação com o Ambiente Externo. 2005. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Santa Catarina.

BASILIO, J. C. S.; MOREIRA, M. V. B.;CURY, JOSE E. R.QUEIROZ, M. H. DEDA CUNHA, A. E. C.. Synchronous Centralized Failure Diagnosis of Modular Discrete-Event Systems. 2017. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

FARINES, J. M.; SAADE, D. C. M.;QUEIROZ, M. H. DE; WILLRICH, R.. Uma Metodologia e um Ambiente MDE parea a Verificação de Aplicações Hipermídia. 2016. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

MOREIRA, M. V. B.; BHAYA, A.; MIYAGI, P. E.;DA CUNHA, A. E. C.QUEIROZ, M. H. DE. Diagnóstico Descentralizado de Falhas em SIstemas a Eventos Discretos Robusto a Perdas de Observação. 2016. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

MORENO, U. F.; RIBEIRO, C. E. P.; REGINATTO, R.;QUEIROZ, M. H. DE; PETRY, M. R.; PIERI,E.R.D.. Modelos Baseados em Funções Kernel para Localização de Veículos Autônomos Subaquáticos. 2015. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

TAKAHASHI, R.H.C.;PENA, P.N.; CARRANO, E.G.; ZUBEN, F. J. V.;QUEIROZ, M. H. DE; RAVETTI, M. G.. Metodologia CSO - Controle Supervisório e Otimização - Aplicada à Resolução de Problemas de Sequenciamento de Tarefas em Sistemas Flexíveis de Manufatura. 2015. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Minas Gerais.

BECKER, L. B.; BARRETO, R.; WEHRMEISTER, M. A.; KOLIVER, C.;QUEIROZ, M. H. DE; HUBNER, J. F.. Transformação Assistida de Modelos: Mecanismo de Suporte para Desenvolvimento de Cyber-Physical Systems. 2014. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

CURY, J. E. R.; BASILIO, J. C. S.;DA CUNHA, A. E. C.PENA, P.N.; MANSUR, D. S.;QUEIROZ, M. H. DE; PAGANO, D. J.. Uma Abordagem Baseada na Teoria de Controle Supervisório para Controle de Redes de Regulação Gênica. 2014. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

MORENO, U. F.; TAKAHASHI, R.H.C.; KOIKE, C. M. C. E. C.; HUBNER, J. F.;QUEIROZ, M. H. DE; SILVEIRA, H. B.. Estratégia de Controle Cooperativo baseado em Consenso para um Grupo Multi-Veículos. 2013. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

BECKER, L. B.; SILVA, F.A.; BRANDÃO, D.;MONTEZ, C.QUEIROZ, M. H. DE. Um Controle de Acesso ao Meio Híbrido em Redes Sem-Fio para Coordenação em Sistemas de Tempo-Real Autônomos e Móveis. 2011. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

MONTEZ, C.; DANTAS, M. A. R.; OLIVEIRA, L. A. H. G. DE; MORAES, R. A. R.;QUEIROZ, M. H. DE. Abordagens autonômicas para qualidade de serviços da comunicação em redes de sensores sem fio densas com requisitos temporais. 2010. Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

CURY, J. E. R.QUEIROZ, M. H. DELEAL, A. B.; DOREA, C. E. T.;NEGRI, V. J. DE; STEMMER, M. R.. Método de Implementação do Controle de Sistemas a Eventos Discretos com Aplicação da Teoria de Controle Supervisório. 2007. Tese (Doutorado em PROGRAMA DE POS GRADUAÇÃO EM ENGENHARIA ELETRICA) - Universidade Federal de Santa Catarina.

CURY, J. E. R.DA CUNHA, A. E. C.; LUDERS, R.;BITTENCOURT, G.QUEIROZ, M. H. DENEGRI, V. J. DE. Verificação de Conflito na Supervisão de Sistemas Concorrentes Usando Abstrações. 2007. Tese (Doutorado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

RODRÍGUEZ, R.S.; ROBLES, J. L.; PINERO, R. B.; MENDOZA, R. A. R.;QUEIROZ, M. H. DE. Quantitative Evaluation of Blocking-Recovery Discrete Modular Agents. 2006. Tese (Doutorado em Artificial Intelligence) - Instituto Tecnologico Y de Estudios Superiores de Monterrey.

CURY, J. E. R.; KAESTNER, C. A. A.; GOMIDE, F. A. C.;MENDES, R. S.QUEIROZ, M. H. DEFARINES, J. M.CAMPONOGARA, E.BITTENCOURT, G.. Contribuições ao Problema de Controle Supervisório de Sistemas a Eventos Discretos Parametrizáveis e Não-Regulares. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

QUEIROZ, M. H. DE; MATIAS JUNIOR, R.; NATALE, M.. Formalization of the Real-Time Tasks on Linux. 2017. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

FARINES, J. M.; TOVAR, E.;QUEIROZ, M. H. DE. Contribuições para o Desenvolvimento de Arquitetura de Sensoriamento e Atuação de Sistemas Ciberfísicos. 2016. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

LUDERS, R.;QUEIROZ, M. H. DE; NEVES JUNIOR, F.. Metodologia de Controle para Sistemas de Transporte Público Baseado em Controle Tolerante a Falhas. 2016. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

QUEIROZ, M. H. DE; PORTO, L. M.; MANSUR, D. S.;PENA, P.N.DA CUNHA, A. E. C.. Uma Abordagem ao Problema de Controle de Redes Biológicas Baseada na Teoria de Controle Supervisório. 2012. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

QUEIROZ, M. H. DE; RODRIGUEZ, C. M. T.; KLEN, E. R.; CARPINETTI, L. C. R.. Um arcabouço de suporte à sugestão de parceiros logísticos para compor organizações virtuais. 2010. Exame de qualificação (Doutorando em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

MONTEZ, C.; DANTAS, M. A. R.; LUNG, L. C.;QUEIROZ, M. H. DE; OLIVEIRA, L. A. H. G. DE;BECKER, L. B.; FRIEDRICH, L. F.. Um modelo de Redes de Sensores sem Fio Densas para Aplicações com Fusão de Dados Tempo Real. 2008. Exame de qualificação (Doutorando em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

CAMPONOGARA, E.BITTENCOURT, G.; BARBOZA, E. U.;QUEIROZ, M. H. DENORMEY-RICO, J. E.; UCHOA FILHO, B. F.. Localização de Facilidades: Modelos, Algoritmos e Aplicações em Campos de Petróleo. 2007. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

NORMEY-RICO, J. E.TROFINO NETO, A.CAMPONOGARA, E.; SILVA JUNIOR, J. M. G.;QUEIROZ, M. H. DE; FAGUNDES, J. C. S.. Projeto Integrado de Controle e Conversores com Aplicação à Indústria do Petróleo. 2007. Exame de qualificação (Doutorando em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

CURY, J. E. R.DA CUNHA, A. E. C.QUEIROZ, M. H. DENEGRI, V. J. DEBITTENCOURT, G.. Explorando Aspectos Estruturais na Síntese de Supervisores para Sistemas Compostos. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

CURY, J. E. R.; DOREA, C. E. T.;QUEIROZ, M. H. DENEGRI, V. J. DEBITTENCOURT, G.. Contribuições à Implementação de Sistemas de Controle Supervisório. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

MORENO, U. F.QUEIROZ, M. H. DE; JOTA, F. G.. Membro Titular da Banca Examinadora do Concurso Público para Professor Auxiliar 1, DE, do Departamento de Automação e Sistemas, Edital 008/DDP/2013. 2013. Universidade Federal de Santa Catarina.

CURY, J. E. R; MENDES, Rafael Santos; MIYAGI, Paulo Eigi;DE NEGRI, V. J.; FARINES, Jean Marie; CAMPONOGARA, Eduardo. Controle Supervisório Modular e Multitarefa de Sistemas Compostos. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

COSTA, Antonio José Alves Simões;CURY, J. E. R; MIYAGI, Paulo Eigi; BITTENCOURT, Guilherme;STEMMER, M. R.DE NEGRI, V. J.. Contribuições Teóricas e Práticas ao Controle Supervisório de Sistemas Compostos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

COSTA, A. J. A. S.; CURY, J. E. R.; MIYAGI, P. E.; BITTENCOURT, G.;STEMMER, M. R.NEGRI, V. J.. Contribuições Teórica e Práticas ao Controle Supervisório de Sistemas Compostos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

COSTA, Antonio José Alves Simões. Contribuições Teóricas e Práticas ao Controle Supervisório de Sistemas Compostos. 2002. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Projeto de sistema instrumentado de segurança assistido por métodos formais para processos industriais com múltiplos modos de operação; Início: 2019; Dissertação (Mestrado profissional em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina; (Orientador);

Uso de model-checking e teste baseado em modelos para validação de programas de CLP na indústria de petróleo e gás; Início: 2017; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);

Síntese e Implementação de Controle Hierárquico de Sistemas a Eventos Discretos em Processos Industriais; Início: 2018; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina; (Orientador);

Implementação de controle supervisório modular temporizado e escalonamento de processos em sistemas de produção; Início: 2015; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina; (Orientador);

Início: 2018; Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina;

ControleSupervisóriodeumSistemadePatrulhamentoMultirrobôscom ArquiteturaDeliberativa/Reativa; 2019; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Análise de Riscos e Especificação de Requisitos de Segurança para Processos Industriais com Múltiplos Modos de Operação; 2019; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Método para Teste Automatizado de Sistemas Instrumentados de Segurança em Plataformas de Petróleo; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Max Hering de Queiroz;

Verificação Formal de Sistemas Instrumentados de Segurança na Indústria de Petróleo e Gás Natural; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Max Hering de Queiroz;

Síntese e Implementação de Controle Supervisório de Processos Industriais com Malha de Válvulas; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Metodologia para Desenvolvimento de Sistemas de Controle e Monitoração de Navios assistido por Model Checking; 2018; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Max Hering de Queiroz;

Metodologia de desenvolvimento de VHDL sintetizável com uso de Model Checking; 2016; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Max Hering de Queiroz;

Metodologia de desenvolvimento de sistema de controle supervisório integrando CLP, SCADA e roteamento de tarefas; 2015; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Exploração do uso de Redes de Petri para o estudo do desenvolvimento da vulva do C; Elegans; 2014; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Max Hering de Queiroz;

Desenvolvimento de uma metodologia para realização de testes em programas de CLP na Indústria do Petróleo e Gás; 2014; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Max Hering de Queiroz;

Uma Abordagem Local para o Controle Supervisório Modular de Sistemas a Eventos Discretos Temporizados; 2014; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Proposta de Arquitetura Orientada a Recursos para SCADA na Web; 2011; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Integração de sistemas SCADA com a implementação de controle supervisório em CLP para sistemas de manufatura; 2011; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Controle supervisório modular local de sistemas de veículos auto-guiados; 2010; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Max Hering de Queiroz;

Escalonamento ótimo baseado na Teoria de Controle Supervisório aplicado a um estaleiro de reparo naval; 2010; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Max Hering de Queiroz;

Modelagem e verificação de programas de CLP escritos em Diagrama Ladder; 2010; Dissertação (Mestrado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Max Hering de Queiroz;

Redução de Supervisores Utilizando marcação por Eventos e Métodos de Otimização; 2008; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Max Hering de Queiroz;

Controle de missão baseado na Teoria de Controle Supervisório com aplicação a veículos subaquáticos autônomos; 2015; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina,; Orientador: Max Hering de Queiroz;

Explorando o uso de Distinguidores e de Autômatos Finitos Estendidos na Teoria do Controle Supervisório de Sistemas a Eventos Discretos; 2013; Tese (Doutorado em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Max Hering de Queiroz;

Desenvolvimento de Ferramenta para Especificação dos Intertravamentos de Segurança para CLP na Indústria de Petróleo e Gás; 2016; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Aplicação da técnica Runtime Verification para monitorar CLPs de sistemas do tipo Sistemas Instrumentados de Segurança para a Indústria de Petróleo e Gás; 2019; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Validação de Sistemas de Controle e Automação na Indústria do Petróleo e Gás; 2019; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Validação de Sistemas de Controle e Automação na Indústria do Petróleo e Gás Utilizando Métodos de Teste, Verificação e Síntese; 2018; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Testes de Conformidade e Verificação Formal de Sistemas Aplicados para a Indústria de Petróleo e Gás; 2018; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Avaliação da técnica Learning-based Testing como ferramenta de validação de programas de CLP; 2018; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Desenvolvimento de protótipos para testes de conformidade e verificação formal de sistemas da Indústria de Petróleo e Gás; 2018; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Validação de Sistemas de Controle e Automação na Indústria do Petróleo e Gás Utilizando Métodos de Teste, Verificação e Síntese; 2017; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Validação de Sistemas de Controle e Automação na Indústria do Petróleo e Gás Utilizando Métodos de Teste, Verificação e Síntese; 2017; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Validação de Sistemas de Controle e Automação na Indústria do Petróleo e Gás Utilizando Métodos de Teste, Verificação e Síntese; 2016; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Fundação de Ensino de Engenharia de Santa Catarina; Orientador: Max Hering de Queiroz;

Aplicação de uma metodologia para teste automático a um Sistema Instrumentado de Segurança de um separador trifásico; 2015; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Agência Nacional do Petróleo, Gás Natural e Biocombustíveis; Orientador: Max Hering de Queiroz;

Síntese e implementação de controle supervisório para segurança de um processo característico da indústria de petróleo e gás; 2015; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Agência Nacional do Petróleo, Gás Natural e Biocombustíveis; Orientador: Max Hering de Queiroz;

Método de Diagnóstico de Falhas baseado em Sistemas a Eventos Discretos aplicado à Indústria de Petróleo e Gás; 2012; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina; Orientador: Max Hering de Queiroz;

Desenvolvimento de técnicas formais de diagnóstico de falhas para indústria de petróleo e gás; 2011; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Universidade Federal de Santa Catarina, Agência Nacional do Petróleo, Gás Natural e Biocombustíveis; Orientador: Max Hering de Queiroz;

Síntese e Implementação de Controle Supervisório para Sistemas a Eventos Discretos; 2009; Iniciação Científica; (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Max Hering de Queiroz;

Arquitetura de controle supervisório embarcado aplicada à coordenação de veículos autoguiados; 2009; Iniciação Científica; (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina; Orientador: Max Hering de Queiroz;

Desenvolvimento de Programa em Lisp para Apoio ao Projeto de Controle de Sistemas a Eventos Discretos; 2008; Iniciação Científica; (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina; Orientador: Max Hering de Queiroz;

Simulação e implementação de controle supervisório em microcontroladores; ; 2008; Iniciação Científica; (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina; Orientador: Max Hering de Queiroz;

Desenvolvimento de hardware para controle de uma célula de manufatura didática; 2007; Iniciação Científica; (Graduando em Engenharia de Controle e Automação Industrial) - Universidade Federal de Santa Catarina; Orientador: Max Hering de Queiroz;

Elaboraço e desenvolvimento de rotinas numéricas computacionais para problemas com estruturas esparsas; 1994; 0 f; Iniciação Científica; (Graduando em Engenharia de Automação Industrial) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mário César Zambaldi;

Controle Supervisório Modular de Sistemas de Grande Porte; 2000; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Eduardo Ribeiro Cury;

Controle Supervisório Modular e Multitarefa de Sistemas Compostos; 2004; 0 f; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Eduardo Ribeiro Cury;

1993

Quarto Colocado no Concurso Vestibular, COPERVE - UFSC.