Embedded Files
Journal papers:
Journal papers:
2024
2023
2022
- ANGHINONI, LUIZ ANTONIO NICOLAU ; TEIXEIRA, MARCELO ; BARBOSA, MARCO ANTONIO DE CASTRO ; CASANOVA, DALCIMAR ; OLIVA, JEFFERSON TALES . Detecção de epilepsia em eletroencefalogramas utilizando redes neurais convolucionais reduzidas. journal of health informatics, v. 16, p. 1-15, 2024.
- OLIVEIRA, SAMUEL ; LEAL, A. B. ; TEIXEIRA, M. ; Lopes, Yuri K. Integrity of Cyber-Physical Discrete Event Systems under covert actuator attacks. IFAC-PAPERSONLINE, v. 58, p. 198-203, 2024.
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.
- 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.
- 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.
2022
- KLOTZ, D. ; RIBEIRO, R. ; ENEMBRECK, F. ; DENARDIN, G. W. ; BARBOSA, M. ; CASANOVA, D. ; TEIXEIRA, M. . Estimating and tuning adaptive action plans for the control of smart interconnected poultry houses. EXPERT SYSTEMS WITH APPLICATIONS, v. 1, p. 1-14, 2022.
- 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.
- 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.
- 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, R. ; TEIXEIRA, M. . Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, v. 1, p. 1-33, 2021.
- 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, 2021.
- 2020
- MALIK, R. ; TEIXEIRA, M. . Synthesis of Least Restrictive Controllable Supervisors for Extended Finite-State Machines with Variable Abstraction. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2020.
- 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.
- 2019
- LORENCENA, MAINARA C. ; SOUTHIER, L. F. P. ; CASANOVA, D. ; RIBEIRO, R. ; TEIXEIRA, M. . A Framework for Modeling, Control and Supervision of Poultry Farming. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2019.
- 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.
- 2018
- TEIXEIRA, M.; Cury, J. E. R. ; Queiroz, M. H. . Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering, p. 1-7, 2018.
- RIBEIRO, R. ; CASANOVA, D. ; TEIXEIRA, M. ; WIRTH, A. ; GOMES, H. M. ; BORGES, ANDRÉ PINZ; ENEMBRECK, F. . Generating action plans for poultry management using artificial neural networks. COMPUTERS AND ELECTRONICS IN AGRICULTURE, v. 1, p. 1-12, 2018.
- 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, M. ; BARBOSA, M. ; TEIXEIRA, M. . Service-based manufacturing systems: modelling and control. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, v. 1, p. 1-14, 2018.
- 2017
- SILVA, A. L. ; RIBEIRO, R. ; TEIXEIRA, M. . Modeling and control of flexible context-dependent manufacturing systems. INFORMATION SCIENCES, v. 421, p. 1-14, 2017.
- RIBEIRO, RICHARDSON ; ENEMBRECK, FABRÍCIO ; GUISI, DOUGLAS M. ; CASANOVA, DALCIMAR ; TEIXEIRA, M.; 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.
- 2016
- GUISI, DOUGLAS M. ; RIBEIRO, RICHARDSON ; TEIXEIRA, M.; BORGES, ANDRÉ PINZ ; ENEMBRECK, FABRÍCIO . Reinforcement Learning with Multiple Shared Rewards. Procedia Computer Science, v. 80, p. 855-864, 2016.
- MUMBELLI, J. D. ; ROSA, M. ; SCHETTERT, P. B. ; TEIXEIRA, M. . Exploiting Formal Methods to Simplify the Modeling of Flexible Manufacturing Systems. Revista Junior de Iniciação Científica em Ciências Exatas e Engenharia, v. 14, p. 1-8, 2016.
- SILVA, A. L. ; LORENCENA, M. C. ; RIBEIRO, R. ; TEIXEIRA, M. . Modelagem e Controle de Ambientes Dinâmicos Dependentes de Contexto. Revista Junior de Iniciação Científica em Ciências Exatas e Engenharia, v. 12, p. 39-48, 2016.
- 2015
- Cury, J. E. R. ; Queiroz, M. H. ; BOUZON, G. ; TEIXEIRA, M. . Supervisory control of discrete event systems with distinguishers. AUTOMATICA, v. 56, p. 93-104, 2015.
- SILVA, W. ; RIBEIRO, R. ; TEIXEIRA, M. ; ENEMBRECK, F. . IDENTIFICANDO EMOCÕES EM REDES SOCIAIS: Um estudo de caso no facebook. Revista Eletrônica Científica Inovação e Tecnologia, v. 2, p. 81-89, 2015.
- TEIXEIRA, M.; 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.
- 2014
- MAZZETTO, M. ; MARASCA, A. ; TEIXEIRA, M. . Uso de métodos formais no planejamento e manutenção de vias públicas urbanas. Revista Junior de Iniciação Científica em Ciências Exatas e Engenharia, v. 8, p. 9-15, 2014.
Conference papers:
Conference papers:
2024
2023
2022
- PUTTOW SOUTHIER, LUIZ FERNANDO ; TEIXEIRA, MARCELO ; CASANOVA, DALCIMAR ; SCALABRIN, EDSON EMILIO. Towards a labeling method for Education Process Mining and a case study on higher education. 39th ACM/SIGAPP Symposium on Applied Computing, 2024.
- RISTA, C. ; TEIXEIRA, M. ; FONSECA, M. . A Self-Adaptive HPL-Based Benchmark with Dynamic Task Parallelism for Multicore Systems. 12nd World Conference on Information Systems and Technologies (WorldCIST'24), 2024.
- OLIVEIRA, S. ; LEAL, A. B. ; TEIXEIRA, M. ; LOPES, Y. K. . Integrity of Cyber-Physical Discrete Event Systems under covert actuator attacks. 17th Workshop on Discrete Event Systems (WODES'24), 2024.
- CANCIO, G. A. D. ; TEIXEIRA, M. ; PATRIOTA, D. S. . Análise da experiência do consumidor no setor automotivo: um projeto P&D com a Renault do Brasil. XXVII Ibero-American Conference on Software Engineering (CIbSE'24), 2024.
- MARCHIORO, G. ; POSSATO, T. ; PAGLIOSA, M. ; TEIXEIRA, M. . An on-the-fly DES strategy for the control of brushless motors in electric vehicles. XXV Congresso Brasileiro de Automática (CBA'24), 2024.
- OLIVEIRA, S. ; LEAL, A. B. ; TEIXEIRA, M. ; LOPES, YURI K. ; MEIRA-GOES, R. . Uma abordagem baseada em substituição de eventos para mitigar ataques a atuadores em Sistemas a Eventos Discretos. XXV Congresso Brasileiro de Automática (CBA'24), 2024.
- DE OLIVEIRA KOOP, BARBARA ; AGNOL, JOÃO LEONARDO H. D. ; SOUTHIER, LUIZ FERNANDO PUTTOW ; ZANLORENSI, LUIZ A. ; OLIVA, JEFFERSON T. ; TEIXEIRA, MARCELO ; CASANOVA, DALCIMAR . Analyzing Similarity and Quality of Neonate Fingerprint Images subject to a Super-Resolution Technique. International Conference of the Biometrics Special Interest Group (BIOSIG), 2024.
- ANGHINONI, L. A. N. ; TEIXEIRA, M. ; BARBOSA, MARCO A. C. ; CASANOVA, D. ; OLIVA, JEFERSON T. . Detecção de epilepsia em eletroencefalogramas utilizando redes neurais convolucionais reduzidas. XX Congresso Brasileiro de Informática em Saúde (CBIS'24), 2024.
- RINALDI, J. ; CASANOVA, D. ; TEIXEIRA, M. ; TONIAL, L. M. S. ; LOPES, H. . A New Approach for Soil Carbon and Nitrogen Assessment through Image Analysis: A Case Study with Oxisols and Inceptisols. XIX Workshop on Computer Vision (WVC'24), 2024.
- SCHMITZ, W. M. ; BARBOSA, MARCO A. C. ; TEIXEIRA, M. ; CASANOVA, D. ; OLIVA, J. T. . Comparativo de Modelos de Redes Neurais Convolucionais no Diagnóstico e Classificação de Lesões de Câncer de Pele Através de Imagens Dermatoscópicas. 11ª Conferencia Ibero Americana Computação Aplicada (CIACA'4), 2024.
- BONA, W. A. C. ; OLIVA, J. T. ; SOUTHIER, LUIZ F. P. ; FAVARIM, F. ; TEIXEIRA, M. ; CASANOVA, D. . Construction of Rolled Digital for Newborns Using Image Registration. XIX Workshop on Computer Vision (WVC'24), 2024.
2023
- POSSATO, TIAGO ; TEIXEIRA, MARCELO ; DA COSTA, JEAN PATRIC . A Relative Humidity Measurement System Tolerant to Condensation Events Applied to Apple Storage. In: Proceedings of the 7th International Symposium on Instrumentation Systems, Circuits and Transducers (INSCIT), 2023.
- OLIVEIRA, SAMUEL ; LEAL, ANDRÉ B. ; TEIXEIRA, MARCELO ; LOPES, YURI K. . Security of Cyber-Physical Systems Against Actuator Attacks through Cryptography. In: Proceedings of the International Conference on Information Technology (ICIT), 2023.
- VALENTINI, JOÃO H. ; ROSA, MARCELO ; LEAL, ANDRÉ B. ; TEIXEIRA, MARCELO . Interdependent Distinguishing Sensors Applied to Dispatch Control in the Poultry Industry. In: Proceedings of the 15th IEEE International Conference on Industry Applications (INDUSCON), 2023.
- 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: 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: 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: Proceedings of the 26th Brazilian Symposium on Formal Methods (SBMF'23), 2023.
2022
- CALDEIRA, L. ; TEIXEIRA, M. ; CASANOVA, D. . Forecasting the COVID-19 Space-time Dynamics in Brazil with Convolutional Graph Neural Networks and Transport Modals. In: Proceedings of the 42º Congress of the Computer Brazilian Society (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: Proceedings of the XVII Regional School of Databases (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: 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: 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: Proceedings of the XIX Brazilian Congress of Informatics in health (CBIS'22), 2022.
- ALESSI, A. E. ; CASANOVA, D. ; CALDEIRA, L. ; BARBOSA, MARCO A. ; TEIXEIRA, MARCELO ; POLA, I. R. V. ; POLA, F. P. B. . A vertex degree-based GRASP approach for the minimum independent dominating set problem. In: Proceedings of the 3rd International Symposium on Automation, Information and Computing (ISAIC'22), 2022.
- MUMBELLI, J. D. ; GUARNERI, G. A. ; LOPES, Y. K. ; CASANOVA, D. ; TEIXEIRA, M. . A Generative Adversarial Network approach for automatic inspection in automotive assembly lines. In: Proceedings of the 35th Conference on Graphics, Patterns and Images, 2022.
- 2021
- MASCHIO, D. M. R. ; DUARTE, B. ; COSTA, J. P. ; TEIXEIRA, M. . Avaliação de Desempenho em Plantas Fotovoltaicas de Geração de Energia Elétrica. In: 20th CSBC Workshop on Computer and Communication Systems Performance (WPerformance'21), 2021, Florianópolis.
- VARGAS, D. L. ; OLIVA, J. T. ; TEIXEIRA, M. . 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: 21st Simpósio Brasileiro de Computação Aplicada à Saúde (SBCAS'21), 2021, Curitiba.
- DUARTE, B. ; CALDEIRA, L. ; TEIXEIRA, M. ; BARBOSA, M. . A comparison of Genetic and Memetic Algorithms applied to the Traveling Salesman Problem with Draft Limits. In: XLVII Latin American Computing Conference (CLEI), 2021, San José.
- 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 (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 (SBIAgro), 2021.
- 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 (WODES'20), 2020, Rio de Janeiro.
- MALIK, R. ; TEIXEIRA, M. . Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers. In: 15th IFAC Workshop on Discrete Event Systems (WODES'20), 2020, Rio de Janeiro.
- DUARTE, B. ; CALDEIRA, L. ; TEIXEIRA, M. ; BARBOSA, M. . Algoritmos Meméticos Aplicados ao Problema do Caixeiro Viajante com Limite de Calado. In: LII Simpósio Brasileiro de Pesquisa Operacional (SBPO'20), 2020, João Pessoa.
- 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: LII Simpósio Brasileiro de Pesquisa Operacional (SBPO'20), 2020, João Pessoa.
- 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.
- 2019
- SOUTHIER, L. F. P. ; MAZZETO, M. ; CASANOVA, D. ; BARBOSA, M. ; BARBOSA, L. S. ; TEIXEIRA, M. Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. In: International Conference on Emerging Technologies and Factory Automation (ETFA'19), 2019, Zaragoza, Spain.
- MAZZETO, M. ; SOUTHIER, L. F. P. ; TEIXEIRA, M. ; CASANOVA, D. . Automatic Classification of Multiple Objects in Automotive Assembly Line. In: International Conference on Emerging Technologies and Factory Automation (ETFA'19), 2019, Zaragoza.
- 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 (CVS'19), 2019, São Bernardo do Campo.
- 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 (WPCCG'19).
- 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 (SABTIC'19), 2019, Rio Grande.
- 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 (SABTIC'19), 2019, Rio Grande.
- 2018
- 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.
- ROSA, M. ; TEIXEIRA, M. ; MALIK, R. . Exploiting Approximations in Supervisory Control with Distinguishers. In: Workshop on Discrete Event Systems, 2018, Sorrento, Italy.
- RISTA, C. ; TEIXEIRA, M. ; GRIEBLER, D. ; FERNANDES, L. G. . Evaluating, Estimating, and Improving Network Performance in Container-based Clouds. In: IEEE Symposium on Computers and Communications, 2018, Natal, RN.
- 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.
- 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.
- 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.
- 2017
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 2016
- DOSCIATTI, EDEN ; TEIXEIRA, M. ; 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.
- 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.
- MALIK, ROBI ; TEIXEIRA, M. Modular supervisor synthesis for extended finite-state machines subject to controllability. In: 2016 13th International Workshop on Discrete Event Systems (WODES), 2016, Xi'an.
- 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.
- SILVA, ANDRE L. ; LORENCENA, MAINARA C. ; RIBEIRO, RICHARDSON ; BARBOSA, MARCO A. C. ; TEIXEIRA, M. Supervisory control of multiple robots subject to context switching. In: 2016 12th IEEE International Conference on Industry Applications (INDUSCON), 2016, Curitiba.
- 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.
- 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.
- 2015
- P. BORGES, ANDRÉ ; TEIXEIRA, M. ; 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.
- TEIXEIRA, M.; 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.
- 2014
- MOSER, A. C. ; TEIXEIRA, M. Logic Circuits Minimization: a comparative analysis. In: XXIX South Symposium on Microeletronics - SIM'14, 2014, Alegrete.
- TEIXEIRA, M.; 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.
- 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.
- 2013
- TEIXEIRA, M.; 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.
- 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.
- 2011
- TEIXEIRA, M.; MASSA, RICARDO ; OLIVEIRA, CESAR ; MACIEL, PAULO . Planning service agreements in soa-based systems through stochastic models. In: the 2011 ACM Symposium, 2011, TaiChung.
- 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.
- 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.
- 2010
- TEIXEIRA, M.; 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.
- 2009
- TEIXEIRA, M.; 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.
Page updated
Google Sites
Report abuse