MTMCA

Publications

Journal papers:

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:

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.