Jose Reinaldo Silva
Bacharel em Fisica pela Universidade Federal da Bahia (1980), mestre em Física pela Universidade Federal de Pernambuco (1985), Mestrado Profissional em Interdisciplinary Computer Science, Mills College, USA, doutorado em Engenharia de Computação pela Universidade de São Paulo (1992). Pós doutorado em Ciência da Computação e em Engenharia e Design de Sistemas, respectivamente pelo Computer Science Department e pelo Systems Design Engineering Department da University of Waterloo, Canadá. Atualmente é professor associado III na Escola Politécnica da Universidade de São Paulo, lotado no Depto. de Engenharia Mecatrônica e de Sistemas Mecânicos. IEEE Senior. Os interesses de pesquisa são em Engineering Design: modelagem e análise de requisitos, métodos formais para modelagem e verificação, knowledge Engineering; redes de Petri; Sistemas inteligentes: knowledge engineering para o design de sistemas de planejamento e escalonamento automáticos; Service Science: service design; Data Space e modelagem de sistemas para a transformação digital e evolução para a Industria 4.0 e Indústria 5.0 orientadas a serviço. As aplicações de interesse são em automação da manufatura, sistemas de saúde e para sustentabilidade.
Informações coletadas do Lattes em 30/01/2026
Acadêmico
Formação acadêmica
Doutorado em Engenharia Elétrica
1988 - 1992
Universidade de São Paulo
Título: Uma formalização do processo de design baseado em metáforas:Sua aplicação na automatização de Sistemas de Eventos Discretos
Orientador: Carlos José Pereira de Lucena
Palavras-chave: Automacao de Design; Automacao de Sistemas; Design Estruturado; Design de Sistemas Discretos; Design de Sistemas Integrados; Redes de Petri Estendidas Hierarquicas. Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Sistemas de Informação.
Mestrado em Física
1982 - 1985
Universidade Federal de Pernambuco
Título: O METODO DE FATORIZACAO APLICADO A PROBLEMAS MODELO DE ESTADOS META- ESTAVEIS NO HIDROGENIO, Ano de Obtenção: 1985
Orientador: SILVIO ROBERTO ACIOLI CANUTO
Palavras-chave: Automacao de Design; Automacao de Sistemas; Comunicacao Entre Agentes; Design Por Objetos; Estados Quasi-Ligados; Fatorizacao. Grande área: Ciências Exatas e da Terra
Mestrado profissional em Interdisciplinary Computer Science
1986 - 1987
Mills College
Título: Intelligent System Solver for Physics, Ano de Obtenção: 1987
Orientador: Robert Street
Bolsista do(a): Mills College, MILLS, Estados Unidos. Grande área: Ciências Exatas e da Terra
Pós-doutorado
2006
Livre-docência. , Universidade de São Paulo, USP, Brasil. , Título: Modelagem e Design de Sistemas Automatizados, Ano de obtenção: 2006., Palavras-chave: Automacao de Sistemas; Analysis of domains; Mecatrônica (Sistemas); modeling and design methods; Redes de Petri Estendidas Hierarquicas; Planning Systems.
1994 - 1995
Pós-Doutorado. , University of Waterloo, U.WATERLOO, Canadá. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Engenharias, Grande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia de Sistemas / Especialidade: Sistemas discretos e distribuídos. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Inteligência Artificial.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Engineering design: requisitos, modelagem e análise.
Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Planejamento em Inteligência Artificial.
Grande área: Outros / Área: Robótica, Mecatrônica e Automação / Subárea: Service Engineering Design.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Modelagem e verificação formal, Redes de Petri.
Organização de eventos
Angélico, B.A. ; Deaecto, G.S. ; Pomilio, J.A. ; SILVA, JOSÉ REINALDO . Congresso Brasileiro de Automática. 2024. (Congresso).
Giudici, R. ; Vicente, J. ; J. Reinaldo Silva ; Blay, E. . 21 de março: Dia Internacional de Luta Contra a Discriminação Racial. 2022. (Outro).
Siilva, E.C.N. ; Pqueira, J.R.C. ; Justo, J.F. ; José Reinaldo Siliva ; John, V. M. . Strategic Workshop on Grand Engineering Challenges. 2018. (Outro).
PESSOA JR., O. F. ; KOGLER JR., J. E. ; LIMA JR., W. T. ; SILVA, J. R. . 10th. International Brazilian Meeting in Cognitive Science. 2015. (Congresso).
Lima, C. R. ; SAVASTANO JR., H. ; Machado, I. F. ; Menezes, I. F. M. ; SILVA, J. R. ; Dumont, N. ; Carbonari, R. C. ; John, V. M. . 13th. Int. Symposium in Multiscale Multifunctional and Functionally Graded Materials. 2014. (Congresso).
TSUZUKI, M. S. G. ; SILVA, J. R. . Intelligent Manufacturing Systems. 2013. (Congresso).
FERASOLI, H. ; CALDEIRA, M. A. C. ; Pegoraro, R. ; FRANCHIN, M. ; SILVA, J. R. . Robocontrol. 2012. (Congresso).
SILVA, J. R. ; Bonet, B. ; Willians, B. . Int. Conference on Artificial Planning and Scheduling. 2012. (Congresso).
SILVA, J. R. . Congresso Latino-Americano de Controle e Automação. 2012. (Congresso).
SILVA, J. R. ; Bonet, B. . Int. Conference in Automated Planning and Scheduling. 2011. (Congresso).
FERASOLI, H. ; SILVA, J. R. ; ROSÁRIO, J. M. . Robocontrol. 2010. (Congresso).
Cardoso, J.R. ; Furukawa, C.M. ; SILVA, J. R. ; MARUYAMA, N. . 9th IEEE/IAS Int. Conference on Industry Aplications (INDUSCON). 2010. (Congresso).
FERASOLI, H. ; ROSÁRIO, J. M. ; SILVA, J. R. . Robocontrol'08 Workshop on Applied Robotics and Collaborative Systems Engineer. 2008. (Congresso).
SILVA, J. R. ; Branco, E. ; Branco, L. . Salão Internacional de Robótica e Inteligência Artificial. 2007. (Exposição).
FERASOLI, H. ; ROSÁRIO, J. M. ; SILVA, J. R. . ROBOCONTROL'07 Workshop of Robotic Applications and Automatic Control. 2007. (Congresso).
SILVA, J. R. ; Branco, E. ; Branco, L. . Salão Internacional de Robótica e Inteligência Artificial. 2005. (Exposição).
PEREIRA, C. E. ; SILVA, J. R. . 12th IFAC Symposium on Information Control Problems in Manufacturing. 2004. (Congresso).
FERASOLI, H. ; FRANCHIN, M. ; SILVA, J. R. ; RILLO, M. . 6o. Siimposio Brasileiro de Automação Inteligente. 2003. (Congresso).
MIYGI, Paulo Eigi ; TSUZUKI, M. S. G. ; Ibrahim, R.C. ; MOTOHASHI, C. T. ; ARAKAKI, J. ; Giusti, A. ; Hirakawa, A. ; Furukawa, C.M. ; Yee, C.L. ; SANTOS FILHO, D. J. ; COZMAN, F. G. ; SILVA, J. R. ; SIMÕES, M. G. ; ANDRADE, M. T. C. ; BARRETO, M. R. P. ; MARUYAMA, N. ; HORIKAWA, O. . 4o. Simpósio Brasileiro de Automação Inteligente. 1999. (Congresso).
Participação em eventos
3rd. Conference on AI, Machine Learning and Data Science. 2023. (Congresso).
Encontro Nacional de Engenharia de Produção. Proposta de Procedimento para Gestão e Visualização de Dados no Contexto da Indústria 4.0. 2023. (Congresso).
15th. Int. Paris Workshop of Design Theory. 2022. (Simpósio).
IFAC-Intelligent Manufacturing Systems. 2022. (Congresso).
International Conference on Digital Technologies and Applications. Reflexions About the Future of Scientific Publications. 2022. (Congresso).
2021 14th IEEE International Conference on Industry Applications (INDUSCON). 2021. (Congresso).
Congresso Brasileiro de Automática. Towards a Formal Design to Service-Oriented Cloud Manufacturing. 2020. (Congresso).
Painel Industria - CBA 2020. Automação no pós-pandemia. 2020. (Congresso).
Simpósio Brasileiro de Sistemas Elétricos - SBSE. 2020. (Simpósio).
13th. IFAC Workshop on Intelligent Manufacturing Systems.A New Requirement Engineering Approach for Manufacturing Based on Petri Nets. 2019. (Seminário).
Simposio Brasileiro de Automação Inteligente - SBAI. GORE Methods to Model Real World Problem Domains in Automated Planning. 2017. (Congresso).
Congresso Brasileiro de Automática. Planejamento de Ação em Sistemas Hierárquicos Temporizados usando GHENeSys. 2016. (Congresso).
19th. IFAC World Congress. New Trends in Manufacturing: Converging to Service and Intelligent Systems. 2014. (Congresso).
Engenharia, Ciência da Computação e Comunicação.A Engenharia na era da comunicação. 2014. (Seminário).
IEEE 12th. Int. Conference in Industrial Informatics. Scheduling Real-Time Systems with Periodic Tasks using a Model-chedking Approach. 2014. (Congresso).
Qualidade de vida no Trabalho.HUMANIS - Human Machine Network Interaction for Symbiosis. 2014. (Simpósio).
IFAC - Intelligent Manufacturing Systems. Manufacturing Service: the Challenge of Intelligent Manufacturing. 2013. (Congresso).
Workshop em Ciência de Serviços.Serviços e tecnologia colaborativas. 2009. (Simpósio).
FIE International Conference. Modeling and Design of Discrete Systems: A Petri Net Approach. 2008. (Congresso).
Participação em bancas
Sobrinho, A.A.C.C.;SILVA, JOSE REINALDO; Martins, A.M.. Design and Implementation of an Open-Source Digital Twin Framework for Real-Time Industrial Level Systems Integration. 2025. Dissertação (Mestrado em CIÊNCIA DA INFORMAÇÃO) - Universidade Federal de Alagoas.
Garcia, C.; Segundo, A.;SILVA, JOSÉ REINALDO. Implementação de uma solução de coleta e transferência de dados industriais em tempo real para a nuvem AWS. 2024. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
Prati, R.C.;J. Reinaldo Silva; Kunkel, M. E.. SKILL DEVELOPMENT THROUGH ARTIFICIAL COGNITIVE SYSTEMS AND SOCIAL ROBOTICS IN THE FIELD OF TECHNOLOGICAL EDUCATION. 2024. Dissertação (Mestrado em Inovação Tecnológica) - Universidade Federal de São Paulo.
JULIA, S.; Fernandes, M.A.; Barreto, F.M.;SILVA, J. R.. Modelo de Simulação de Vídeo Games baseado em um Ambiente 3D e em Redes de Petri Coloridas. 2024. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
Bruschi, S.M.; Spinola, M.M.;SILVA, JOSÉ R.. Cloud manufacturing services (CMfgS): modelando sistemas produtivos automatizados na nuvem. 2024. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.
Garcia, C.; Alvarado, C.M.;SILVA, JOSÉ REINALDO. Implementação de sistema de comunicação com nuvem para coleta e análise de dados industriais. 2024. Dissertação (Mestrado em Engenharia Elétrica) - Escola Politécnica da USP.
JULIA, S.; Fernandes, M.A.;SILVA, J. R.. Lógica Linear para o Planejamento de Tarefas em Workflow Net. 2023. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
Silva, J. M.; YOSHIOKA, LEOPOLDO RIDEKI;SILVA, J. R.. Uma arquitetura produto-serviço para o design de casas inteligentes assistivas. 2022. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.
Basilio, J.C.;SILVA, JOSÉ REINALDO; Carvalho, L.K.. Online Fault Diagnosis of Discrete Event Systems Modeled By Labeled Petri Nets Using Labeled Priority Petri Nets. 2021. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.
Lintzmayer, C.N.;SILVA, JOSÉ REINALDO; Braghetto, K.R.. Um método para simular e verificar Redes de Petri Aninhadas. 2021. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC.
Batocchio, A.;ROSÁRIO, J. M.SILVA, JOSÉ R.. Desenvolvimento de uma estrutura para seleção de pedidos no contexto da Industria 4.0. 2018. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.
M.L.Netto; Morandin Jr., O.;SILVA, JOSÉ REINALDO. An Intention-based Service Design Discipline for the Product-Service Architecture. 2016. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.
PEREIRA, C. E.;J. Reinaldo Silva; Henriques, R. B.; Suzin, A.. Proposta de Ontologia para a Integração de Sistemas de Manutenção Inteligentes e Cadeia de Suprimentos de Peças de Roposição. 2015. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal do Rio Grande do Sul.
SILVA, J. R.TONIDANDEL, F.; Spinola, M.M.. Extração de Casos de Teste Utilizando Redes de Petri e Validação de Resultados Usando OWL. 2015. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Morandin Jr., O.. Ambiente Unificado para modelagem e verificação de programs de controle SIS. 2014. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.
TAVARES, J. J. P. Z. S.; Carvalho, J.C.M.;SILVA, J. R.. Analisador de Planos para Sistemas Automatizados Baseados em CLPs. 2013. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Uberlândia.
TAVARES, J. J. P. Z. S.; Carvalho, J.C.M.;SILVA, J. R.. Analisador de Planos para Sistemas Automatizados Baseados em CLPs. 2013. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Uberlândia.
Perozzo, R.;SILVA, J. R.; PEREIRA, C. E.. Framework para Criação de Sistemas Supervisórios Dinâmicos em Dispositivos Móvies. 2012. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
JULIA, S.SILVA, J. R.; Soares, M.S.. Modelagem e Análise de Video Games Usando as Workflow Nets e a Lógica Linear. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
PRIKLANDNICKI, R.;SILVA, J. R.; Vel Lejpman, A.G.. A indústria da manufatura e sua relação com métodos ágeis de desenvolvimento de software: histórico, apanhado sistemático e situação atual. 2011. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística.
Trabasso, L.G.; Botura, C.A.;SILVA, J. R.. Proposta de Arquitetura de Controle para Efetuador Robótico Multifuncional Baseado em Labview. 2010. Dissertação (Mestrado em Engenharia Mecânica) - Instituto Tecnológico da Aeronáutica.
M.L.Netto;SILVA, J. R.; GUDWIN, R. R.. Evolução Estrutural e Paramétrica de Redes Neurais Dinâmicas em Vida Artificial. 2009. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
Batocchio, A.; Silva, I.B.;SILVA, J. R.. Método para a criação de um Processo de Previsão da Demanda de Vendas. 2009. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.
MARTINS, M. R.SILVA, J. R.TONIDANDEL, F.. Proposta de Método para Gestão e Tratamento de Requisitos de Sistemas Integrando Modelagem de Negócio e Linguagens Formais. 2008. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.. Modelagem e Análise de Performance de Sistemas Flexíveis de Manufatura Baseado em Redes de Petri Temporizadas: Estudo de Caso na Indústria Automotiva. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; Souza, G.M.; Batocchio, A.. Modelagem Sistêmica de Processo de Melhoria Contínua de Processos Industriais Utillizando o Método Seis Sigma e Redes de Petri. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
MIYAGI, P. E.SILVA, J. R.ARAKAKI, J.. Modelagem de Sistemas de Controle de Edifícios Inteligentes Considerando a Ocorrência de Falhas. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
MIYAGI, P. E.SILVA, J. R.; Villani, E.. Modelagem de Sistema de Ar Condicionado Baseado em Redes de Petri. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
TONIDANDEL, F.SILVA, J. R.Santos, P. E.. Extracao de Conhecimento de dominios de planejamento descritos em UML.P. 2008. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.
SANTOS FILHO, D. J.;SILVA, J. R.; Riascos, L.A.M. Modelagem de Programas e sua verificação para controladores programáveis. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.. Automação Informada Baseada em Redes de Petri e RFID: Estudo de caso para um Sistema de Bibliotecas de Acervos. 2007 - Universidade de São Paulo.
Fernandez, F.J.R.;SILVA, J. R.. Monitoração de Redes de Sensores com Transponders. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.. Uma Abordagem Baseada em Atividades para a Gestão e Determinação de Custos do Processo na Engenharia de Requisitos. 2007. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.. Eliciação e Comunicação de Requisitos em Domínios Disjuntos:Estudo de Caso para na Área Médica. 2007. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.TONIDANDEL, F.MARUYAMA, N.. itSIMPLE: Ambiente Integrado de Modelagem e Análise de Domínios de Planejamento Automático. 2007. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MARTINS, M. R.; Carvalho, H.G.. Escritório de Gerenciamento de Projetos (PMO) como Estratégia de Customização de Soluções a Indústria Eletro-Eletrônica. 2007. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
TONIDANDEL, F.; RILLO, M.;SILVA, J. R.. Domótica Inteligente: Automação Residencial Baseada em Comportamento. 2007. Dissertação (Mestrado em Engenharia Elétrica) - FUNDACAO EDUCACIONAL INACIANA PADRE SABOIA DE MEDEIROS.
SILVA, J. R.JULIA, S.; MACÊDO, A.. Problema do Escalonamento em Tempo Real dos Sistemas de Gerenciamento de Workflow baseado em um modelo de Rede de Petri híbrida p-temporal. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.
SILVA, J. R.BARRETTO, M. R. P.; TAKASE, F. K.. Proposta de um Modelo para Extração de Informação de Bancos Multimídias através da Atribuição de Semântica a Eventos. 2005. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.
SILVA, J. R.. Modelagem de Sistemas de Controle Integrados por uma Arquitetura Baseada em Íntegrons. 2005. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.
Maximiano, A.C.A.;SILVA, J. R.. Uma Contribuição para o Estudo dos Testes para a Garantia de Qualidade de Software. 2005. Dissertação (Mestrado em Administração) - Universidade de São Paulo.
SILVA, J. R.. Geracao de Conhecimento Explicito na Manufatura Informada. 2005. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
Batocchio, A.; Novaski, O.;SILVA, J. R.. Proposta de uma Arquitetura para Administração Estratégica da Produção e Operações Utilizando Competitividade como Atributo Estrutural. 2005. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, J. R.; SILVA, F. S. C.;BARROS, L. N. B.; COSTA, A. H. R.. Inteligência Artificial para Jogos de Tabuleiro. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
SILVA, J. R.; SILVA, P. S. M.;BARRETO, M. R. P.; BECERRA, J. L. R.;SHIMADA, L. M.. Método de Avaliação de Riscos na Primeira Fase do Rational Unified Process. 2004. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário FIEO.
SILVA, J. R.; INAMASU, R. Y.; SANTOS FILHO, D. J.. Modelagem Orientada a Objetos de Sistemas a Eventos Discretos: Estudo de Caso na Síntese de Controle de Sistemas Prediais. 2004. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.
SILVA, J. R.; LIMA JUNIOR, O. F.; SAMPAIO, C. M. P.. Análise de Sistemas de Informação Aplicados à Gestão Portuária. 2004. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.. Geração de Conhecimento Explícito na Manufatura Informada. 2004. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.
SILVA, J. R.; COPSTEIN, B.; LISBOA, M. L. B.; PEREIRA, C. E.. Concepção de uma Biblioteca de Classes para Sistemas de Manufatura. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
SILVA, J. R.; ANDRADE, B. L. R.; SAMPAIO, C. M. P.. Sistema de Informação para gerenciamento de tráfego nas hidrovias. 2003. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.; SAMPAIO, C. M. P.. Análise de Sistemas de Informação aplicados à Gestão Portuária. 2003. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.; SOUZA JUNIOR, J. A. R.;MARTINS, M. R.. Sistema de Informações para Apoio ao Projeto Preliminar de Embarcações Marítimas. 2003. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.; SILVA, P. S. M.;BARRETTO, M. R. P.; SOUZA, S. N. A.; BECERRA, J. L. R.. Análise das Restrições Impostas pelos Modelos de Persistência de J2EEtm no Padrão de Projeto Compósito. 2003. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário FIEO.
SILVA, J. R.BARRETTO, M. R. P.; ANDRADE, M. T. C.; BECERRA, J. L. R.; AMARAL, J. A. A.. Os Esforços da Tecnologia da Informação para suportar o Planejamento Estratégico das Organizações. 2003. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário FIEO.
SILVA, J. R.BARETTO, M. R. P.; SOUZA, S. N. A.;ALMEIDA JUNIOR, J. R.; CAMPOS, E. G. L.. Uma Taxonomia em Sistemas de Banco de Dados Multimídia. 2003. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário FIEO.
SILVA, J. R.AUGUSTO, O. B.; SZAJNBOK, M.. Estruturas Flutuantes para a Exploração de Campos de Petróleo no Mar(FPSO): Apoio à Decisão na Escolha do Sistema. 2002. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.AUGUSTO, O. B.; SZAJNBOK, M.. Estruturas Flutuantes para a Exploração de Campos de Petróleo no Mar (FPSO): Apoio à Decisão na Escolha do Sistema. 2002. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.; SILVA, F. S. C.; WASSERMAN, R.; MONARD, M. C.. Um Modelo de Capacidades Formais para Cooperação Mediada entre Sistemas Baseados em Conhecimento. 2002. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
SILVA, J. R.; INAMASU, R. Y.; TACHIBANA, W. K.. Modelagem de Custos em Sistemas de Manufatura utilizando Redes de Petri. 2002. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.BARRETTO, M. R. P.; SILVA, P. S. M.. Verificação de Requisitos de Sistemas Utilizando Redes de Petri. 2002. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.
SILVA, J. R.; MASSARANI, M.; CANTI, M. B.. Análise de Veículos Automotores através da Aplicação das Técnicas da Metodologia do Valor. 2002. Dissertação (Mestrado em Engenharia Automotiva) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.; GUDWIN, R. R.. GheneeSys: Uma rede estendida orientada a objetos para o projeto de Sistemas Discretos. 2001. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; BRACARENSE, A. Q.; ABRÃO, A. M.. Simulação Computacional de uma Produção de Andaimes. 2000. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Minas Gerais.
SILVA, J. R.; BRESCIANI FILHO, E.;BATALHA, G. F.. Sistema de Informação: Estudo de Caso no Fluxo de Materiais para a Fabricação de Blanks. 2000. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.; PERKUSICH, A.. Modelagem de Sistemas de Controle Integrados por uma Arquitetura Baseada em Íntegrons. 2000. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; PERKUSICH, A.; FIGUEIREDO, J. C. A.. Aspectos de Herança em uma Notação Orientada a Objetos Baseada em Redes de Petri. 1999. Dissertação (Mestrado em Engenharia Mecânica [C. Grande]) - Universidade Federal da Paraíba.
SILVA, J. R.ROSÁRIO, J. M.. Elementos para Estruturação e Implementação de Sistemas Automatizados de Produção. 1999. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, J. R.; RILLO, M.; MONARD, M. C.. Planejamento Baseado em Casos Usando Lógica de Transações. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.AUGUSTO, O. B.; DIAS, C. A. N.. O Algorítmo Genético na Otimização do Projeto Estrutural de Embarcações. 1998. Dissertação (Mestrado em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.; COSTA, A. H. R.. Redes F-MFG (Functional Mark Flow Graph) e sua Aplicação no Projeto de Sistemas Antropocêntricos. 1998. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.; COSTA, A. H. R.. Análise da Propriedade Distância Síncrona na Rede Ghenesys. 1998. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.TSUZUKI, M. S. G.. Uma Abordagem para o Desenvolvimento de Sistemas CAD Paramétricos utilizando a História de Criação do Modelo e a Manutenção de Dependências entre Operações. 1997. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.; RILLO, M.. Análise de Invariantes na Rede de Petri Ghenesys. 1997. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.; SILVA, F. S. C.. Equivalência entre a Semântica da Lógica de Transações e a Semântica de sua Implementação Prolog. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.MIYGI, Paulo Eigi. Redes F-MFG (Functional Mark Flow Graph) e sua Aplicação no Projeto de Sistemas Antropocêntricos. 1997. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.. Modelagem do Tratamento de Falhas em Sistemas de Manufatura através de Rede de Petri. 1997. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MIYGI, Paulo Eigi. Aplicação de Redes de Peri Automodificáveis em Sistemas de Manufatura. 1996. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; SILVA, F. S. C.; CHIAPPIN, J. R. N.. NEWELL E SIMON Racionalidade e Solução de Problemas: A Teoria Científica da Racionalidade em Inteligência Artificial. 1994. Dissertação (Mestrado em Filosofia) - Universidade de São Paulo.
SILVA, J. R.; ROZENFELD, H.; GONÇALVES FILHO, E. V.. Proposta de um Sistema de Apoio à Programação CN em um Ambiente de Manufatura Integrada. 1993. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.; RANZINI, E.. Análise de Sistemas de Manufatura através da Metodologia MFG/PFS e Regras de Produção. 1993. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.MIYGI, Paulo Eigi. Análise Quantitativa de Sistemas de Manufatura: Abordagem Baseada em redes GSPN. 1993. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
Anholon, R.; LIMA JUNIOR, O. F.; Batocchio, A.;SILVA, J. R.; Porto, A.J.V.. Proposta de Método, Centrado no Humano, para a Transformação Digital de Processos Suportados por Sistemas Legados. 2025. Tese (Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
GUDWIN, R. R.; Costa, P. D. P.; Fantinato, D.G.; Simões, A.S.;SILVA, JOSÉ REINALDO. DCT: Uma Ferramenta para Construção de Arquiteturas Cognitivas Distribuídas e o Desenvolvimento de Cognitive Twins. 2024. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.
SILVA, JOSÉ REINALDO; SANTOS FILHO, D. J.; Siqueira, F. L.; Silva, J. M.; Ordonez, R.E.C.. Modelagem do Processo de Co-criação de Valor para o Design de Sistemas de Serviço Automatizados. 2023. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
COSTA JR., C. T.; Silva, B.M.A.;SILVA, JOSE R.; Vieira, P.; BARRA JR., W.; Vieira, J.P.A.. ESTAÇÃO SUSTENTÁVEL E INTELIGENTE DE CARREGAMENTO RÁPIDO DE VEÍCULOS ELÉTRICOS. 2022. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.
Ordonez, R.E.C.; Anholon, R.; Batocchio, A.; Zancul, E.;José Reinaldo Siliva. Proposta de modelo para implantação de projetos de digitlização. 2022. Tese (Doutorado em Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, JOSE REINALDO; Manassero, G.; COSTA, C. T.;PINA, I. B.MARUYAMA, N.. Método para o Design Integrado de Sistemas Smart Grid: uma abordagem sistêmica baseada em modelos. 2021. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
Batocchio, A.; LIMA JUNIOR, O. F.; Ordonez, R.E.C.;SILVA, JOSÉ REINALDO; Coghi, M.A.. Uma Estratégia de Direcionamento para Transformação Digital em Cadeia de Suprimentos. 2021. Tese (Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, JOSÉ REINALDO; Luders, L.; Fernandes, M.A.; Malaquias, F.;JULIA, S.. Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer. 2020. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.
JULIA, S.; Rosa, P. R.; LOPES, C. R.;SILVA, JOSÉ REINALDO; Luders, L.. Verificação de Requisitos Funcionais e não Funcionais em Arquiteturas Orientadas a Serviços. 2020. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.
COSTA JR., C. T.;SILVA, J. R.; Tostes, M. E. L.; Vieira, P.; Taranto, G. N.; Neto, J. C. L. Sistema Inteligente de Balanceamento de Fases em Redes de Baixa Tensão para Unidades Consumidoras Monofásicas. 2019. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.
COSTA JR., C. T.; Affonso, C.A.;SILVA, J. R.; Alencar, R.J.N.; OLIVEIRA, WERBESTON. Smartlvgrid - Uma plataforma aplicada à convergência Smart Grid de circuitos legados de baixa tensão. 2019. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará.
Basilio, J.C.S.; Carvalho, L.K.; Cunha, A.E.C.; Maia, C.A.;SILVA, J. R.. Codiagnosability of Networked Discrete Event Systems with Timing Structure. 2018. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.
JULIA, R. M. S.;JULIA, S.; LOPES, C. R.; Fernandes, M.A.;SILVA, J. R.; GAMA, J.. Uma Abordagem para Avaliar o Desempenho de Algoritmos Baseada em Simulações Automáticas de Modelos. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia.
SANTOS FILHO, D. J.; Silva, L.D.; Spina, E.; Morandin Jr., O.;SILVA, J. R.. Modelagem e Análise de Requisitos de Sistemas Automatizados Usando UML e Redes de Petri. 2017. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
PERKUSICH, A.; Gorgônio, K. C.; ALMEIDA, H. O.; LIMA, A. M. N.;SILVA, J. R.. Um Método para o Desenvolvimento e Certificação de Sistemas Embarcados Baseado em Redes de Petri Coloridas e Casos de Garantia. 2017. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
Spinola, M.M.; Librantz, A.F.H.; Pessoa, M.; Rodrigues, L.C.A.;SILVA, JOSE REINALDO. Oportunidades de atuação na cadeia de fornecimento de sistemas de automação para indústria 4.0 no Brasil.. 2017. Tese (Doutorado em Engenharia de Produção) - Escola Politécnica da USP.
COZMAN, F. G.; SILVA, F. S. C.;TONIDANDEL, F.; VAQUERO, T. S.;SILVA, JOSÉ REINALDO. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri. 2016. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
Silva, L.D.; PERKUSICH, A.; Gorgônioo, K.C.; ALMEIDA, H. O.; LIMA, A. M. N.;SILVA, JOSÉ REINALDO. Um método para o desenvolvimento e certificação de sistemas embarcados baseado em redes de Petri coloridas e casos de garantia. 2016. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.
SILVA, J. R.; GUDWIN, R. R.;TONIDANDEL, F.; SILVA, F. S. C.; SANTOS FILHO, D. J.. Modelagem Hierárquica e Análise de Requisitos de Problemas Reais em Planejamento Automático. 2015. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
Morandin Jr., O.; FERNANDES, R. A. S.; Romero, R.A.F.;SILVA, J. R.; PINTO, A. S. R.. Uma estrutura de vizinhança baseada em árvore de cobertura aplicada em uma colaboração de algoritmo genético e VNS para a minimização de MAKESPAN em problemas de programação reativa da produção. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
Morandin Jr., O.; TAVARES NETO, R. F.; PAZELLI, T. T.;SILVA, J. R.; PINTO, A. S. R.. Arquitetua Holônica de Controle para o Despacho Multicritérios de AGVs. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Federal de São Carlos.
Alves, M.; Meneghini, J.R.; Fancello, E. A.; Rojas, P. A. M.;SILVA, J. R.. Um programa de elementos finitos em GPU e orientado a objetos para análise dinâmica não-linear de estruturas. 2014. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
COZMAN, F. G.;SILVA, J. R.BARROS, L. N. B.; SANTOS, P. E.; Revoredo, K.C.. Interpretação de Imagens cm Raciocínio Espacial Qualitativo Probabilístico. 2014. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
SANTOS FILHO, D. J.; Morandin Jr., O.; Villani, E.; JUMQUEIRA, F.;J. Reinaldo Silva. Framework para Modelagem e Verificação Formal de Programas de Controle de Sistemas Instrumentados de Segurança. 2014. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
Batocchio, A.; AGOSTINHO, O. L.; BRESCIANI FILHO, E.; COSTA, M. A. B.;SILVA, J. R.. Proposta de Modelo de Gestão de Estoque em Empresa de Manufatura Contratada Utilizando Sistema de Apoio à Decisão. 2013. Tese (Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, J. R.MIYAGI, P. E.TSUZUKI, M. S. G.; PINHANEZ, C. S.; BERNARDES, R. C.. Modelagem e Design de Sistemas de Serviço para Automação. 2013. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; ANDRADE, B. L. R.; Batocchio, A.;TAVARES, J. J. P. Z. S.; NIEVOLA, J. C.. Modelagem de processo de Supply chain iinformado usando tecnologia RFID: estudo de caso para a cadeia do agronegócio. 2013. Tese (Doutorado em Engenharia Naval) - Escola Politécnica da USP.
COZMAN, F. G.;MARUYAMA, N.SILVA, J. R.; Wasserman, R.; Revoredo, K.C.. Lógicas Probabilísticas com Relações de Independência: Representação de Conhecimento e Aprendizado de Máquina. 2011. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; COZMAN, F. G.;MARUYAMA, N.BARROS, L. N. B.Beck, J.C.. Análise de Pós-design para Aplicações de Planejamento em IA. 2011. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
Silva, I.N.; Flauzino, R.A.; Nicoletti, M.C.;SILVA, J. R.; Romero, R.A.F.. Abordagem Neuro-Genética para Mapeamento de Problemas de Conexão em Otimização Combinatória. 2009. Tese (Doutorado em Engenharia Elétrica) - Escola de Engenharia da USP-São Carlos.
SILVA, J. R.; SANTOS FILHO, D. J.;MARUYAMA, N.; PERKUSICH, A.;Dórea, C.E.T. Verificação Formal de Sistemas Discretos Distribuídos. 2009. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; Spinola, M.M.;FERASOLI, H.ROSÁRIO, J. M.TSUZUKI, M. S. G.. Reduzindo a Volatilidade de Requisitos com o Volare. 2008. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
SANTOS FILHO, D. J.;MIYAGI, P. E.SILVA, J. R.ARAKAKI, J.; Batocchio, A.. Arquitetura de Sistema de Controle para Sistemas Produtivos Flexiveis e Distribuidos. 2008. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
Batocchio, A.; Novaski, O.; Carvalho, M.F.H.;SILVA, J. R.; Porto, A.J.V.. Desenvolvimento de um Sistema de Informaçao para o Planejamento de Estoques por meio da Simulação em Computador. 2006. Tese (Doutorado em Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
ROZENFELD, H.;SILVA, J. R.. Modelo de Referência para o Desenvolvimento de Produtos Mecatrônicos: Proposta e Aplicações. 2006. Tese (Doutorado em Engenharia de Produção) - Universidade de São Paulo.
SANTOS FILHO, D. J.;MIYAGI, P. E.SILVA, J. R.. Método de Programação de Sistemas de Manufatura do Tipo Job Shop Dinâmico Não-Determinístico. 2006. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
TURNELL, M. F. Q. V.; MERCANTINI, J. M.;SILVA, J. R.; GOMES, A. S.; BRASILEIRO, F. V.; LULA JÚNIOR, B.; SOUZA, B. A.. Modelo Conceitual de Cenarios de Acidentes Causados pelo Erro Humano em Sistemas Industriais Critics com o Foco na Concepcao de Interfaces Ergonomicas. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.
SILVA, J. R.; Torikai, D.; Ibrahim, R.C.; Batocchio, A.; SOUZA, L. E.. Fundamentos da Realimentação de Informações pela Manufatura Informada. 2006. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; KASSAB JUNIOR, F.. Escalonamento no Fieldbus. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
KÜNZLE, L. A.;SILVA, J. R.; Botelho, S.S.C.; Luders, R.;Castilho, M.. Redes de Planos: uma proposta para a solução de problemas de planejamento em Inteligência Artificial usando Redes de Petri. 2005. Tese (Doutorado em Informática) - Universidade Federal do Paraná.
ROSÁRIO, J. M.; Batocchio, A.;SILVA, J. R.; Porto, A.J.V.;FERASOLI, H.. Implementação de Ferramentas para Capacitação e Pesquisa em Automação Industrial Utilizando Conceitos de E-learning. 2005. Tese (Doutorado em Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, J. R.; SILVA, F. S. C.;SICHMAN, J. S.; MELO, A. C. V.; GUILHERME, I. R.. Um Modelo Formal para a Quinta Disciplina. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
ROSÁRIO, J. M.; Baltazhar, J.M.;ROMANO, V.SILVA, J. R.; Bueno, S.S.. Modelagem, Simulação e Programação Offline de Robôs e Mecanismos Mecatrônicos Integrados a Células de Manufatura Flexíveis. 2004. Tese (Doutorado em Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, J. R.ROSÁRIO, J. M.DRIRA, K.. Proposta de uma Rede de Compartilhamento de Habilidades no Ambiente da Manufatura. 2003. Tese (Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.
SILVA, J. R.; KÜNZLE, L. A.; CASTRILHO, M. A.. Relacionamentos entre Planejamento em Inteligência Artificial e Alcançabilidade em Redes de Petri. 2003. Tese (Doutorado em Engenharia Elétrica) - Centro Federal de Educação Tecnológica do Paraná.
SILVA, J. R.; MONARD, M. C.; RILLO, M.; SILVA, F. S. C.; FRANCHIN, M. F.. Desenvolvimento e Implementação de um Sistema de Planejamento Baseado em Casos. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; MASIERO, P. C.; PRADO, A. F.; FERREIRA, J. C. E.; REZENDE, S. O.. Um Framework para Simulação do Fluxo de Peças em Sistemas Flexíveis de Fabricação. 2003. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.; SILVA, F. S. C.; FRANCHIN, M.; MONARD, M. C.. Desenvolvimento e Implmentação de um Sistema de Planejamento Baseado em Casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.. Desenvolvimento e Implementação de um Sistema de Planejamento Baseado em Casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; MASIERO, P. C.. Um Framework para Simulação do Fluxo de Peças em Sistemas Flexíveis de Fabricação. 2002. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
SILVA, J. R.. Redes de Petri Orientadas a Objetos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba.
SILVA, J. R.; SILVA, F. S. C.; COZMAN, F. G.; SANDRI, S. A.; MELO, A. C. V.. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de Caso. 2000. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
SILVA, J. R.SICHMAN, J. S.; RILLO, M.; PEREIRA, A. E. C.; WAINER, J.. Especificação, Execução e Raciocínio sobre Ações e Planos Utilizadno a Lógica de Transações. 2000. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.; MONARD, M. C.; ANDRADE, M. T. C.; SOUZA, L. E.. Um Método de Planejamento Usando Eventos Externos e sua Integração com o Sistema de Controle para Agentes Móveis. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.; SILVA, F. S. C.. Especificação, Execução e Raciocínio sobre Ações e Planos Utilizando a Lógica de Transações. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.; KASSAB JUNIOR, F.; MONARD, M. C.; SOUZA, J. N.. Planejamento Baseado em Expectativas. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.MIYAGI, P. E.ROSÁRIO, J. M.; INAMASU, R. Y.;HORIKAWA, O.. Controle de Sistemas Antropocêntricos em Produção Baseado em Redes de Petri Interpretadas. 1998. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; Mendez, J.R.; Haber, A.A.; Abalo, R.A.; jMandaras, V.P.; Hernandez, A.G.. Orientación a objeto em PLCs para aumentar la seguridad de los sistemas de control distribuido. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de Oriente.
SILVA, J. R.MIYAGI, P. E.; RILLO, M.; MAIA, A. C. P.; HIRATA, C. M.. Estruturação do Problema de Planejamento em uma Abordagem Baseada em IA e no Formalismo de Redes de Petri. 1997. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; LIMA, A. M. N.; PERKUSICH, A.; TURNELL, M. F. Q. V.; CURY, J. E. R.; TAZZA, M.; FIGUEIREDO, J. C. A.; SCHIEL, U.. Uma Nova Abordagem para a Síntese de Supervisores de Sistemas a Eventos Discretos. 1996. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba.
SILVA, J. R.LUCENA, C. J. P.. Um Ambiente de Apoio ao Design Cooperativo de Software. 1996. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
Takahata, A.K.; Suyama, R.; Genari, E.F.G.;SILVA, JOSE R.; Duarte, L.T.. Método Híbrido para Conceituação Inicial de Sistemas Mecânicos Complexos Apoiada por Inteligência Artificial. 2025. Exame de qualificação (Doutorando em Engenharia da Informação) - Universidade Federal do ABC.
Ordonez, R.E.C.; Batocchio, A.;SILVA, J. R.. Auto-Reprogramação do Sistema de Produção Baseado em Simulação nos Moldes da Industria 4.0. 2023. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade Estadual de Campinas.
Santos Filho, D.J.; Tsuzuki, M. S. G.;SILVA, J. R.. Modelagem do Processo de Co-criação de Valor para o Design de Sistemas de Serviço Automatizados. 2021. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, JOSÉ REINALDO; Malaquias, F.;JULIA, S.. Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Single-player e Multiplayer. 2020. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.
JULIA, S.SILVA, J. R.; Rosa, P. R.. Cálculo dos Sequentes da Lógica Linear aplicado às WorkFlow nets para a Verificação de Requisitos Funcionais e não Funcionais em Arquiteturas Orientadas a Serviços. 2019. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.
PELLINI, E. L.; SANTOS FILHO, D. J.;SILVA, J. R.. Método de Design Formal aplicado ao Ciclo de Vida de Sistemas Smart Grid. 2018. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
Silva, L.D.; PERKUSICH, A.; LIMA, A. M. N.; Gorgônioo, K.C.;SILVA, JOSÉ REINALDO. Um método para certificação de sistemas embarcados baseado em Redes de Petri coloridas e casos de garantia. 2016. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.
COSTA JR., C. T.;SILVA, J. R.; Tostes, M. E. L.; Vieira, P.; Neto, J. C. L; Taranto, G. N.. Sistema Inteligente de Balanceamento de Fases em Redes de Baixa Tensão para Unidades Consumidoras Monofásicas. 2015. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Pará.
JULIA, R. M. S.;SILVA, J. R.JULIA, S.; LOPES, C. R.. . Modelagem e Análise de Algorítmos Baeada em Redes de Petri Coloridas e Hierárquicas. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Uberlândia.
Spinola, M.M.;SILVA, J. R.; Pessoa, M.. Análise das Oportunidades de Atuação na Cadeia de Fornecedores de Sistemas de Automação da Manufatura. 2015. Exame de qualificação (Doutorando em Engenharia de Produção) - Escola Politécnica da USP.
SILVA, J. R.; JUNQUEIRA, F.; SANTOS FILHO, D. J.. Análise de Invariantes em Sistemas Discretos: uma abordagem baseada em Redes de Petri. 2015. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; COZMAN, F. G.;TONIDANDEL, F.. REDES DE PETRI E MÉTODOS GOAL-ORIENTED PARA PROBLEMAS DE PLANEJAMENTO E ESCALONAMENTO. 2014. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; COZMAN, F. G.; SILVA, F. S. C.. Planejamento Automático Usando Modelos Orientados a Objetos. 2013. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
COZMAN, F. G.;Santos, P. E.SILVA, J. R.. Interpretação de Imagens Usando Lógica Probabilística. 2012. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
Delgado, K.V.;BARROS, L. N. B.SILVA, J. R.. Planejamento prbabilístico usando programação diinâmica em tempo real: uma análise comparativa no RDDL.sim. 2012. Exame de qualificação (Doutorando em Ciencia da Computacao) - Universidade de São Paulo.
Alves, M.;SILVA, J. R.; Meneghini, J.R.. Desenvolvimento de um programa de elementos finitos orientado a objetos para análise de impacto estrutural utilizando processamento em GPU. 2011. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; SANTOS FILHO, D. J.;MARUYAMA, N.. Verificação Formal de Sistemas Discretos Distribuídos. 2008. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
TURNELL, M. F. Q. V.; LIMA, A. M. N.;SILVA, J. R.; FIGUEIREDO, J. C. A.; Santoni, C.. Processo para Concepção de Estratégias para Prevenção do Erro em Sistemas Industriais. 2008. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.
SILVA, J. R.TONIDANDEL, F.; COZMAN, F. G.. Pós-design para Problemas de Planejamento Automático: Uma abordagem combinando diagnóstico, realidade virtual e reutilização de rationales. 2008. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
Fernandez, F.J.R.; Sales, R.M.;SILVA, J. R.. Inteligencia Computacional Aplicada a Adaptação do Modelamento Matemático do Processo de Laminação a Frio de Aços Planos. 2008. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.
SANTOS FILHO, D. J.;MIYAGI, P. E.SILVA, J. R.. Arquitetura de Sistema de Controle para Sistemas Produtivos Flexiveis e Distribuidos. 2007. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.. Projeto Estruturado para Validação de Produtos Customizados: Aplicação de Redes de Petri ao Sistema de Informação EPC. 2005. Exame de qualificação (Doutorando em Engenharia Mecatrônica) - Universidade de São Paulo.
SANTOS FILHO, D. J.;MIYAGI, P. E.SILVA, J. R.. . Método de programação de sistemas de manufatura do tipo Job Shop dinâmico não determinístico. 2005. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; MERCANTINI, J. M.; TURNELL, M. F. Q. V.; ROCHA NETO, J. S.; GOMES, A. S.; BRASILEIRO, F. V.; LULA JÚNIOR, B.; SOUZA, B. A.. Modelo Conceitual de Cenários de Acidentes Causados pelo Erro Humano em Sistemas Industriais Críticos. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.
SILVA, J. R.; BOTTER, R. C.. Modelagem Sistêmica e Planejamento Logístico da Cadeia de Suprimentos de Petróleo e Derivados Aplicados à Bacia de Campos e Região de Influência. 2004. Exame de qualificação (Doutorando em Engenharia Naval e Oceânica) - Universidade de São Paulo.
SILVA, J. R.; NAVEIRO, R. M.. Proposta de um Ambiente Colaborativo de Apoio aos Processos de Ensino/Aprendizagem do Projeto. 2003. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.
SILVA, J. R.. Relacionamentos entre Planejamento em Inteligência Artificial e Alcaçabilidade em Redes de Petri. 2003. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.
SILVA, J. R.; RILLO, M.. Desenvolvimento e Implementação de um Sistema de Planejamento Baseado em Casos. 2001. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; PERKUSICH, A.; FIGUEIREDO, J. C. A.. Especificação e Análise de Sistema Concorrentes Utilizando Redes de Petri e Orientação a Objetos. 1999. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal da Paraíba.
SILVA, J. R.; TURNELL, M. F. Q. V.. Um Modelo Baseado em Redes de Petri para Banco de Dados em Tempo-Real Baseados em Objetos. 1998. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal da Paraíba.
SILVA, J. R.. Proposta de uma Rede de Petri extendida (Ghenesys) como Ferramenta e Representação Formal para Designs de Sistemas Automatizados. 1998. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.; ANDRADE, M. T. C.. Um Método de Planejamento Usando Eventos Externos e sua Integração com o Sistema de Controle para Agentes Móveis. 1998. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.. Controle de Sistemas Antropocêntricos em Produção Baseado em Redes de Petri Interpretadas. 1998. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.. Desenvolvimento Ex Ante de um Planejador baseado na Lógica de Transações. 1996. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.; RILLO, M.. Planejamento de Atiividades Baseado em Expectativas. 1996. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.
SILVA, J. R.. Seleção de Meta-Regras para Alteração Dinâmica do Despacho da Produção. 1995. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.. Estruturação do Problema de Planejamento em uma Abordagem Baseada em IA e no Formalismo de Redes de Petri. 1994. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.. Contribuição para a Representação de Features Paramétricas Aplicada a Sistemas CAD/CAE/CAM. 1993. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
SILVA, J. R.. Controle de Ordens em Sistemas Integrados de Manufatua. 1993. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.
Mendes, A.B.; Bahiense, L.;SILVA, JOSE REINALDO. APLICAÇÃO DE TÉCNICAS DE INTELIGÊNCIA ARTIFICIAL PARA A RESOLUÇÃO DE PROBLEMAS DE ROTEAMENTO DE VEÍCULOS. 2024. Exame de qualificação (Mestrando em Engenharia Naval) - Escola Politécnica da USP.
Garcia, C.;SILVA, J. R.; Segundo, A.. Integração da plataforma de aquisição de dados PCI-6229 com a nuvem AWS para monitoramento em tempo real. 2024. Exame de qualificação (Mestrando em Engenharia Elétrica) - Escola Politécnica da USP.
Batocchio, A.;SILVA, JOSÉ REINALDO; Ordonez, R.E.C.. Proposta de Arquitetura para Integração e Gestão de Dados na Indústria 4.0: Alcançando os Níveis 4, 5 e 6 da Índice de Maturidade da ACATECH. 2024. Exame de qualificação (Mestrando em Engenharia Mecânica) - Universidade Estadual de Campinas.
Zancul, E.; Siqueira, F. L.;SILVA, JOSÉ REINALDO. Model-Based Agile Framework for automated systems design in frequent evolution. 2024. Exame de qualificação (Mestrando em Engenharia Mecânica) - Escola Politécnica da USP.
LIMA JR., W. T.; Prati, R.C.;SILVA, JOSÉ REINALDO; Kunkel, M. E.. DESENVOLVIMENTO DE HABILIDADES POR MEIO DE SISTEMAS COGNITIVOS ARTIFICIAIS E DA ROBÓTICA SOCIAL NO CAMPO DA EDUCAÇÃO TECNOLÓGICA. 2023. Exame de qualificação (Mestrando em Mestrado Profissional em Inovação Tecnológica) - Universidade Federal de São Paulo.
LIMA JR., W. T.; Prati, R.;SILVA, JOSÉ REINALDO. MOBILIDADE AUTÔNOMA: ARQUITETURA DE AUTONOMIA COGNITIVA ARTIFICIAL PARA A TOMADA DE DECISÃO OTIMIZADA PARA DIREÇÃO NÃO TRIPULADA. 2023. Exame de qualificação (Mestrando em Inovação Tecnológica) - Universidade Federal de São Paulo.
SICHMAN, J. S.; Junqueira, L.;SILVA, JOSÉ REINALDO. Combinando Agentes BDI e Agentes Otimizadores para Solucionar o Problema de Roteamento e Produção. 2023. Exame de qualificação (Mestrando em Engenharia Elétrica) - Escola Politécnica da USP.
Garcia, C.; Segundo, A.;SILVA, J. R.. IIoT e a nuvem: Implementação de uma solução de coleta e transferência de dados em tempo real para a nuvem AWS usando Python. 2023. Exame de qualificação (Mestrando em Engenharia Elétrica) - Escola Politécnica da USP.
SILVA, J. R.; Bruschi, S.M.; Spinola, M.M.. Cloud Manufacturing Services (CMfgS): Modelando Sistemas Produtivos Automatizados na Nuvem. 2022. Exame de qualificação (Mestrando em Engenharia Mecânica) - Escola Politécnica da USP.
J. Reinaldo SilvaMARUYAMA, N.; JUMQUEIRA, F.. A Multilayer Architecture to Design Assistive Smart Homes. 2021. Exame de qualificação (Mestrando em Engenharia Mecânica) - Escola Politécnica da USP.
SILVA, J. R.; M.L.Netto; SANTOS FILHO, D. J.. INTENTIONAL MODELING FOR SERVICE SYSTEMS: AN INTENTION-BASED SERVICE DESIGN DISCIPLINE. 2015. Exame de qualificação (Mestrando em Engenharia Mecânica) - Escola Politécnica da USP.
Margi, C. B.; Ruggiero, W.;SILVA, J. R.. Redes de Sensores Sem Fio: Análise de Desempenho da Camada de Enlace. 2013. Exame de qualificação (Mestrando em Engenharia Elétrica) - Escola Politécnica da USP.
COZMAN, F. G.; SANTOS, P. E.;José Reinaldo Siliva. Raciocínio Lógico e Espacial em Robótica Móvel. 2013. Exame de qualificação (Mestrando em Engenharia Mecânica) - Escola Politécnica da USP.
José Reinaldo SilivaBARETTO, M. R. P.; COZMAN, F. G.. Método de Extração de Casos de Teste Utilizando Redes de Petri Modulares e Método de Validação de Resultados de Teste Utilizando OWL. 2013. Exame de qualificação (Mestrando em Engenharia Mecânica) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Pessoa, M.A.O.. Gestão de Ativos e Serviços de TI no Ambiente Distribuido - Uma Abordagem Usando Metodologia GQM. 2007. Monografia (Aperfeiçoamento/Especialização em Programa de Educação Continuada em Engenharia) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Pessoa, M.A.O.. Procedimentos para Desenvolvimento de Software de Controle para Máquinas de Manufatura com CLP Aplicando Redes de Petri. 2007. Monografia (Aperfeiçoamento/Especialização em Programa de Educação Continuada em Engenharia) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Pessoa, M.A.O.. Gerenciamento de Riscos em Projetos de Máquinas de Manuseio de Minérios. 2007. Monografia (Aperfeiçoamento/Especialização em Programa de Educação Continuada em Engenharia) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Rios, M.P.G.. Os desafios da inovaçã tecnológica em um ambiente regulatório. 2007. Monografia (Aperfeiçoamento/Especialização em Programa de Educação Continuada em Engenharia) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Pessoa, M.A.O.. Automação de procedimentos em unidades de petróleo utilizando etiquetas inteligentes e dispositivos móveis sem fio. 2007. Monografia (Aperfeiçoamento/Especialização em Programa de Educação Continuada em Engenharia) - Escola Politécnica da USP.
SANTOS FILHO, D. J.;SILVA, J. R.; Rios, M.P.G.. Estudo e Aplicação de Tecnologia de E-learning em Ambiente Corporativo Voltado para Educação Continuada. 2007. Monografia (Aperfeiçoamento/Especialização em Programa de Educação Continuada em Engenharia) - Escola Politécnica da USP.
TAVARES, J. J. P. Z. S.; Finzi Neto, R. N.;SILVA, JOSÉ REINALDO. INTEGRAÇÃO DE LEITOR NFC DE CELULAR COM BANCO DE DADOS DISTRIBUÍDO HYPERLEDGER IROHA POR COMUNICAÇÃO MQTT. 2024. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecatrônica) - Universidade Federal de Uberlândia.
TAVARES, J. J. P. Z. S.; Finzi Neto, R. N.;SILVA, J. R.. Internet das coisas aplicada em sistemas eletropneumáticos no controle de atuadores utilizando os protocolos ZigBee e MQTT. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecânica) - Universidade Federal de Uberlândia.
TAVARES, J. J. P. Z. S.; Finzi Neto, R. N.;SILVA, JOSÉ REINALDO. Framework para Controle de Sistemas Industriais via MQTT. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia Mecatrônica) - Universidade Federal de Uberlândia.
SILVA, J. R.. Estruturas Flutuantes para a Exploração de Campos de Petróleo no Mar(FPSO): Apoio à Decisão na Escolha do Sistema. 2002. Outra participação, Universidade de São Paulo.
SILVA, J. R.. Verificação de Requisitos de Sistemas Utilizando Redes de Petri. 2002. Outra participação, Universidade de São Paulo.
SILVA, J. R.; ANDRADE, M. T. C.. Previsões Financeiras através de Sistemas Neuronebulosos. 2001. Outra participação, Universidade de São Paulo.
SILVA, J. R.. GheneeSys: Uma rede estendida orientada a objetos para o projeto de Sistemas Discretos. 2001. Outra participação, Universidade de São Paulo.
SILVA, J. R.; RILLO, M.. Planejamento Baseado em Casos usando Lógica de Transações. 1998. Outra participação, Universidade de São Paulo.
SILVA, J. R.. Análise da Propriedade Distância Síncrona na Rede Ghenesys. 1998. Outra participação, Universidade de São Paulo.
SILVA, J. R.. O Algorítmo Genético na Otimização do Projeto Estrutural de Embarcações. 1998. Outra participação, Universidade de São Paulo.
SILVA, J. R.. Aplicação da Metodologia PFS/MFG a Sistemas de Produção Enxuta (Lean Manufacturing Systems). 1998. Outra participação, Universidade de São Paulo.
Gioda, A.;SILVA, J. R.; Martins, J.V.; Albrecht, R.I.; Itri, R.. Concurso público para contratação de professor no IFUSP. 2025. Universidade de São Paulo.
Pqueira, J.R.C.;SILVA, JOSÉ R.; KASSAB JUNIOR, F.; Silva, M.M.; Costa, R.R.. Concurso público para contratação de professor ns Escola Politecncica - Depto de Enga. Naval e Oceânica. 2025. Escola Politécnica da USP.
J. Reinaldo Silva; GOMI, E.; Profito, F.J.. Professor substituto. 2024. Escola Politécnica da USP.
SICHMAN, J. S.; BRANCO, K. C.; Angélico, B.A.;J. Reinaldo Silva; PELLINI, E. L.. Professor doutor. 2024. Escola Politécnica da USP.
del Foyo, Pedro M. G.;MARUYAMA, N.SILVA, J. R.. Concurso para contratação de professor na área de Sistemas Embarcados- UFPE. 2018. Universidade Federal de Pernambuco.
del Foyo, Pedro M. G.;MARUYAMA, N.SILVA, J. R.. Concurso para contratação de professor na área de controle e automação - UFPE. 2018. Universidade Federal de Pernambuco.
Becker, M; TRINDADE, M. A.; Góes, L. C. S.; DUTRA, M. S.;SILVA, JOSE REINALDO. Concurso público para professor doutor. 2016. Escola de Engenharia da USP-São Carlos.
FOYO, P. M. G. D.SILVA, J. R.; CAJUEIRO, J. P. C.. Concurso Público de Provas e Títulos. 2015. Universidade Federal de Pernambuco.
ANDRADE, M. T. C.; Hirakawa, A.; Sementille, A.C.; Tokarnia, A.M.;SILVA, J. R.. Concurso para Professor Doutor em Engenharia de Computação. 2011. Escola Politécnica da USP.
FERASOLI, H.SILVA, J. R.; Valêncio, C.R.. Concurso público para contratação de professor assistente doutor. 2009. Universidade Estadual Paulista Júlio de Mesquita Filho.
SILVA, J. R.. Concurso público para contratação de docentes. 2007. Centro Universitário Fundação Santo André.
SILVA, J. R.. Concurso público para contratação de docentes. 2006. Universidade Federal de São Carlos.
Avolio, E.; Diniz, A.E.;SILVA, J. R.. Concurso Público para Professor Assistente. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho.
SILVA, J. R.. Processo Seletivo para Contratação de Docente Temporário MS-1 em RTP. 1999. Escola Politécnica da Universidade de São Paulo.
Porto, A.J.V.; Borges, B-H.V.; Castro Neto, J.C.;SILVA, JOSÉ R.; Brandi, H.S.. Padrões de tempo e frequencia: desenvolvimento e aplicações. 2018. Escola de Engenharia da USP-São Carlos.
GONÇALVES FILHO, E. V.;SILVA, J. R.ROSÁRIO, J. M.; COELHO, R. T.; SICHIERI, E. P.. Sistema de Processamento de imagagens para Manufatura. 2013. Escola de Engenharia da USP-São Carlos.
Silva, I.N.;SILVA, J. R.; Pinho, S.Z.; Fernandes, J.C.; Lauris, J.R.P.. Concurso para livre docente. 2010. Universidade Estadual Paulista Júlio de Mesquita Filho.
Sato, L.M.; Marar, J.F.;SILVA, J. R.; Cansian, A.M.; Santana, R.H.C.. Concurso para livre docente. 2010. Universidade Estadual Paulista Júlio de Mesquita Filho.
Fernandes, J.C.; Santos, J.E.G.; Pessoa, M.S.P.;SILVA, J. R.; Traina, A.J.M.. Concurso para livre docente. 2010. Universidade Estadual Paulista Júlio de Mesquita Filho.
Marar, J.F.; Machado, J.F.;SILVA, J. R.; Santana, R.H.C.; Sato, L.M.. Concurso para livre docente. 2010. Universidade Estadual Paulista Júlio de Mesquita Filho.
SILVA, JOSE REINALDO; Mendes, A.B.; Junqueira, L.. Processo seletivo para professor substituto. 2023. Escola Politécnica da USP.
PELLINI, E. L.; Albertini, B. C.;SILVA, J. R.. Processo seletivo para professor substituto. 2022. Escola Politécnica da USP.
Margi, C. B.;J. Reinaldo Silva; KASSAB JUNIOR, F.. Processo seletivo para professor substituto. 2021. Escola Politécnica da USP.
Orientou
Planejamento de Missões Aplicado ao Voo de Drones; Início: 2024; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Framework Ágil para Modelagem de Sistemas Automatizados em Frequente Evolução; Início: 2022; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP; (Orientador);
Um Orquestrador Inteligente para o Gerenciamento de Redes de Serviço; Início: 2024; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP; (Orientador);
ILSeD: Intelligent Layered Service Design; Início: 2022; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP; (Orientador);
Cloud Manufacturing management based on a service network; 2024; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
Casa Conecatada modelada com Intelligent Robotic Process Automation (IRPA); 2022; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Arquitetura de Serviço para a Manufatura em Nuvem; 2018; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
An Intention-based Service Design Discipline for the Product-Service Architecture; 2016; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
Extração de Casos de Teste Utilizando Redes de Petri e Validação de Resultados Usando OWL; 2015; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
GHENeSys: Uma proposta de rede unificada para a modelagem de sistemas; 2012; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Modelagem e Análise de Performance de Sistemas Flexíveis de Manufatura Baseado em Redes de Petri Temporizadas: Estudo de Caso na Indústria Automobilística; 2008; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Modelagem Sistêmica da Melhoria Contínua de Processos Industriais Utilizando Seis Sigma e Redes de Petri; 2008; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
PROPOSTA DE MÉTODO PARA GESTÃO DE REQUISITOS DE SISTEMAS INTEGRANDO MODELAGEM DE NEGÓCIO E LINGUAGENS FORMAIS; 2008; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
itSIMPLE: Ambiente Integrado de Modelagem e Análise de Domínios de Planejamento Automático; 2007; Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Eliciação e Comunicação de Requisitos de Domínios Disjuntos: Estudo de Caso para a Área Médica; 2007; Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Gestão de Projetos e Engenharia de Requisitos; 2007; Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Automação Informada Baseada em Redes de Petri e RFID: Estudo de caso para um Sistema de Bibliotecas de Acervos; 2007; Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Escritorio de Gerenciamento de Projeto (PMO) como estratégia da customização e soluções na Industria eletroeletrônica; ; 2007; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Proposta de um Modelo para Extração de Informação de Bancos Multimídias através da Atribuição de Semântica a Eventos; 2005; 58 f; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Geração de Conhecimento Explícito na Manufatura Informada; 2005; 0 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Modelagem Orientada a Objetos de Sistemas a Eventos Discretos: Estudo de Caso na Síntese de Controle de Sistemas Prediais; 2004; 153 f; Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Verificação de Requisitos de Sistemas Uitilizando Redes de Petri; 2002; 66 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
GHENESYS : Uma Rede Estendida Orientada a Objetos Para Projeto de Sistemas Discretos; 2001; 127 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Sistemas de Informação : Estudo de Caso no Fluxo de Materiais para a Fabricação de Blanks; 2000; 107 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Modelagem de Sistemas Complexos Automatizados por uma Arquitetura Baseada em Íntegrons; 2000; 100 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Modelado en PN y programación de PLCs en la industria azucarera cubana; 2000; 0 f; Dissertação (Mestrado em Ingeneria de Control e Atuaomacion) - Universidade de Oriente, ; Coorientador: Jose Reinaldo Silva;
Análise da Propriedade de Distância Síncrona na Rede GHENESYS; 1998; 89 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Analise de Invariantes na Rede de Petri Ghenesys; 1997; 77 f; Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Newell e Simon - Racionalidade e Solução de Problemas: A Teoria Científica da Racionalidade em Inteligência Artificial; 1994; 581 f; Dissertação (Mestrado em Filosofia) - Universidade de São Paulo, ; Coorientador: Jose Reinaldo Silva;
Técnicas de Inteligência Artificial Aplicadas à Supervisão de Operação de Válvulas e Bombas; 1991; 95 f; Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo, ; Coorientador: Jose Reinaldo Silva;
Modelagem do Processo de Co-criação de Valor para o Design de Sistemas de Serviço Automatizados; 2023; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Método de Design Integrado de Sistemas Smart Grid: Uma abordagem sistêmica baseada em modelos; 2021; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
Modelagem e Análise de Requisitos de Sistemas Automatizados Usando UML e Redes de Petri; 2017; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Feeder Balance and the Design of Urban Smart Grid Systems; 2017; Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará, ; Coorientador: Jose Reinaldo Silva;
Modelagem e Análise de Conhecimento para Planejamento Automático: Uma Abordagem baseada em GORE e Redes de Petri; 2016; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Modelagem Hierárquica e Análise de Requisitos de Problemas Reais em Planejamento Automático; 2015; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Modelagem e Design de Sistemas de Serviço para Automação; 2013; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
Modelagem de Processo "Supply Chain" informado usando Tecnologia RFID: Estudo de Caso paar a Cadeia do Agronegócio; 2013; Tese (Doutorado em Engenharia Naval) - Escola Politécnica da USP, ; Orientador: Jose Reinaldo Silva;
Processo de Design Baseado no Projeto Axiomático para Domínios Próximos: Estudo de Caso na Análise e Reconhecimento de Textura; 2011; Tese (Doutorado em Engenharia Mecatrônica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Engenharia de Conhecimento aplicada ao design de sistemas mecatrônicos basead em IA e Redes de Petri; 2010; Tese (Doutorado em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Análise de Requisitos em Sistemas de Planejamento Inteligente; 2010; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Verificação formal de sistemas discretos distribuídos; 2009; Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Reduzindo a Volatilidade de Requisitos com o volaRE; 2008; Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
Fundamentos da Realimentação de Informações pela Manufatura Informada; 2005; Tese (Doutorado em Engenharia Mecatrônica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Reinaldo Silva;
Estruturação do Problema de Planejamento em uma Abordagem Baseada em Ia e no Formalismo de Redes de Petri; 1997; 453 f; Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo, ; Orientador: Jose Reinaldo Silva;
2023; Escola Politécnica da USP, ; Jose Reinaldo Silva;
Viegas; 2023; Escola Politécnica da USP, Fundação USP; Jose Reinaldo Silva;
2022; Escola Politécnica da USP, ; Jose Reinaldo Silva;
2022; Escola Politécnica da USP, Fundação Universidade de São Paulo; Jose Reinaldo Silva;
2018; Escola Politécnica da USP, Fundação para o Desenvolvimento Tecnlógico da Engenharia; Jose Reinaldo Silva;
2016; Escola Politécnica da USP, ; Jose Reinaldo Silva;
; 2013; Escola Politécnica da USP, ; Jose Reinaldo Silva;
Modelagem e Verificação de Sistemas em Tempo Real usando Redes de Petri; 2011; Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Jose Reinaldo Silva;
2010; Escola Politécnica da USP, ; Jose Reinaldo Silva;
2008; Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Jose Reinaldo Silva;
2008; Centro Universitário Fundação Santo André, Fundação de Amparo à Pesquisa do Estado de São Paulo; Jose Reinaldo Silva;
2005; Universidade de Oriente, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Jose Reinaldo Silva;
Modelagem e Análise de Requisitos Orientada a Objetos para sistemas de Informação e Serviço para o Agronegócio; 2017; Trabalho de Conclusão de Curso; (Graduação em Matemática Aplicada) - Instituto de Matemática e Estatística; Orientador: Jose Reinaldo Silva;
Um Método para o Projecto Interativo de Automação Predial; 2009; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade do Minho, ERASMUS; Orientador: Jose Reinaldo Silva;
Sistema Especialista Embarcado em Mini-PC: Integração de Sistemas Distribuídos Baseados em RFID; 2008; Trabalho de Conclusão de Curso; (Graduação em Matemática Aplicada) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Desenvolvimento de Ambiente Interativo de Simulação e Análise de Planos; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Desenvolvimento de Ambiente Interativo de Simulação e Análise de Planos; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Planejamento do Suprimento de Petróleo em Terminais Portuários; 2007; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Desenvolvimeno de m Sistema de Identificação de Linhas de Ônibus por Rádio-Frequência; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Desenvolvimeno de m Sistema de Identificação de Linhas de Ônibus por Rádio-Frequência; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Automação de Bibliotecas Empregando Tecnologia RFID; 2005; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistemas Inteligentes para Automação Predial; 2005; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade do Minho; Orientador: Jose Reinaldo Silva;
Ferramenta de Análise e Verificação de Requisitos Baseada em Redes de Petri; 2004; 25 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Ferramenta de Análise e Verificação de Requisitos Baseada em Redes de Petri; 2004; 25 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Modelagem de Sistema Predial Utilizando Íntegrons; 2004; 48 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Algoritmo de Planning: Graphplan Modificado; 2003; 100 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Algoritmo de Planning: Graphplan Modificado; 2003; 100 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Algoritmo de Planning: Graphplan Modificado; 2003; 100 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Ferramenta de validação de requisitos utilizando redes de Petri; 2003; 172 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Ferramenta de validação de requisitos utilizando Redes de Petri; 2003; 172 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Ferramenta de validação de requisitos utilizando Redes de Petri; 2003; 172 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema de Supervisão para Automação Predial; 2002; 150 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema de informação para representar a dinâmica de processos na manufatura estudo de caso: fabricação de engrenagens; 2002; 149 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Informatização e Gerenciamento da Fabricação Mecânica usando a Sistemografia - Estudo de Caso: Fabricação de Engrenagens; 2001; 266 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Informatização de Gerenciamento da Fabricação Mecânica usando a Sistemografia - Estudo de Caso: Fabricação de Engrenagens; 2001; 266 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistemas de informação para automação predial; 2001; 114 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistemas de informação para automação predial; 2001; 114 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecatrônica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema supervisório descentralizado baseado em íntegrons; 1998; 114 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema supervisório descentralizado baseado em íntegrons; 1998; 114 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema Tutorial para Modelagem e Simulação de Sistemas Dinâmicos em Engenharia; 1997; 117 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Modelagem e Análise de Sistemas a Eventos Discretos; 1996; Trabalho de Conclusão de Curso; (Graduação em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
SIPE: Sistema Inteligente para o Projeto de Engrenagens; 1992; 148 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Modelagem Discreta de Sistemas de Produção através de MFG Reduzido; 1992; 84 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Modelamento Discreto de Sistemas de Produção através de MFG Reduzido; 1992; 84 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema de Planejamento de Processo Automatizado; 1992; 123 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Sistema de Planejamento de Processos Automatizados; 1992; 123 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia Mecânica) - Universidade de São Paulo; Orientador: Jose Reinaldo Silva;
Planejamento Inteligente Aplicado a Healthcare; 2021; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Casa Inteligente Assistiva: o encontro entre a automação e a Telemedicina; 2021; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Análise de Requisitos para o Planejamento Inteligente; 2017; Iniciação Científica; (Graduando em Engenharia Elétrica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Modelagem de problemas para planning e scheduling inteligente; 2017; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Sistemas de Informação Colaborativos; 2010; Iniciação Científica - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Sistemas de Infomração Aplicado a Farmacia Hospitalar; 2005; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Planejamento de sistemas aplicado a robótica; 2001; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Modelagem de Sistemas de Informação para Empresas Virtuais; 1997; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Sistema Inteligente para Interpretação de Modelos Funcionais; 1996; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Reinaldo Silva;
Aálise de Propriedades em Redes de Petri; 1995; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Jose Reinaldo Silva;
Desenvolvimento do Núcleo de um Modelador de Sólidos Didático; 1992; 68 f; Iniciação Científica; (Graduando em Engenharia Mecânica) - Escola Politécnica da Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Jose Reinaldo Silva;
Formalização de Equação de Estado para Rede de Petri Estendida PFS/MFG; 1991; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Solução numéria da Equação de Estado das Redes de Petri P/T e Estendidas; 1991; Iniciação Científica; (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP; Orientador: Jose Reinaldo Silva;
Produções bibliográficas
-
Bento, A.C. ; BARETTO, M. R. P. ; SILVA, J. R. ; Camacho, S. ; Torres-Torres, E.Y. ; Hurtado, C.V. . Leveraging AI-Assisted Coding Tools in Engineering Education: Promise and Pitfalls in Software Development. Journal of Systems Engineering and Electronics , v. 35, p. 26-34, 2025.
-
Bento, A.C. ; Torres-Torres, E.Y. ; Camacho, S. ; Gonzalez, E. ; Peña, R. ; SILVA, J. R. ; COUTO-GATTI, D. . Enhancing IoT Engineering Education with AI: Evaluating GeminiAI's Impact on Embedded Systems Learning. Journal of Systems Engineering and Electronics , v. 35, p. 35-46, 2025.
-
Daud Filho, A.C. ; Siilva, E.C.N. ; SILVA, J. R. ; Caurin, G. ; Belo, E.M. . Transition Flight of a Concept of Lifting-Wing Quadcopter The Aeronautical Journal. AERONAUTICAL JOURNAL , v. 128, p. 1-21, 2024.
-
SILVA, JOSÉ REINALDO ; Artaxo, P. ; VITAL, ELINILSON . Forest Digital Twin: A Digital Transformation Approach for Monitoring Greenhouse Gas Emissions. Polytechnica , v. 6, p. 23-47, 2023.
-
Zapata, O.S.M. ; CORREA, YANEY GOMEZ ; YOSHIOKA, LEOPOLDO RIDEKI ; SILVA, JOSÉ REINALDO . Modeling Requirements for Collaborative Robotic Services. eng , v. 4, p. 2941-2959, 2023.
-
HODEL, KLEBER NOGUEIRA ; SILVA, JOSE REINALDO ; YOSHIOKA, LEOPOLDO RIDEKI ; JUSTO, JOAO FRANCISCO ; SANTOS, MAX MAURO DIAS . FAT-AES: Systematic Methodology of Functional Testing for Automotive Embedded Software. IEEE Access , v. 10, p. 74259-74279, 2022.
-
Silva, J. M. ; del Foyo, Pedro M. G. ; Salmon, A.O. ; J. Reinaldo Silva . Revisiting Requirement Engineering for Intelligent Manufacturing. International Journal on Interactive Design and Manufacturing (IJIDeM) , v. 16, p. 1-14, 2022.
-
POSTIGO, MIGUEL ANGEL ORELLANA ; SILVA, JOSÉ REINALDO . Microgrid system design based on model based systems engineering: the case study in the Amazon region / Projeto de sistemas de microrredes baseado em engenharia de sistemas baseado em modelos: um estudo de caso na região Amazônica. Brazilian Journal of Development , v. 8, p. 22145-22162, 2022.
-
Salmon, A.O. ; del Foyo, Pedro M. G. ; SILVA, JOSÉ REINALDO . A Formal Approach to Requirements Engineering of Automated Systems: Facing the Challenge for New Automated Systems. Journal Of Control Automation And Electrical Systems , v. 32, p. 815-829, 2021.
-
SILVA, JOSE REINALDO ; MACEDO, EULER CASSIO TAVARES ; CORREA, YANEY GOMEZ ; MEDEIROS, RAFAEL PEREIRA . A Multilayer Proposal to a Smart Home Applied to Healthcare. Polytechnica , v. 4, p. 1-14, 2021.
-
ORELLANA, MIGUEL ANGEL ; SILVA, JOSE REINALDO ; PELLINI, EDUARDO L. . A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services. Machines , v. 9, p. 370, 2021.
-
NAKAYAMA, R. S. ; Spinola, M.M. ; SILVA, J. R. . Towards I4.0: a comprehensive analysis of evolution from I3.0 Computers & Industrial Engineering. COMPUTERS & INDUSTRIAL ENGINEERING , v. 144, p. 1-15, 2020.
-
Postigo, M.A.O. ; Silva, J. M. ; SILVA, J. R. . Applying goal-oriented requirement engineering and reference architecture for microgrid systems. Brazilian Applied Science Review , v. 4, p. 913-926, 2020.
-
SILVA, JAVIER MARTINEZ ; SILVA, JOSÉ REINALDO . A new hierarchical approach to requirement analysis of problems in automated planning. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , v. 81, p. 373-386, 2019.
-
GOMES, R. CLAUDIO S. ; COSTA, CARLOS ; SILVA, JOSE ; SICCHAR, JOSE . SmartLVGrid Platform-Convergence of Legacy Low-Voltage Circuits toward the Smart Grid Paradigm. Energies , v. 12, p. 2590, 2019.
-
SILVA, JAVIER MARTINEZ ; JAVALES, RAUL ; SILVA, JOSÉ REINALDO . A new Requirements Engineering approach for Manufacturing based on Petri Nets. IFAC-PAPERSONLINE , v. 52, p. 97-102, 2019.
-
SILVA, JOSÉ R. ; JUSTO, JOÃO F. ; JOHN, VANDERLEY M. ; SILVA, EMILIO C. N. . The Era of Engineering Grand Challenges. Polytechnica , v. 1, p. 1-12, 2018.
-
NOF, SHIMON Y. ; SILVA, J. R. . Perspectives on Manufacturing Automation Under the Digital and Cyber Convergence. Polytechnica , v. 1-2, p. 1-12, 2018.
-
SICCHAR, JOSE ; DA COSTA, CARLOS ; SILVA, JOSE ; OLIVEIRA, RAIMUNDO ; OLIVEIRA, WERBESTON . A Load-Balance System Design of Microgrid Cluster Based on Hierarchical Petri Nets. Energies , v. 11, p. 3245, 2018.
-
FOYO, P. M. G. ; SILVA, J. R. . Improving the Verification of Real-Time Systems Using Time Petri Nets. JOURNAL OF CONTROL, AUTOMATION AND ELECTRICAL SYSTEMS , v. 28, p. 774-784, 2017.
-
SOUZA, J. A. L. ; SANTOS FILHO, D. J. ; SQUILLANTE JUNIOR., R. ; JUNQUEIRA, F. ; MIYAGI, P. E. ; SILVA, J. R. . Safety Active Barriers Considering Different Scenarios of Faults in Modern Production Systems. IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY , v. 499, p. 154-164, 2017.
-
BENÍTEZ PINA, ISRAEL FRANCISCO ; LAMAR CARBONELL, SADDID ; DA SILVA, ROBSON MARINO ; MIYAGI, PAULO EIGI ; SILVA, JOSÉ REINALDO . Design of automatic control system based on unified timed hybrid Petri net. DYNA (MEDELLÍN) , v. 84, p. 80-89, 2017.
-
MELANI, ARTHUR H.A. ; SILVA, JAVIER MARTINEZ ; DE SOUZA, GILBERTO F.M. ; SILVA, JOSÉ REINALDO . Fault diagnosis based on Petri Nets: the case study of a hydropower plant. IFAC-PAPERSONLINE , v. 49, p. 1-6, 2016.
-
DE S. DUTRA, DIOGO ; SILVA, JOSÉ REINALDO . Product-Service Architecture (PSA): toward a Service Engineering perspective in Industry 4.0. IFAC-PAPERSONLINE , v. 49, p. 91-96, 2016.
-
MOGHADDAM, MOHSEN ; SILVA, JOSÉ REINALDO ; NOF, SHIMON Y. . Manufacturing-as-a-Service-From e-Work and Service-Oriented Architecture to the Cloud Manufacturing Paradigm. IFAC-PapersOnLine , v. 48, p. 828-833, 2015.
-
SILVA, JOSÉ REINALDO ; NOF, SHIMON Y. . Manufacturing Service: From e-Work and Service-Oriented Approach towards a Product-Service Architecture. IFAC-PAPERSONLINE , v. 48, p. 1628-1633, 2015.
-
SILVA, JAVIER MARTINEZ ; SILVA, JOSE REINALDO . Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing. IFAC-PapersOnLine , v. 48, p. 1634-1639, 2015.
-
DE OLIVEIRA, VALTER CASTELHANO ; SILVA, JOSÉ REINALDO . A service-oriented framework to the design of information system service. Journal of Service Science Research , v. 7, p. 55-96, 2015.
-
Tsuzuki, M. S. G. ; SILVA, J. R. ; Pereira, C. E. . Special section on Intelligent Manufacturing Systems. MECHATRONICS , v. 31, p. 146-146, 2015.
-
FERRAREZI, R. C. ; SQUILLANTE JUNIOR, R. ; SOUZA, J. A. L. ; SILVA, J. R. ; JUNQUEIRA, F. ; MIYAGI, P. E. ; OKAMOTO JR., J. ; SANTOS FILHO, D. J. . A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard. INTERNATIONAL JOURNAL OF SYSTEMS APPLICATIONS, ENGINEERING & DEVELOPMENT , v. 8, p. 283-291, 2014.
-
SILVA, J. R. ; VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; Beck, J.C. . itSIMPLE: towards an integrated design system for real planning applications. KNOWLEDGE ENGINEERING REVIEW , v. 28, p. 1-16, 2013.
-
VAQUERO, Tiago Stegun ; José Reinaldo Siliva ; Beck, J.C. . Post-design analysis for building and refining AI planning systems. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , v. 26, p. 1967-1979, 2013.
-
CAVALHEIRO, A. C. M. ; SANTOS FILHO, D. J. ; ANDRADE, A. J. P. ; Miyagi, Paulo E. ; BOCK, E. G. P. ; SILVA, JOSÉ R. ; FATTORI, C. C. ; Cardoso, J.R. . Safety Control Design of a Ventricular Assist Device Considering Coordinator of Failure. INTERNATIONAL JOURNAL OF ARTIFICIAL ORGANS , v. 36, p. 576, 2013.
-
FOYO, P. M. G. ; SILVA, J. R. . Some issues in real-time systems verification using time Petri Nets. Journal of the Brazilian Society of Mechanical Sciences and Engineering , v. 33, p. 467-474, 2011.
-
QUEIROZ, R. A. ; SILVA, J. R. . Eliciação e Comunicação de Requisitos em Domínios Disjuntos:Estudo de Caso para Automação na Área Médica. CONTROLE & AUTOMAÇÃO (IMPRESSO) , v. 20, p. 637-651, 2009.
-
SILVA, J. R. ; VILLAFRUELA, L. ; PINA, I. B. ; GOMIS, O. ; SUDRIA, A. . Modelling Extended Petri Nets Compatible with GHENeSys IEC61131 for Industrial Automation. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (INTERNET) , v. 36, p. 1180-1190, 2008.
-
CANDIDO, R. ; SILVA, J. R. ; CORAIOLA, J. A. ; Lezana, A. G. R. . Método Delphi - uma ferramenta para uso em microempresas de base tecnológica. REVISTA DA FAE , v. 10, p. 157-164, 2007.
-
SILVA, J. R. ; DRIRA, K. ; ROSÁRIO, J. M. . A Proposal to Model Collaborative Work: the Case Study of a Research Network. WSEAS Transactions on Information Science and Applications , v. 3, p. 29-34, 2006.
-
TONIDANDEL, F. ; VAQUERO, T. S. ; SILVA, J. R. . Reading PDDL, Writing an Object Oriented Model. Lecture Notes in Computer Science , v. 4140, p. 532-541, 2006.
-
KAGOHARA, M. Y. ; TOLEDO, C. F. M. ; SILVA, J. R. ; MIYAGI, P. E. . Automatic Generation of Control Programs for Manufacturing Cells. IFIP Transactions , v. 19, p. 335-343, 1994.
-
OSÓRIO, L. A. F. G. ; MIYAGI, P. E. ; CAMARINHA-MATOS, L. M. ; SILVA, J. R. . Design of a Supervision System for Integrated Software Archtecture in CIM - A Framework for Concurrent Engineering. Studies in Informatics and Control , Bucharest, v. 3, n.2, p. 201-207, 1994.
-
SILVA, J. R. . Toward a multi-agent manager to a set of agv´s. Flexnews Quinta da Torre, Quinta da Torre, v. 1, n.1, p. 5, 1993.
-
SILVA, J. R. ; PESSOA, F. J. B. . Análise semi-automática de mark flow graphs. Robótica e Automatização Revsita de Informação Técnica e Científica, Lisboa, v. 2, n.10, p. 25-30, 1992.
-
SILVA, J. R. . Reutilização de designs de sistemas de produção. REVISTA BRASILEIRA DE CIÊNCIAS MECÂNICAS , São Paulo, v. 13, n.n. esp., p. 505-508, 1991.
-
SILVA, J. R. ; LUCENA, C. J. P. ; VEGA, I. S. ; FINGER, M. ; ARAKAKI, J. . Um Ambiente baseado em conhecimento para o projeto de sistemas de eventos discretos. CONTROLE & AUTOMAÇÃO (IMPRESSO) , Campinas, v. 2, n.3, p. 158-174, 1990.
-
CANUTO, S. R. A. ; SILVA, J. R. . The Virial Theorem And The Factorized Wavefunction Approach To Pertur-Bation Theory: Application To The Spherical Stark And Spherical Zeemanproblems In Hydrogen. PHYSICS LETTERS, v. 106A, n.1,2, p. 1-4, 1984.
-
CANUTO, S. R. A. ; SILVA, J. R. . On The Spherical Quadratic Zeeman Problem In Hydrogen. PHYSICS LETTERS, v. 101A, n.7, p. 326-330, 1984.
-
CANUTO, S. R. A. ; SILVA, J. R. . Another Approach To The Spherical Stark Problem In Hydrogen. PHYSICS LETTERS, v. 88, n.6, p. 282-284, 1982.
-
PINA, I. B. ; Silva, R.M. ; Merchan, E.M. ; Yero, G.G. ; SILVA, JOSÉ R. ; Alvarez, J.N. ; MIYAGI, P. E. . Diseño de Sistemas de Automatización Integrada. 1. ed. Santiago de Guyaquil: Publicaciones de Universidad Católica de Santiago de Guayaquil, 2022. v. 1. 526p .
-
SILVA, JOSÉ REINALDO ; SILVA, JAVIER MARTINEZ (Org.) . Automação no Pós-Pandemia. 1. ed. São Paulo: Editora Blucher, 2021.
-
ROMANO, V. (Org.) ; SILVA, J. R. (Org.) . ROBOTICA INDUSTRIAL: Aplicação na Industria de Manufatura e Processos. 1. ed. São Paulo: Edgar Blucher, 2002. v. 1. 256p .
-
SILVA, J. R. ; MIYAGI, P. E. ; BARRETO, M. R. P. . Domotica Controle e Automação. Córdoba: EBAI - Escuela Brasileno-Argentina de Informatica, 1993. v. 1. 108p .
-
Caurin, Glauco ; Daud Filho, Antonio Carlos ; SILVA, JOSÉ REINALDO . Unmanned Aerial Vehicle Cooperation for the Monitoring of Greenhouse Gases. In: T. Hikmet Karakoc, Oleksandr Zaporozhets, Alper Dalkiran, Ali Haydar Ercan. (Org.). Sustainable Aviation. 1ed.Cham: Springer Nature Switzerland, 2025, v. , p. 41-46.
-
de Souza, Leonardo Morais ; CORREA, YANEY GOMEZ ; SILVA, JOSÉ REINALDO . Model-Based Agile Design Approach: Toward Innovation in Product-Service Systems. In: Machado, J; Soares, F.; Trojanowska, J.; Ivanov, V.; Antosz, K.; Caganova, D.; Manupaty, V.K.; Pereira, A.. (Org.). Lecture Notes in Mechanical Engineering. 1ed.Cham: Springer Nature Switzerland, 2024, v. , p. 88-99.
-
Postigo, M.A.O. ; SILVA, JOSE R. . MICROGRID SYSTEM DESIGN BASED ON MODEL BASED SYSTEMS ENGINEERING AND GOAL-ORIENTED REQUIREMENTS ENGINEERING. In: Frederico Barbosa. (Org.). ENGENHARIA DE CONTROLE E AUTOMAÇÃO: ESTUDOS FUNDAMENTAIS. 1ed.Piracanjuba: Editora Conhecimento Livre, 2023, v. , p. 111-130.
-
Postigo, M.A.O. ; SILVA, JOSE R. . FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850. In: Frederico Barbosa. (Org.). Engenharia de Controle e Automação: estudos fundamentais. 1ed.Piracanjuba: Editora Conhecimento Livre, 2023, v. , p. 94-111.
-
Santiago, Sandro Breval ; SILVA, JOSE REINALDO . Strategic Roadmap for Digital Transformation Based on Measuring Industry 4.0 Maturity and Readiness. In: Sergio Terzi; Kuroshi Madani; Oleg Gusikhin; Hervé Panetto. (Org.). Communications in Computer and Information Science. 1ed.Cham: Springer Nature Switzerland, 2023, v. 1, p. 336-347.
-
Postigo, M.A.O. ; PELLINI, E. L. ; SILVA, J. R. . A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services. In: M.S.G. Tsuzuki, M.A.O. Pessoa, A.A. de Andrade. (Org.). Industrial Applications: New Solutions for the New Era. 1ed.Basel: MDPI, 2022, v. , p. 117-142.
-
Postigo, M.A.O. ; SILVA, J. R. . Microgrid System Design Based on Model Based Systems Engineering: the Case Study in the Amazon Region. In: João Dallamuta; Henrique Ajuz Holzmann. (Org.). Engenharia elétrica: desenvolvimento e inovação tecnológica. 1ed.Ponta Grossa: Atena, 2021, v. , p. 192-207.
-
SILVA, J. R. ; SILVA, JAVIER MARTINEZ ; VAQUERO, Tiago Stegun . Formal Knowledge Engineering for Planning: Pre and Post-Design Analysis. In: Mauro Vallati; Diane Kitchen. (Org.). Knowledge Engineering Tools and Techniques for AI Planning. 1ed.: Springer Nature, 2020, v. , p. 47-65.
-
SILVA, JOSÉ REINALDO ; SILVA, JAVIER MARTINEZ ; Pereira, Celina ; Avram, Camelia ; Dan-Stan, Sergiu . New Trends in Residential Automation. In: Erika Ottaviano; Assunta Pelliccio; Vicenzo Gatulli. (Org.). Intelligent Systems, Control and Automation: Science and Engineering. 1ed.Londres: Springer International Publishing, 2018, v. , p. 137-157.
-
de Souza, Jeferson A. L. ; Santos Fo, Diolino J. ; Squillante, Reinaldo ; Junqueira, Fabricio ; Miyagi, Paulo E. ; SILVA, JOSE REINALDO . Safety Active Barriers Considering Different Scenarios of Faults in Modern Production Systems. In: Camarinha-Matos, L. M., Pereira-Rocha, M., Ramenzani, J.. (Org.). IFIP Advances in Information and Communication Technology. 1ed.: Springer International Publishing, 2017, v. 499, p. 154-164.
-
SILVA, J. R. ; FOYO, P. M. G. . Timed Petri Nets. In: Pawel Pawlewski. (Org.). Petri Nets. 1ed.Rijeka, Croacia: Intech, 2012, v. , p. 359-378.
-
SILVA, J. R. . Automação e Controle. In: Willian Giozza; Horácio Hastenreiter; Adhvan Furtado; Péricles Magalhães Jr.. (Org.). Relatório de Tendências em Tecnologia da Informação e Comunicação. Salvador: Secretaria de Ciência e Tecnnologia, 2006, v. , p. 189-198.
-
Tonidandel, Flavio ; VAQUERO, Tiago Stegun ; SILVA, JOSÉ REINALDO . Reading PDDL, Writing an Object-Oriented Model. In: Sichman, J.S., Coelho, H, Rezende, S.O.. (Org.). Lecture Notes in Computer Science. 1ed.Berlin: Springer Berlin Heidelberg, 2006, v. 4140, p. 532-541.
-
SILVA, J. R. ; SANTOS, E. A. . Applying Petri nets to requirements validation. In: ABCM. (Org.). ABCM Symposium Series. 1ed.Rio de Janeiro: Mechatronics Rio de Janeiro: ABCM, 2004, 2004, v. 1, p. 508-517.
-
SILVA, J. R. ; FOYO, P. M. G. D. . Towards a unified view of Petri nets and object oriented modeling. In: ABCM, 2004. (Org.). ABCM Symposium Series. 1ed.Rio de Janeiro: Rio de Janeiro : ABCM, 2004, 2004, v. 1, p. 518-524.
-
NABUCO, O. ; Koyama, M.F. ; Pereira, F.E.D. ; SILVA, J. R. ; DRIRA, K. ; ROSÁRIO, J. M. . Manufacturing Automation Network's Cooperative E-Space. In: Luis Camarinha-Matos. (Org.). Virtual Enterprises and Collaborative Networks. 1ed.: Springer International Publishing, 2004, v. , p. 443-450.
-
SILVA, J. R. ; POLI JÚNIOR, M. A. ; RESTREPO, P. L. A. . Towards a modeling discipline for building and residence automation. In: ABCM, 2004. (Org.). ABCM Symposium Series. 1ed.Rio de Janeiro: Rio de Janeiro : ABCM, 2004, 2004, v. 1, p. 560-569.
-
SILVA, JOSÉ REINALDO . Interactive Design of Integrated Systems. In: Luis Camarinha-Matos; Hamideh Afsarmanesh; Vladimir Marik. (Org.). Intelligent Systems for Manufacturing. 1ed.Norwell: Springer US, 1998, v. , p. 567-578.
-
SILVA, J. R. . A Communication Architecture For Multi-Agent Applications In Fms/Fas. In: Luis Camarinha-Matos; Hamideh Afsarmanesh. (Org.). Balanced Automation II : Implementation Challenges for Antropocentric Manufacturing. London: Chapman & Hall, 1996, v. 2, p. -.
-
SILVA, J. R. ; RAMOS, R. L. C. B. ; MIYAGI, P. E. . Supervisory Control Of Integrated Building Systems: A Balanced Approach. In: Luis Camarinha-Matos; Hamideh Afsarmanesh. (Org.). Balanced Automation II : Implementation Challenges for Antropocentric Manufacturing. London: Chappman & Hall, 1996, v. , p. -.
-
SILVA, J. R. ; AFSARMANESH, H. ; LUCENA, C. J. P. ; COWAN, D. . An Object Oriented Approach To The Design Of Flexible Manufacturing. In: Luis Camarinha-Matos; Hamidh Afsarmanesh. (Org.). Balanced Automation Systems : Architectures and Design Methods. 1ed.London: Chapman & Hall, 1995, v. , p. 91-106.
-
SILVA, J. R. ; MIYAGI, P. E. . Pfs/Mfg: A High Level Net To The Design Of Flexible Manufactuting Systems. In: Luis Camarinha-Matos; Hamideh Afsarmanesh. (Org.). Balanced Automation Systems : Architecture and Design Methods. London: Chapman & Hall, 1995, v. , p. 349-362.
-
SILVA, J. R. . Globalização Promete Vagas. Folha de São Paulo, Caderno-Teen, São Paulo, p. 4, 05 ago. 1996.
-
SILVA, J. R. . Mercado aberto para automação e informática industrial. Informativo Educação Continuada São Paulo, São Paulo, p. 1.
-
SILVA, J. R. . Brasil Robotizado. Mecatrônica Atual, São Paulo, , v. 21E, p. 9 - 11.
-
de Sicco, J.V.R. ; Postigo, M.A.O. ; Tomé, I.G. ; Lima, E.R. ; SILVA, J. R. . DESENVOLVIMENTO DE UM PROTÓTIPO PARA GERENCIAMENTO DE UMA MICRORREDE INTELIGENTE BASEADO NA ARQUITETURA DE REFERÊNCIA IEC-61850. In: Simpósio Brasileiro de Automação Inteligente, 2025, S. João del Rey. Anais do SBAI 2025. São Paulo: Blucher, 2025.
-
de Sicco, J.V.R. ; Postigo, M.A.O. ; Lima, E.R. ; Gomes, R.C. ; SILVA, J. R. ; Torné, I.G. . Microgrid Control Based on IEC-61850 Architecture and Petri Net Modeling. In: INDUSCON 2026, 2025, São Sebastião. Anais do INDUSCON 2025, 2025.
-
de Souza, Leonardo Morais ; SILVA, J. R. . AN AGILE METHOD AND FRAMEWORK FOR MODEL-BASED SYSTEMS ENGINEERING. In: Congresso Brasileiro de Engenharia Mecânica, 2025, Curitiba. Anais do COBEM 2025, 2025.
-
Silva, L.F.F. ; Khalil, M. ; Carvalho, M.M. ; SILVA, J. R. ; Zancul, E. . INTEGRATING DIGITAL TWINS AND COMPUTER VISION FOR REAL-TIME INDUSTRIAL MONITORING: AN EXPLORATORY STUDY WITH COLOR DETECTION. In: ENEGEP 2025, 2025, Natal. Anais do ENEGEP 2025, 2025.
-
de Sicco, J.V.R. ; Postigo, M.A.O. ; Lima, E.R. ; Tomé, I.G. ; SILVA, J. R. . Development of a microgrid control device based on the IEC-61850 reference architecture. In: Brazilian Technonoly Symposium (BTSym), 2025, Campinas. Proceedings of the of the 11th Symposium Smart Innovation, Systems and Technology. Cham: Springer, 2025. v. 11.
-
Zapata, O.S.M. ; CORREA, YANEY GOMEZ ; SILVA, JOSÉ R. . Integrating User Engagement into Healthcare Design A Model Based Requirement Engineering. In: V Congreso Internacional sobre Tecnológias Avanzadas de Mecatrónica, Diseño y Manufacturae, 2025, Bogotá. Anales de AMDM 2025, 2025.
-
Viegas, M.A.A. ; VITAL, ELINILSON ; SILVA, J. R. . Amazon Forest Digital Twin: design based on Petri Nets and Cloud Computing. In: Congresso Brasileiro de Automática, 2024, Rio de Janeiro. Anais do CBA 2024. São Paulo: Edgar Blucher, 2024.
-
TAVARES, J. J. P. Z. S. ; SILVA, JOSÉ REINALDO . Towards an Agile Distributed Management System Based on Petri Nets. In: Workshop on Petri Nets for Twin Transition, 2023, Lisboa. Joint Proceedings of Algorithms & Theories for the Analysis of Event Data 2023 and the International Workshop on Petri Nets for Twin Transition 2023. Aachen: CEUR, 2023. v. 3424.
-
Mafei, A.S. ; Pereira, E.S.S. ; Ordonez, R.E.C. ; Cordeiro, G.A. ; SILVA, J. R. . Proposta de Procedimento para Gestão e Visualização de Dados no Contexto da Indústria 4.0. In: Encontro Nacional de Engenharia de Produção, 2023, Fortaleza. Anais do ENEGEP 2023. São Paulo: ABEPRO, 2023.
-
Caurin, G. ; DAUD FILHO, A. ; SILVA, JOSÉ REINALDO . Unmanned Aerial Vehicles Cooperation for the monitoring of Greenhouse Gases. In: Int. Symposium on Unmanned Systems: AI, Design & Efficiency, 2023, Stockholm. Proceedings of ISUDEF'23, 2023.
-
Postigo, M.A.O. ; SILVA, J. R. . UMA PROPOSTA DE APLICAÇÃO DA MBSE E FPGA PARA CONTROLE DE MICRORREDES BASEADO NA ARQUITETURA IEC 61850. In: Simpósio Brasileiro de Automação Inteligente, 2023, Manaus. Anais do SBAI 2023. São Paulo: Edgar Blucher, 2023.
-
Santiago, S.B. ; SILVA, J. R. . Strategic Roadmap for Digital Transformation Based on Measuring Industry 4.0 Maturity and Readiness. In: 17th IFAC/IFIP International Workshop on Enterprise Integration, Interoperability and Networking - EI2N 2023, 2023, Roma. Proceedings of EI2N 2023, 2023.
-
Viegas, M.A.A. ; SILVA, JOSÉ REINALDO . Digital Transformation Process Based on Automation and Data Service: a case study in sustainability projects. In: 6th. Energy Transition Research & Innovation, 2023, São Paulo. Annals of ETRI 2023, 2023.
-
Viegas, M.A.A. ; SILVA, JOSÉ REINALDO ; GODOY, A. ; Pqueira, J.R.C. . Cyber Defense System for Smart Grid Communications. In: Energy Transition Research & Innovation. In: 6th. Energy Transition Research & Innovation, 2023, São Paulo. Annals of ETRI 2023, 2023.
-
Viegas, M.A.A. ; SILVA, JOSÉ REINALDO . Smart and Sustainable Electric Vehicle Fast Charging Station.. In: 6th. Energy Transition Research & Innovation, 2023, São Paulo. Annals of ETRI 2023, 2023.
-
Machado, L.A.T. ; Fanco, M.A.M. ; Albuquerque, I.M.B. ; Rizzo, L.V. ; Shimbo, J. ; Alencar, A. ; Trumbore, S. ; SILVA, J. R. . Deforestation and climate change: The multiple pressures over Amazonian forests. In: EGU General Assembly 2022, 2022, Viena. EGU General Assembly 2022, 2022.
-
POSTIGO, MIGUEL ANGEL ORELLANA ; PELLINI, EDUARDO LORENZETTI ; SILVA, JOSE REINALDO . Proposta de método sistêmico baseado em modelos para Smart Grid. In: 2021 14th IEEE International Conference on Industry Applications (INDUSCON), 2021, São Paulo. 2021 14th IEEE International Conference on Industry Applications (INDUSCON), 2021. p. 1063.
-
Bertelli, G.P.M. ; SILVA, JOSE REINALDO . Goal-Oriented Requirements Analysis Applied to Systems Engineering in Automotive ECU Development. In: 26th. Int. Congress of Mechanical Engineering, 2021, Florianopolis. Proc. of COBEM 2011, 2021.
-
SILVA, JOSE REINALDO ; VITAL, ELINILSON . Towards a Formal Design to Service-Oriented Cloud Manufacturing. In: Congresso Brasileiro de Automática 2020, 2020. Anais do Congresso Brasileiro de Automática 2020.
-
DE ALMEIDA SOUZA, GABRIEL ; ZANLUCCHI DE SOUZA TAVARES, JOSÉ JEAN-PAUL ; SILVA, JOSÉ REINALDO . Towards Adaptive Discrete Event Control Based on PRD, PSS and Automatic Planner. In: Congresso Brasileiro de Automática 2020, 2020. Anais do Congresso Brasileiro de Automática 2020.
-
Postigo, M.A.O. ; Silva, J. M. ; SILVA, JOSÉ REINALDO . Microgrid System Design Based on Model Based Systems Engineering and Goal-Oriented Requirements Engineering. In: Congresso Brasileiro de Automática, 2020, Santa Maria. Anais do Congresso Brasileiro de Automática. São Paulo: Blucher, 2020.
-
ORELLANA POSTIGO, MIGUEL ANGEL ; SILVA, JOSÉ REINALDO . Microgrid System Design Based on Model Based Systems Engineering: the Case Study in the Amazon Region. In: Simpósio Brasileiro de Sistemas Elétricos SBSE2020, 2020. Anais do Simpósio Brasileiro de Sistemas Elétricos 2020.
-
Postigo, M.A.O. ; Silva, J. M. ; SILVA, J. R. . FORMAL REQUIREMENTS FOR MICROGRID USING KAOS AND REFERENCE ARCHITECTURE. In: Simpósio Brasileiro de Automação Inteligente, 2019, Ouro Preto. Anais do 14o. SBAI, 2019.
-
POSTIGO, MIGUEL ANGEL ORELLANA ; SILVA, JOSE REINALDO . Modeling in Petri Nets for micro smart grid operation based on IEC 61850 architecture. In: 2018 Simposio Brasileiro de Sistemas Eletricos (SBSE) [VII Brazilian Electrical Systems Symposium (SBSE)], 2018, Niteroi. 2018 Simposio Brasileiro de Sistemas Eletricos (SBSE), 2018. p. 1.
-
Sicchar, J.R. ; José Reinaldo Siliva ; Tavares, C. ; GADELHA, V. F. D. S. ; BATISTA, L. J. D. S. . LOCAL CONTROLLER MODEL TO LOAD BALANCE IN URBAN MICROGRIDS USING A TIMED HIERARCHICAL PETRI NETS APPROACH. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Proc. do CBA 2018, 2018.
-
Postigo, M.A.O. ; Silva, J. M. ; José Reinaldo Siliva . FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Proc. do CBA 2018, 2018.
-
Silva, J. M. ; José Reinaldo Siliva ; Salmon, A.O. ; FOYO, P. M. G. . Requirements Engineering at a Glance: Comparing GORE and UML methods in the design of automated systems. In: Congresso Brasileiro de Automática, 2018, João Pessoa. Proc. do CBA 2018, 2018.
-
Ferreira, M.V.M. ; TAVARES, J. J. P. Z. S. ; José Reinaldo Siliva . The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots. In: Petri Nets and Software Engineering, 2018, Bratslava,Slovakia. Proc. of PNSE 2018, 2018. v. 2138.
-
CODA, FELIPE A. ; SALLES, RAFAEL M. DE ; Junqueira, Fabricio ; FILHO, DIOLINO J. SANTOS ; SILVA, JOSE R. ; Miyagi, Paulo E. . Big data systems requirements for Industry 4.0. In: 2018 13th IEEE International Conference on Industry Applications (INDUSCON), 2018, São Paulo. 2018 13th IEEE International Conference on Industry Applications (INDUSCON), 2018. p. 1230.
-
SALLES, RAFAEL M. DE ; CODA, FELIPE A. ; SILVA, JOSE R. ; FILHO, DIOLINO J. DOS SANTOS ; Miyagi, Paulo E. ; Junqueira, Fabricio . Requirements Analysis for Machine to Machine Integration within Industry 4.0. In: 2018 13th IEEE International Conference on Industry Applications (INDUSCON), 2018, São Paulo. 2018 13th IEEE International Conference on Industry Applications (INDUSCON), 2018. p. 1237.
-
SILVA, J. R. ; LIMA JR., W. T. ; Sá, N.M. . Licklider's Fundamental Ideas in the Man-computer Siimbiosis Reemerge in the Concepts of Cognitive Computing: A Bibliometric Study. In: XI International Brazilian Meeting on Cognitive Science, 2017, São Paulo. Proc. of the XI International Brazilian Meeting on Cognitive Science, 2017.
-
GOMES, RAIMUNDO CLAUDIO SOUZA ; TAVARES DA COSTA, CARLOS ; SILVA, JOSE REINALDO ; NUNES DA SILVA, PAULA RENATHA . Automation meta-system applied to smart grid convergence of low voltage distribution legacy grids. In: 2017 IEEE International Conference on Smart Energy Grid Engineering (SEGE), 2017, Oshawa. 2017 IEEE International Conference on Smart Energy Grid Engineering (SEGE), 2017. p. 400.
-
Silva, J. M. ; SILVA, J. R. . Gore Methods to Model Real World Problem Domains in Automated Planning. In: Simposio Brasileiro de Automção Inteligente, 2017, Porto Alegre. Proc.of Simposio Brasileiro de Automática, 2017.
-
Sicchar, J.R. ; COSTA JR., C. T. ; SILVA, J. R. . Controlador Local de Balanceamento de Carga para Grids. In: Simposio Brasileiro de Automação Inteligente, SBAI, 2017, 2017, Porto Alegre. Proc. do SBAI 20187, 2017.
-
Sá, N.M. ; SILVA, J. R. . Using heigh-level Petri Nets to the modeling of the Product-service-architecture. In: Congresso Brasileiro de Engenharia Mecânica, 2017, Curitiba. Proc. of COBEM 2017, 2017.
-
Gomes, R.C. ; COSTA, C. T. ; SILVA, J. R. . Arquitetura de Smart Circuits Aplicada a Redes de Distribuição em Baixa Tensão. In: IV INATEL Seminario de Automação Industrial e Sistemas Eletro-Eletrônicos, 2016, Santa Rita do Sapucaí. Anais do IVSAISEE, 2016.
-
Tonaco, R. ; Silva, J. M. ; J. Reinaldo Silva . Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning. In: Int. Conference on Automatic Planning and Scheduling, 2016, Londres. Proceedings of ICAPS 2016. Palo Alto, Ca: AAAI, 2016.
-
SOUZA, R. S. ; SANFILIPPO, F. ; SILVA, J. R. ; Cordero, A.F. . Modular Exoskeleton Design: Methodology of Requirements Definition. In: 6th. IEEE, RAS & EMBS Int. Conf. on Biomedical Robotics and Biomechartronics, 2016, Singapore. Procc. of Biorob 2016. New York: IEEE, 2016.
-
SICCHAR, J. ; COSTA JR., C. T. ; SILVA, J. R. . Load Balance Process Analysis in Low Voltage Grid Using Petri Nets. In: Congresso Brasileiro de Automática, 2016, Vitória. CBA 2016 Proceedings, 2016.
-
DUTRA, D. S. ; SILVA, J. R. . From Smart Products to product-service systems: a Service Engineering perspective from the Industry 4.0. In: Congresso Brasileiro de Automática, 2016, Vitória, ES. CBA 2016 Proceedings, 2016.
-
Salmon, A.O. ; del Foyo, Pedro M. G. ; SILVA, J. R. . Planejamento de ação em sistemas hierárquicos temporizados usando GHENeSys. In: Congresso Brasileiro de Automática, 2016, Vitória, ES. CBA 2016 Proceedings, 2016.
-
SOUZA, J. A. L. ; SANTOS FILHO, D. J. ; MIYAGI, P. E. ; SILVA, J. R. ; MOSCATO, L. A. ; SQUILANTE JR., R. ; SICCHAR, J. . Coloured Petri Nets for Implementation of Safety Instrumented Systems in Critical production Systems. In: Latin American Conference on Automatic Control, 2016, Medellin, Colombia. CLCA 2016 Proceedings Book. Medellin: Universidad EAFIT, 2016.
-
DUTRA, D. S. ; BARRETO, M. R. P. ; SILVA, JOSÉ REINALDO . Entrepreneur Education for Engineers - A case Study of Academic Working Capital Program. In: ATINER CONFERENCE ON ENGINEERING EDUCATION, 2016, Atenas, Gr. ATINER Conference Papers Series. Atenas: Atiner, 2016.
-
CANDIDO, R. ; Silva, J. M. ; J. Reinaldo Silva . Using RFID technology to Enhance Quality Information to Products in Agribusiness Supply Chain. In: IEEE Brasil - RFID 2015, 2015, São Paulo. IEEE Brasil - RFID 2015, 2015.
-
Silva, J. M. ; SILVA, J. R. . Using Goal-oriented Requirements Analysis in the Design of Product-Service Manufacturing. In: Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do SBAI 2015, 2015.
-
SILVA, JOSE REINALDO ; LIMA JR., W. T. . From Licklider to Cognitive Science Systems. In: Int. Brazilian Meeting in Cognitive Science, 2015, São Paulo. Proceedings of EBICC 2015, 2015.
-
SICCHAR, J. ; COSTA, C. T. ; SILVA, J. R. . Macro-agente de Previsión de Consumo de Energia em Smart Grids de Baja Tensión. In: XIII Congreso Internacional sobre Innovación y Desarollo Tecnológico, 2015, Cuernavaca, Morelos. Proceedings of IEEE-CIINDET 2015, 2015.
-
SICCHAR, J. ; COSTA, C. T. ; SILVA, JOSE REINALDO ; FREITAS, R. C. . Gerenciamento do Consumo de Energia em Residências cm Frame GCR. In: Simpósio Brasileiro de Automação Inteligente, 2015, Natal. Anais do SBAI 2015, 2015.
-
SICCHAR, J. ; COSTA, C. T. ; José Reinaldo Siliva . Inteligencia GCR para Smart Grids de Baixa Tensão. In: Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do CBA 2014, 2014.
-
Salmon, A.O. ; FOYO, P. M. G. ; SILVA, J. R. . Verification of Automated Systems Using Invariants. In: Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do CBA 2014, 2014.
-
SICCHAR, J. ; COSTA, C. T. ; SILVA, J. R. ; Freitas, R. . Algoritmo GCR para Unidades cnsumiroras de Smart Grids de Baja Tension. In: XVI Congresso Latinoamericano de Control Automático, 2014, Lima. Anales del CLCA 2014, 2014.
-
SILVA, J. R. . New Trends in Manufacturing: Converging to Service and Intelligent Systems. In: 19th. IFAC World Congress, 2014, Cape Town. Procc. of 19th. IFAC World Congress, 2014.
-
Ferrarezi, R. C. ; SQUILANTE JR., R. ; SOUZA, J. A. L. ; SANTOS FILHO, D. J. ; SILVA, J. R. ; MIYAGI, P. E. ; MOSCATO, L. A. . Formal Verification of Safety Control System Based on GHENESYS NET. In: Int. Conference on Mechatronics and Robotics, Structural Analysis, 2014, Santorini Island. Procc.of Int. Conference on Mechatronics and Robotics, Structural Analysis, 2014.
-
Salmon, A.O. ; FOYO, P. M. G. ; SILVA, J. R. . Scheduling Real-Time Systems with Periodic Tasks using a Model-chedking Approach. In: IEEE 12th. Int. Conference in Industrial Informatics, 2014, Porto Alegre. Procc. of the 12th. IEEE-INDIN, 2014.
-
DUTRA, D. S. ; OLIVEIRA, V. C. ; SILVA, J. R. . A Service-Oriented Approach to Industry and Agrobusiness. In: IEEE 12th. Int. Conference in Industrial Informatics, 2014, Porto Alegre. Procc. of the 12th. IEEE-INDIN, 2014.
-
DUTRA, D. S. ; OLIVEIRA, V. C. ; SILVA, J. R. . Manufacturing as Service: the challege of Intelligent Manufacturing. In: IFAC - Intelligent Manufacturing Systems, 2013, São Paulo. Procc. of the IMS 2013, 2013.
-
SICCHAR, J. ; Freitas, R. ; CAVALCANTE, I. ; SILVA, J. R. ; Tavares, C. . Smart Grid Frame for Energy Managing Consumption. In: X Latin-American Congress on Electric Power Generation, Transmission and Distribution, 2013, Viñas del Mar. Anais del CGTEE 2013, 2013.
-
Yamamoto, R. I. ; SILVA, J. R. ; HORIKAWA, O. ; SILVA, I. . Object Orientd RequirementsAnalysis for a Flywheel Energy Storage. In: C22th Int. Congress of Mechanical Engineering, 2013, Ribeirão Preto. Proceedings of COBEM 2013, 2013.
-
Tonaco, R. ; VAQUERO, Tiago Stegun ; SILVA, J. R. . Requirements Analysis Method for Real World Systems in Automated Planning. In: Int. Conference in Automated Planning and Scheduling, 2013, Roma. Procc. of ICAPS 2013, 2013.
-
Gonzalez, E.A. ; Gonzalez, R.A. ; Ortiz, P. M. ; FOYO, P. M. G. ; SILVA, J. R. . Informatic System for Supervision and Control of Processes with Mobile Devices. In: Conferencia Brasileira de Dinâmmica, Controle e Aplicações, 2013, Fortaleza. Proceeding Series of the Brazilian Society of Computational and Applied Mathematics, 2013. v. 1.
-
VAQUERO, Tiago Stegun ; Tonaco, R. ; Costa, G.R. ; TONIDANDEL, F. ; SILVA, J. R. ; Beck, J.C. . itSfIMPLE 4.0: Enhancing the Modeling Experience of Planning Problems. In: ICAPS - Int. Conf. on Artificial Planning and Scheduling, 2012, Atibaia. Annals of ICAPS 2012. New York: AAAI Editor, 2012.
-
VAQUERO, Tiago Stegun ; Costa, G.R. ; TONIDANDEL, F. ; IGREJA, H. ; SILVA, J. R. ; Beck, J.C. . Planning and Scheduling Ship Operations on Petroleum Ports and Platforms. In: ICAPS - Int. Conf. on Artificial Planning and Scheduling, 2012, Atibaia, SP. Annals of ICAPS 2012. New York: AAAI Editor, 2012.
-
Domingues, M.B.P. ; ALMEIDA JUNIOR, J. R. ; SILVA, J. R. . Evolution of Databases using Petri Nets. In: Congresso Brasileiro de Atuomática, 2012, Campina Grande, PB. Anais do CBA 2012, 2012.
-
Salmon, A.O. ; SILVA, J. R. . Usando Invariantes na Análise de Requisitos. In: Congresso Brasileiro de Atuomática, 2012, Campina Grande, PB. Anais do CBA 2012, 2012.
-
OLIVEIRA, V. C. ; SICCHAR, J. ; Salmon, A.O. ; SILVA, J. R. . Automação e Ciência de Serviços Aplicadas ao Smart Grid. In: Congresso Brasileiro de Atuomática, 2012, Campina Grande, PB. Anais do CBA 2012, 2012.
-
SICCHAR, J. ; Tavares, C. ; SILVA, J. R. ; Oliveira, H. ; Freitas, R. ; Santos, J.J. ; Araújo, F. ; Nascimento, C. . Arquitetura IGCR para Gerenciamento de Consumo Residencial de Energia. In: Congresso Brasileiro de Atuomática, 2012, Campina Grande, PB. Anais do CBA 2012, 2012.
-
SICCHAR, J. ; FREITAS, R. C. ; Salmon, A.O. ; SILVA, J. R. ; Tavares, C. . Modelo de algoritmo de gerenciamiento de Smart Grid para consumo de energía eléctrica. In: Congresso Latino-Americano de Controle Automático - CLCA, 2012, Lima, Peru. Anales del CLCA 2012, 2012.
-
VAQUERO, Tiago Stegun ; SILVA, J. R. ; Beck, J.C. . A Conceptual Framework for Post.Design Analysis in AI Planning Applications. In: Int. Conference in Automated Planning and Scheduling, 2011, Freiburg. Procedings of ICAPS 2011. Menlo Park: AAAI Press, 2011.
-
VAQUERO, Tiago Stegun ; SILVA, J. R. ; Beck, J.C. . Acquisition and Re.use of Plan Evaluation Rationales on Post Design. In: Int. Conference in Automated Planning and Scheduling, 2011, Freiburg, Germay. Procedings of ICAPS 2011. Menlo Park: AAAI Press, 2011.
-
VAQUERO, Tiago Stegun ; SILVA, J. R. ; Beck, J.C. . A Brief Review of Tools and Methods for Knowledge Engineering for Planning & Scheduling. In: Int. Conference in Automated Planning and Scheduling, 2011, Freiburg, Germay. Procedings of ICAPS 2011. Menlo Park: AAAI Press, 2011.
-
SICCHAR, J. ; Tavares, C. ; Salmon, A.O. ; SILVA, J. R. ; PINA, I. B. ; Gomes, R.C. . Sistema Inteligente para Análise de Consumo de Energia Elétrica em Smart Grid de Baixa Tensão. In: Simpósio Brasileiro de Autumação Inteligente, 2011, São João del Rei. Proceedings do X SBAI, 2011.
-
FOYO, P. M. G. ; Miralles, J.A.SP. ; SILVA, J. R. . Um Verificador Formal Eficiente para Sistemas de Tempo Real. In: Simpósio Brasileiro de Autumação Inteligente, 2011, São João del Rei. Proceedings do X SBAI, 2011.
-
TAVARES, J. J. P. Z. S. ; Fonseca, J.P.S. ; VAQUERO, Tiago Stegun ; SILVA, J. R. . Integração de Planejamento Automático em Sistemas Reais Baseados em CLPs. In: Simpósio Brasileiro de Automação Inteligente, 2011, São João del Rei. Proceedings do X SBAI, 2011.
-
Salmon, A.O. ; Miralles, J.A.SP. ; FOYO, P. M. G. ; SILVA, J. R. . Towards a Unified View of Modeling and Design with GHENeSys. In: Congresso Brasileiro de Engenharia Mecânica, 2011, Natal. Proceedings of COBEM 2011, 2011.
-
FOYO, P. M. G. ; Salmon, A.O. ; SILVA, J. R. . Requirement Analysis of Automated Projects Using UML/Petri Nets. In: Congresso Brasileiro de Engenharia Mecânica, 2011, Natal. Proceedings of COBEM 2011, 2011.
-
OLIVEIRA, V. C. ; SILVA, J. R. . Process Oriented Design Service: Case Study of Automated Information Systems. In: Congresso Brasileiro de Engenharia Mecânica, 2011, Natal. Proceedings of COBEM 2011, 2011.
-
CALDEIRA, M. A. C. ; FERASOLI, H. ; SILVA, J. R. . Toward a collaborative base to the human-robot interaction. In: Robocontrol 2010, 2010, Bauru. Robocontrol - 4th Workshop on Applied Robotics and Automation, 2010.
-
Miralles, J.A.SP. ; SILVA, J. R. . Enquadrando GHENeSys dentro do Petri Net Standard. In: Congresso Brasileiro de Engenharia Mecânica, 2010, Bonito. Anais do COBEM, 2010.
-
VAQUERO, Tiago Stegun ; SILVA, J. R. ; Beck, J.C. . Improving Planning Performance Trough Plan Design Analysis. In: Int. Conference in Automated Planning and Scheduling, 2010, Toronto. Proceedings of the ICAPS 2010. Menlo Park: AAAI Press, 2010.
-
TAVARES, J. J. P. Z. S. ; SILVA, J. R. . Auto-detecting Exception State Based on Petri Nets. In: Congresso Brasileiro de Engenharia de Fabricação, 2009, Belo Horizonte. Anais do V COBEF, 2009.
-
VAQUERO, Tiago Stegun ; SETTE, F. ; SILVA, J. R. ; Beck, J.C. . Planning & Scheduling of Crude Oil Distribution in a Petroleum Plant. In: 19th int. Conference on Automated Planning and Scheduling, 2009, Thesaloniki. Procc. of the 19th Int. Conf. on Automated Planning and Scheduling, 2009.
-
VAQUERO, Tiago Stegun ; SILVA, J. R. ; Ferreira, M. ; TONIDANDEL, F. ; Beck, J.C. . From Requirements and Analysis to PDDL in itSIMPLE 3.0. In: 19th int. Conference on Automated Planning and Scheduling, 2009, Thessaloniki. Procc. of the 19th Int. Conf. on Automated Planning and Scheduling, 2009.
-
SILVA, J. R. ; Miralles, J.A.SP. ; Salmon, A.O. ; FOYO, P. M. G. . Introducing Object-orientation in Unified Petri Net Approach. In: 20th Int. Congress of Mechanical Engineering, 2009, Gramado. Procc. of 20th Int. Congress of Mechanical Engineering, 2009.
-
SILVA, J. R. ; POLI JÚNIOR, M. A. ; Pereira, C.S. ; Machado, J.M. . A Holonic Approach to the Integration of Automated Systems. In: 20th Int. Congress of Mechanical Engineering, 2009, Gramado. Procc. of 20th Int. Congress of Mechanical Engineering, 2009.
-
Alvarez, R.L.P. ; MARTINS, M. R. ; SILVA, J. R. . A IMPORTÂNCIA DA INTEGRAÇÃO ENTRE MANUFATURA E PÓS VENDAS E SUAS CONSEQÜÊNCIAS: UM ESTUDO DE CASO PARA PRODUTOS DE INFORMÁTICA. In: Simpósio de Engenharia de Produção, 2009, Baurú. Anais do XVI SIMPEP, 2009.
-
CANDIDO, R. ; SILVA, J. R. . ESTRATÉGIA DO OCEANO AZUL COMO FORMA DE DAR SUPORTE A APLICAÇÃO DA TECNOLOGIA RFID NO RASTREAMENTO BOVINO. In: XXIX ENCONTRO NACIONAL DE ENGENHARIA DE PRODUÇÃO, 2009, Salvador. anais do XXIX ENCONTRO NACIONAL DE ENGENHARIA DE PRODUÇÃO, 2009.
-
VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; SILVA, J. R. . Suggestions for the Knowledge Engineering Competition. In: ICAPS - Workshop on Knowledge Engineering for Planning, 2008, Sidney. Procceedings of ICAPS 2008, 2008.
-
GOMES, M.L. ; VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; SILVA, J. R. . Extracting State Constraints from UML Planning Models. In: ICAPS - Workshop on Knowledge Engineering for Planning, 2008, Sidney. Procceedings of ICAPS 2008, 2008.
-
UDO, M. ; VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; SILVA, J. R. . Lean Software Development Domain. In: ICAPS - Workshop on Scheduling and Planning, 2008, Sidney. Procceedings of ICAPS 2008, 2008.
-
SETTE, F. ; VAQUERO, Tiago Stegun ; Park, S.W. ; SILVA, J. R. . Are Automated Planners up to Solve Real Problems?. In: IFAC World Congress, 2008, Seul. Proceedings of the 17th IFAC World Congress, 2008.
-
FOYO, P. M. G. D. ; SILVA, J. R. . The Verification of Real Time Systems Using the TINA Tool. In: 17th IFAC World Congress, 2008, Seul. Proceedings of the 17th IFAC World Congress, 2008.
-
SARMENTO, C. A. ; SILVA, J. R. ; MIYAGI, P. E. ; SANTOS FILHO, D. J. . Modeling of Programs and its Verification for Programmable Locig Controllers. In: 17th IFAC World Congress, 2008, Seul. Proceedings of the 17th IFAC World Congress, 2008.
-
Herrera, I. S. ; Park, S.W. ; SILVA, J. R. . Multi-Agent Control System of a Kraft Recovery Boiler. In: 17th IFAC World Congress, 2008, Seul. Proceedings of the 17th IFAC World Congress, 2008.
-
TAVARES, J. J. P. Z. S. ; SILVA, J. R. . Towards an Effective Informed System. In: 4th ICPR Americas 2008, 2008, São Paulo. Proccedings of the 4th ICPR Americas 2008, 2008.
-
TAVARES, J. J. P. Z. S. ; SILVA, J. R. . Towards Collaborative Manufacturing with Elementary Petri Net Inside RFID Database. In: IFAC/ACCA Workshop on Logistics, 2008, Santiago do Chile. Proccedings of IFAC/ACCA Workshop on Logistics, 2008.
-
FOYO, P. M. G. ; SILVA, J. R. . Using Time Petri Nets for Modeling and Verification of Timed Constrained Workflow Systems. In: 19th Int. Congress of Mechanical Engineering, 2007, Brasilia. Procc. of 19th Int. Congress of Mechanical Engineering. Brasilia: Universidade de Brasilia, 2007.
-
TAVARES, J. J. P. Z. S. ; SANTOS, Marcio dos ; SILVA, J. R. . Informed Manufacturing Applied at Tailor Welded Blank Production. In: 4o. Congresso Brasileiro de Fabricação, 2007, São Pedro - SP. Anais do 4o. Congresso Brasileiro de Fabricação. São Paulo, 2007.
-
CHEN, Rodrigo Chanyon ; TAVARES, J. J. P. Z. S. ; SILVA, J. R. . SGB-library System Information with Rfid. In: 4th CONTECSI ? International Conference on Information Systems and Technology Management, 2007, São Paulo. Procc. of 4th CONTECSI, 2007.
-
TAVARES, J. J. P. Z. S. ; SILVA, J. R. . Improving Auto-ID Value Generation with Informed Process Based on Petri Nets. In: 19th International Conference on Production Research, 2007, Valparaíso. Procc. of 19th ICPR, 2007.
-
VAQUERO, Tiago Stegun ; SETTE, F. ; SANTOS, E. A. ; SILVA, J. R. . Integrated Tools Environment for Modeling and Analysis of Automated Planning Systems. In: COBEM - 19th Congress of Mechanical Engineering, 2007, Brasilia. Procc. of 19th Congress of Mechanical Engineering. Brasilia, 2007.
-
GOMES, M.L. ; UDO, M. ; VAQUERO, Tiago Stegun ; SILVA, J. R. ; TONIDANDEL, F. . Obtaining States Invariants From Class Diagram in UML.P. In: VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007, Florianopolis. Procc. of VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007.
-
ROMERO, V.M.C. ; VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; SILVA, J. R. . Analysis and Management of Plans provided by Automated Planning Systems.. In: VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007, Florianopolis. Procc. of VIII SBAI - Simpósio Brasileiro de Automação Inteligente, 2007.
-
VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; BARROS, L. N. B. ; SILVA, J. R. . Modeling a Real Application as a Planning Problem by using UML.P. In: VIII SBAI - Simpósio Brasileiro de Automação Inteligen, 2007, Florianopolis. Procc. of VIII SBAI - Simpósio Brasileiro de Automação Inteligen, 2007.
-
VAQUERO, Tiago Stegun ; ROMERO, V.M.C. ; SETTE, F. ; TONIDANDEL, F. ; SILVA, J. R. . itSIMPLE2.0 : An Integrated Tool for Designing Planning Domains. In: ICKEPS 2005 Competition on Knowledge Engineering for Planning and Scheduling, 2007, Providence. Proc. of ICKEPS 2005 Competition on Knowledge Engineering for Planning and Scheduling, 2007.
-
VAQUERO, Tiago Stegun ; ROMERO, V.M.C. ; TONIDANDEL, F. ; SILVA, J. R. . An Integrated Tool for Designing Planning Domains. In: International Conference on Automated Planning & Scheduling (ICAPS 2007), 2007, Providence. Procc. of International Conference on Automated Planning & Scheduling (ICAPS 2007, 2007.
-
CHEN, Rodrigo Chanyon ; SILVA, J. R. ; TAVARES, J. J. P. Z. S. . SAVANT-2 e EPCIS-2 Aplicados em Bibliotecas Infomadas Baseadas em Redes de Petri e RFID. In: VIII Simpósio Brasileiro em Automação Inteligente, 2007, Florianópolis. Anais do VIII SBAI, 2007.
-
TAVARES, J. J. P. Z. S. ; SANTOS, Marcio dos ; SILVA, J. R. . Informed Manufacturing ? a Contextual Data Network. In: 3rd Third International Conference on Production Research ?Americas? Region 2006, 2006, Curitiba. Procc of 3rd Third International Conference on Production Research ?Americas? Region 2006, 2006.
-
SANTOS, R. B. ; SILVA, J. R. . Modelagem de Sistemas Flexíveis de Manufatura Baseado em Redes de Petri Temporizadas. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática, 2006.
-
PINA, I. B. ; SICCHAR, J. ; SILVA, J. R. ; BASTIDAS, G. ; BRITTO, W. ; SANSONE, J. L. ; del Rio, D. G. . Modelagem de automação de sistemas de manufatura flexível com PN GHENESys IEC61131 Compatível. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática, 2006.
-
QUEIROZ, R. A. ; PRINCIPE, A.H. ; Ibrahim, R.C. ; SILVA, J. R. . ESTUDO DA MOBILIDADE DE INSTRUMENTOS CIRÚRGICOS PARA UM SISTEMA ROBOTIZADO DEDICADO A CIRURGIA DE CATARATA. In: IV Congresso Nacional de Engenharia Mecânica, 2006, Recife. Anais do IV Congresso Nacional de Engenharia Mecânica, 2006.
-
TONIDANDEL, F. ; VAQUERO, Tiago Stegun ; SILVA, J. R. . Reading PDDL, Writing an Object-Oriented Model. In: Ibero-American and Brazilian Simposium in Artificial Intelligence, 2006, Ribeirão Preto. Procc. of the IBERAMIA/SBIA, 2006.
-
VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; BARROS, L. N. B. ; SILVA, J. R. . On the use of UML.P for modeling a real planning problem. In: 16th International Conference on Automated Planning and Scheduling, 2006, Cumbria. Proceeding of 16th International Conference on Automated Planning and Scheduling. Londres, 2006.
-
CANDIDO, R. ; SILVA, J. R. . ESCRITORIO DE GERENCIAMENTO DE PROJETOS EM UMA INCUBADORA DE EMPRESAS - ESTUDO DE CASO. In: CONGRESOO BRASILEIRO DE GERENCIAMENTO DE PROJETOS, 2006, Florianópolis. Anais do CONGRESOO BRASILEIRO DE GERENCIAMENTO DE PROJETOS, 2006.
-
SILVA, J. R. ; TAVARES, J. J. P. Z. S. . Sistemas de Informação na Manufatura Informada. In: Simposio Brasileiro de Automação Inteligente, 2005, São Luiz. Anais do VII SBAI, 2005.
-
SILVA, J. R. ; SANTOS, E. A. ; VAQUERO, Tiago Stegun . Specification and Analysis for Automated Flexible Manufacturing. In: 18th Congress of Mechanical Engineering, 2005, Ouro Preto. Anals of the 18th Cobem, 2005.
-
SILVA, J. R. ; TAVARES, J. J. P. Z. S. ; SANTOS, Marcio dos . Management and Collecting Data in the Informed Manufacturing. In: 18th International Congress of Mechanical Engineering, 2005, Ouro Preto. Anals of the 18th Int. Congress of Mechanical Engineering, 2005.
-
SILVA, J. R. ; VAQUERO, Tiago Stegun ; TONIDANDEL, F. . The itSIMPLE tool for Modeling Planning Domains. In: International Conference on Automated Planning and Scheduling, 2005, Monterey. Proceedings of the ICAPS 2005, 2005.
-
SILVA, J. R. ; PINA, I. B. ; STUMPER, A. ; ROLDAN, F. V. ; SAUDRIA, A. ; SICCHAR, J. ; SANSONE, J. L. ; ROS, J. . UO Experience of Automation Courses in Moodle Platform. In: Int. Conference on Interactive Computer-aided Learning, 2005, Villach. Proceeedings of the Int. Conference on Interactive Computer-aided Learning, 2005.
-
SILVA, J. R. ; SAUDRIA, A. ; PINA, I. B. ; GOMIS, O. ; LEAL, C. ; VILLAFRUELA, L. ; ARIAS, K. ; GOMES, M. ; BASTIDAS, G. . GHENeSys PN Automation Modelling and PLCs Application Programming Inside e-learning Courses. In: Int. Conference on Interacive Computer-aided Learning, 2005, Villach. Proceedings of nt. Conference on Interacive Computer-aided Learning, 2005.
-
SILVA, J. R. ; GOMIS, O. ; FARIAS, M. ; PINA, I. B. ; SICCHAR, J. ; GOMES, M. ; SAUDRIA, A. ; BRITTO, W. ; GUZMAN, D. . E-Learning of Mechatronics System Automation in EST-UEA. In: Int. Conference on Interactive Computer-aided Learning, 2005, Villach. Proceedings of the ICL, 2005.
-
SILVA, J. R. ; SANTOS, E. A. . Applying Petri Nets to Requirements Validation. In: 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004, Salvador. Preprints of the 11th INCOM 2004, 2004.
-
NABUCO, O. ; ROSÁRIO, J. M. ; SILVA, J. R. ; DRIRA, K. . Scientif Collaboration and Knowledge Sharing in the Virtual Manufacturing Network. In: 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004, Salvador. Preprints of the 11th INCOM 2004, 2004. v. 1. p. 1-10.
-
SILVA, J. R. ; PINA, I. B. ; RODRIGUES, E. A. . CONTADORES Y TEMPORIZADORES IEC 1131-3 MODELADOS EN PN GHENeSys. In: Congresso Latino del Controle Automático, 2004, Havana. Anales del CLCA 2004, 2004.
-
SILVA, J. R. ; PINA, I. B. ; RODRIGUES, E. A. . Analisis Matematico de Modelo de en OPN IEC1131 Compatibles. In: Congresso Latino de Controle Automatico, 2004, Havana. Anales del CLCA 2004. Havana, 2004.
-
Koyama, M.F. ; Pereira, F.E.D. ; SILVA, J. R. ; ROSÁRIO, J. M. ; DRIRA, K. . MANUFACTURING AUTOMATION NETWORK?S COOPERATIVE E-SPACE. In: 18th. IFIP World Computer Congress-5th Working Conference on Virtual Enterprises, 2004, Toulouse. Procc. of the IFIP Working Conference on Virtual Enterprises, 2004. v. 1. p. 443-450.
-
NABUCO, O. ; Koyama, M.F. ; SILVA, J. R. ; ROSÁRIO, J. M. ; DRIRA, K. . Finding Manufacturing Expertise using Ontologies and Cooperative Agents. In: IFIP International Conference on Artificial Intelligence Applications and Inovations, 2004, Toulouse. Procc. of the IFIP nt. Conf. on Artificial Intelligence Applications and Inovations, 2004. v. 1. p. 117-127.
-
SILVA, J. R. ; M. Poli ; RESTREPO, P. A. . Towards a Modeling Discipline for Building and Residence Automation. In: 17th Internations Conference in Mechanical Engineering, 2003, São Paulo. COBEM 2003 : proceedings São Paulo : ABCM, 2003, 2003.
-
SILVA, J. R. ; FOYO, P. M. G. . Towards a Unified View of Petri Nets and Object Oriented Modeling. In: 17th International Conference in Mechanical Engineering, 2003, São Paulo. COBEM 2003 : proceedings São Paulo : ABCM, 2003, 2003.
-
SILVA, J. R. ; SANTOS, E. A. . Viewpoint Requirements Validation Based on Petri Nets. In: 17th International Conference in Mechanical Engineering, 2003, São Paulo. Anals of 17th International Conference in Mechanical Engineering, 2003.
-
SILVA, J. R. ; SANTOS, E. A. . Applying Petri nets to requirements validation. In: 17 International Congress of Mechanical Engineering, 2003, São Paulo. COBEM 2003: Proceedings São Paulo: ABCM, 2003.
-
FOYO, P. M. G. ; SILVA, J. R. . Una propuesta de unificación de redes de Petri y orientación a objetos para el diseño de sistemas complejos de producción. In: 2nd Intenational Conference in Automatic Control, 2002, Santiago de Cuba. Proceedings of Aut2002, 2002.
-
PINA, I. B. ; SILVA, J. R. ; RODRIGUES, E. A. . Modeled in PNs of Automations with PLCs in the Cuban Sugar Industry. In: 2nd International Conference on Automatic Control, 2002, Santiago de Cuba. Proceedings of Aut2002, 2002.
-
SANTOS FILHO, D. J. ; SILVA, J. R. ; MARUYAMA, N. ; MIYAGI, P. E. . Estruturação da Modelagem de Processos em Sistemas Produtivos. In: 5 SBAI - Simpósio Brasileiro de Automação Inteligente, 2001, Canela. Anais Porto Alegre : SBA, 2001, 2001.
-
RAMOS, R. L. C. B. ; SILVA, J. R. . Integron Based Control Architecture for AUV's. In: 11th International Offshore and Polar Engineering Conference, 2001, Stabanger. Proceedings of the 11th International Offshore and Polar Engineering Conference, 2001.
-
ROSSI, R. R. ; MESSINA, L. C. ; AMARANTE, L. M. N. ; KAIZER, A. ; AUGUSTO, O. B. ; SILVA, J. R. . MODU's Mooring Systems for Campos Basin Deep Water Fields. In: 20th International Conference on Offshore Mechanics and Artic Engineer, OMAE'2001, 2001, Rio de Janeiro. OMAE 2001 : proceedings New York : ASME, 2001, 2001.
-
TAVARES, J. J. P. Z. S. ; BATALHA, G. ; SILVA, J. R. . Formalization of the Information System of Material Management for a Case Study : Tailored Welded Blank Manufacturing. In: 8th. Int. Conf. Metal Forming 2000, 2000, Krakovia, 2000.
-
TAVARES, J. J. P. Z. S. ; SILVA, J. R. ; BATALHA, G. F. . Towards a Formalization to the Information System of Material Management in Manufacturing Process. In: 3rd World Congress on Intelligent Manufacturing Processes & Systems, 2000, Cambridge. Proceedings Cambridge, Massachussetts : International Institution Eng. Research, 2000.
-
SILVA, J. R. ; NARITA, F. A. . Estruturação em planejamento inteligente: Aplicações em robótica. In: 8 Simpósio Internacional de Iniciação Científica da Universidade de São Paulo, 2000, São Carlos. 8. SIICUSP : resumos São Paulo : USP, 2000, 2000. v. 2. p. 261.
-
SILVA, J. R. ; BATALHA, G. F. . Formatization of the information system of material management for a case study: tailored welded blank manufacturing. In: 8 International Conference on Metal Forming, 2000, Kraków. Metal forming 2000 : Proceedings Rotterdam, Brookfield : A.A. Balkema, 2000, 2000. p. 495-502.
-
SILVA, J. R. ; TAVARES, J. J. P. Z. S. ; BATALHA, G. F. . Informatização da administração de materiais na fabricação de blank soldado. In: Congresso Nacional de Engenharia Mecânica - CONEM 2000, 2000, Caucaia. CONEM 2000 : anais Caucaia, Ceará, 2000.
-
SILVA, J. R. ; TAVARES, J. J. P. Z. S. ; BATALHA, G. F. . Informatização do fluxo de materiais na produção de Tailored blank soldado. In: 4 Encontro de Especialistas em Automação, 2000, Belo Horizonte. Anais São Paulo : ABM, 2000, 2000. p. 105-114.
-
RAMOS, R. L. C. B. ; SILVA, J. R. . An Integron-Based Architecture for the Modelling of Complex Dynamic Systems. In: 4 Simposio Brasileiro de Automação Inteligente, 1999, São Paulo. Anais 4SBA, 1999. p. 527-532.
-
SILVA, J. R. ; SOUZA, A. ; MOSCATO, L. A. . Modelagem de sequenciamento de tarefas em operações de montagem. In: 6 Pan-American Congres of Applied Mechanics, 1999, Rio de Janeiro. Applied Mechanics in the Americas Rio de Janeiro : AAM/ABCM, 1999, 1999. v. 6. p. 519-522.
-
RAMOS, R. L. C. B. ; SILVA, J. R. . A Formal Model for Integrated Complex Dynamic Systems. In: IFAC Workshop on Integrated Manufacturing Systems, 1998, Gramado. IMS'98, 1998.
-
SILVA, J. R. . Interactive Design of Integrated Systems. In: IFIP Confetence on Balanced Automation Systems, 1998, Praga. BASYS'98, 1998.
-
RAMOS, R. L. C. B. ; SILVA, J. R. . Controle Integrado: Aplicação Em Sistemas Prediais. In: 3o. Simposio Brasileiro de Automação Inteligente, 1997. Anais do 3o. Simposio Brasileiro de Automação Inteligente. Vitoria, ES. p. 160-165.
-
TAVARES, J. J. P. Z. S. ; SILVA, J. R. . Fusão Entre Objetos e IA Na Modelagem e Design de Sistemas Automatizados. In: 3o. Simposio Brasileiro de Automação Inteligente, 1997. Anais do 3o. Simposio Brasileiro de Automação Inteligente. Vitoria, ES. p. 359-364.
-
SHIMADA, L. M. ; SILVA, J. R. . A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo de Redes de Petri. In: 3o. Simposio Brasileiro de Automação Inteligente, 1997. Anais do 3o. Simposio Brasileiro de Automação Inteligente. Vitoria, ES. p. 129-135.
-
SILVA, J. R. ; MIYAGI, P. E. ; ARAKAKI, J. . Ambiente para desenvolvimento de teste de técnicas de integração e sistemas em edifícios inteligentes. In: 1 Workshop SINTED sobre Edifícios Inteligentes, 1997, Santa Fé de Bogotá. Anais Santa Fé de Bogotá, 1997. p. 13-22.
-
SILVA, J. R. . Integration de Sistemas Prediales por Supervisores Basados en Redes de Petri. In: Workshop SINTED de Automacion Predial, 1997, Bogotá. Anales del SINTED Workshop, 1997.
-
MIYAGI, P. E. ; SILVA, J. R. . Towards A Formal Approach To Functionality In The Design Of Flexible Manufacturing Systems. In: The Annual Conference of ICIMS-NOE: Life Cicle Approaches to Production System, 1996, Toulouse. ASI´96 : Proceedings Amsterdam : Elsevier, 1996. Tolouse, Fr, 1996. p. 217-224.
-
MIYAGI, P. E. ; SILVA, J. R. ; SEBASTIÃO, J. R. ; RODRIGUES, M. S. . A High Level Integrated Petri Environment To The Design Of FMS. In: IASTED Int. Conference on Modelling, Simulation and Optimization, 1996, Calgary. Anais do IASTED'96 (anais em CD). Gold Coast, Australia, 1996.
-
SILVA, J. R. ; RAMOS, R. L. C. B. ; MIYAGI, P. E. . Controle supervisório para integração de sistemas prediais. In: 7 Congresso Nacional de Automação, 1996, São Paulo. Congresso Nacional de Automação, 7. Anais São Paulo : CONAI, 1996, 1996. p. 14-19.
-
SILVA, J. R. ; RAMOS, R. L. C. B. ; MIYAGI, P. E. . Supervisory control of integrated building systems: a balanced approach. In: 2 International Conference on Architectures and Design Methods for Balanced Automation Systems, 1996, Lisboa. Proceedings London : Chapman & Hall, 1996, 1996. p. 65-72.
-
CAMARINHA-MATOS, L. M. ; SILVA, J. R. ; AFSARMANESH, H. . Multi-Agent Systems In Fms/Fas. In: IFAC 4th. Symposium on Low Cost Automation, 1995, Buenos Aires. Proc. of the 4th Symposium on Low Cost Automation. Buenos Aires, Argentina, 1995. p. 180-187.
-
SILVA, J. R. ; SHIMADA, L. M. ; Um Sistema de Planejamento Semi-Reativo Para Sistemas de Produção Baseado Em Redes de Petri. In: 2o. Simposio Brasileiro de Automação Inteligente, 1995. anais do 2o. Simposio Brasileiro de Automação Inteligente. Curitiba, Pr. p. 171-176.
-
SILVA, J. R. . Distributed Coordination: A Rational Approach. In: 14th. IJCAI - Int. Joint Conference in Artificial Intelligence, 1995. Communications of the Workshop in AI in Distributed Information Networks.
-
SILVA, J. R. ; CAMARINHA-MATOS, L. M. ; AFSARMANESH, H. . Sistemas de produção e processos de manufatura. In: 4 Simposium Low Cost Automation, 1995, Buenos Aires. Preprints Buenos Aires : IFAC, 1995, 1995. p. 180-187.
-
SILVA, J. R. . Object-orientede approach to the design of flexible manufacturing systems. In: International Conference on Architectures and Design Methods for Balanced Automation Systems, 1995, Londres. Proceedings of the IEEE/ECLA/IFIP London : Chapman and Hall, 1995, 1995. p. 96-106.
-
SILVA, J. R. ; MIYAGI, P. E. . PFS/MFG: A high level net for the modeling of discrete manufacturing systems. In: International Conference on Architectures and Design Methods for Balanced Automation Systems, 1995, Londres. Proceedings IEEE/ECLA/IFIP London : Chapman and Hall, 1995, 1995. p. 349-362.
-
SILVA, J. R. ; KAGOHARA, M. Y. ; MOTOHASHI, C. T. ; MIYAGI, P. E. . Control programs generator for manufacturing cells. In: 10 Congresso Brasileiro de Automática, 1994, Rio de Janeiro. Anais Rio de Janeiro: SBA, 1994, 1994. v. 1. p. 124-126.
-
SILVA, J. R. ; KAGOHARA, M. Y. ; TOLEDO, C. F. M. ; MIYAGI, P. E. . Automatic generation of control programs for manufacturing cells. In: IFIP WG5. 7 Working Conference on Evaluation of Production Management Methods, 1994, Amsterdam. Production Management Methods: Proceedings, 1994. v. B-19. p. 335-343.
-
SILVA, J. R. ; MOTOHASHI, C. T. ; MIYAGI, P. E. ; KAGOHARA, M. Y. . Control programs generator for manufacturing cells. In: 1 Encontro de Pós-Graduação em Engenharia Mecânica, 1994, São Paulo. Anais São Paulo: Poli-USP, 1994, 1994. v. 1. p. 79-81.
-
SILVA, J. R. ; SHIMADA, L. M. . Estuturação do problema de planejamento dinâmico em sistemas produtivos usando redes de Petri. In: 1 Encontro de Pós-Graduação em Engenharia Mecânica, 1994, São Paulo. Anais São Paulo : Poli-Usp, 1994, 1994. v. 1. p. 21-26.
-
SILVA, J. R. ; OSORIO, L. A. F. G. ; CAMARINHA-MATOS, L. M. ; MIYAGI, P. E. . Design of a Supervision System For Integrated Software Architectures In Cim: A Framework For Concurrent Engineering. In: ECLA WORKSHOP IN COMPUTER INTEGRATED MANUFACTURING, 1993, Lisboa. European Community - Latin América Workshop on CIM: Proceedings Lisboa: UNINOVA,1993. LISBOA, PORTUGAL, 1993. p. 17-22.
-
SILVA, J. R. . Toward A Multi-Agent Manager To A Set Of Agv'S. In: CONFERENCES IN ROBOTICS AND MANUFACTURING SYSTEMS, 1993. MEXICO, MX. p. 0-0.
-
SILVA, J. R. ; PESSOA, F. J. B. . Análise semi-automática de mark flow graphs. In: Workshop Ibero-Americano de Sistemas Autônomos em Robótica e Cim, 1992, Lisboa. Workshop Ibero-Americano de Sistemas Autônomos em Robótica e Cim, 1992. p. 25-30.
-
SILVA, J. R. . Reutilizacao de Designs de Sistemas de Producao I. In: 11 Congresso Brasileiro de Engenharia Mecânica, 1991, São Paulo. Anais COBEM 1991. SAO PAULO, SP, 1991. p. 505-508.
-
SILVA, J. R. ; MIYAGI, P. E. . Reutilizacao de Designs de Sistemas de Produção. In: Workshop Internacional em Controle Inteligente, 1991, Vitória. Workshop Internacional em Controle Inteligente. Anais Vitória : UFES, 1991. RIO DE JANEIRO, RJ, 1991. p. A1-A4.
-
SILVA, J. R. . Sipe: Uma Proposta de Automacao Para O Projeto de Engrenagens. In: III CONGRESSO BRASILEIRO DE ENGRENAGENS, 1990. SAO PAULO, SP. p. 0-0.
-
SILVA, J. R. . Reutilizacao e Historia de Designs Em Ambientes Baseados Em Conheci- Mento: Um Estudo de Caso. In: WORKSHOP EM AMBIENTES DE SOFTWARE BASEADOS EM CONHECIMENTO, 1989. NOVA FRIBURGO, RJ. p. 0-0.
-
SILVA, J. R. ; LUCENA, C. J. P. ; VEGA, I. S. ; ARAKAKI, J. ; FINGER, M. . Aipusp:Ambiente para o projeto de Sistemas de Producao. In: XXII Congresso Nacional de Informática, 1989, São Paulo. XXII Congresso Nacional de Informática. SAO PAULO, 1989. p. 665-670.
-
SILVA, J. R. . The Specification Of A Knowledge Based Environment For The Design Of Production Systems. In: 6TH SYMPOSIUM ON INFORMATION CONTROL PROBLEMS IN MANUFACTURING TECHNO-LOGY - INCON, 1989. MADRI, ESPANHA. p. 0-0.
-
SILVA, J. R. ; VEGA, I. S. ; SICHMAN, J. S. ; LEVENTHAL, J. ; CAMARGO JUNIOR, J. B. ; BARETTO, M. R. P. . Aipusp: Ambiente Inteligente para o Projeto de Unidades de Sistemas de Produção. In: Sid Informática, 1989, São Paulo. Coletânea de Resultados de Pesquisas São Paulo: Sid Informática, 1989. v. 1. p. 103-142.
-
SILVA, J. R. . Automacao e Inteligencia Artificial. In: SIMPOSIO DE INFORMATICA E AUTOMACAO INDUSTRIAL, 1988. SANTOS, SP. p. 0-0.
-
Santiago, S.B. ; SILVA, J. R. . Development of Strategic Roadmap for Industry 4.0 Based on Maturity and Readiness. In: Int. Joint Conference on Industrial Engineering and Operations Management, 2025, Bari. Anals of IJCIEOM 2025. London: Springer, 2025.
-
OLIVEIRA, V. C. ; DANIEL, L. A. ; J. Reinaldo Silva . Agroservices: Service Design Applied to ICLF. In: 3rd. International Symposium on Integrated Crop-livestock-forest systems, 2015, Brazilia. Procc. on the 3rd. International Symposium on Integrated Crop-livestock-forest systems, 2015.
-
VAQUERO, Tiago Stegun ; SILVA, J. R. ; Beck, J.C. . Analyzing Plans and Planners in itSIMPLE3.1. In: International Conference in Planning and Scheduling, 2010, Toronto. Proceedings of the ICAPS. Menlo Park: AAAI Press, 2010. p. 66-68.
-
SILVA, J. R. ; JACOTO, A. ; SANTOS, A. B. . Implementação em visual prolog de um roteador de helicópteros. In: 6 Simpósio de Iniciação Científica da Universidade de São Paulo, 1998, São Paulo. 6 Simpósio de Iniciação Científica da Universidade de São Paulo, 1998. v. 2. p. 359.
-
SILVA, J. R. ; SANTOS, A. B. ; JACOTO, A. . Implementação em visual prolog de um roteador de helicópteros. In: 6 Simpósio de Iniciação Científica da Universidade de São Paulo, 1998, São Carlos. Simpósio de Iniciação Científica da Universidade de São Paulo, 6. SICUSP, USP, 1998. v. 2. p. 359.
-
SILVA, J. R. ; WOLLE, F. A. C. . Sistema supervisório descentralizado baseado em íntegrons. In: 6 Simpósio de Iniciação Científica da Universidade de São Paulo, 1998, São Carlos. Anais 6.SICUSP : resumos São Paulo : USP, 1998, 1998. v. 2. p. 364.
-
SILVA, J. R. ; JACOTO, A. . Aplicação de Redes de Petri a um problema de planejamento. In: 5 Simpósio de Iniciação Científica da Universidade de São Paulo, 1997, São Paulo. 5 Simpósio de Iniciação Científica da Universidade de São Paulo, 1997. v. 2. p. 280.
-
SILVA, J. R. . Modelagem de sistemas de informação para empresas virtuais. In: 5 Simpósio de Iniciação Científica da Universidade de São Paulo, 1997, São Paulo. Simpósio de Iniciação Científica da USP, 5. Resumos, São Paulo : USP, 1997, 1997. v. 2. p. 299.
-
SILVA, J. R. ; JACOTO, Adriana . Programação em Prolog aplicada a casos de planning em robótica. In: 4 Simpósio de Iniciação Científica da Universidade de São Paulo, 1996, São Paulo. 4 Simpósio de Iniciação Científica da Universidade de São Paulo, 1996. v. 2. p. 336.
-
SILVA, J. R. ; ZANATA, S. A. . Análise e modelagem de sistemas a eventso discretos. Cálculo da distância síncrona e estudo do problema de atingibilidade em rede de Petri c / e, p / t e extendidas. In: 4 Simpósio de Iniciação Científica da Universidade de São Paulo, 1996, São Carlos. Resumos São Paulo: USP, 1996. v. 2. p. 374.
-
SILVA, J. R. ; ZANATA, S. A. . Análise de comportamento de sistemas discretos em PFS/MFG. In: 3 Simpósio de Iniciação Científica da Universidade de São Paulo, 1995, São Carlos. Resumos São Paulo: USP, 1995. v. 2. p. 320.
-
SILVA, J. R. ; TSUGAWA, M. F. ; MOSCATO, L. A. . Cálculo da peseudo-inversa através do método de hestenes. In: 11 Congresso de Iniciação Científica e Tecnológica em Engenharia, 1992, São Carlos. Anais CICTE-92 São Carlos:Cetepe, 1992. p. 494.
-
SILVA, J. R. ; DEO, F C ; ARAKAKI, J. . Interface gráfica para um simulador de Rede de Petri. In: 10 Congresso de Iniciação Científica e Tecnológica em Engenharia, 1991, São Carlos. CICTE-91, 1991. p. 409.
-
SILVA, J. R. ; MONNERAT, N. L. P. M. . Matrizes inversas generalizadas: uma aplicação para verificação de condição de atingibilidade em redes de Petri. In: 10 Congresso Brasileiro de Iniciação Científica e Tecnológica em Engenharia, 1991, São Carlos. CICTE-91, 1991. p. 408.
-
SILVA, J. R. ; PESSOA, F. J. B. . Equações de estado para Mark Flow Graphs. In: 10 Congresso de Iniciação Científica e Tecnológica em Engenharia, 1991, São Carlos. Anais CICTE-91 São Carlos : Cetepe, 1991, 1991. p. 410.
-
SILVA, J. R. ; TELLES, M. C. Q. . SIPE: Um Sistema inteligente para projeto de engrenagens. In: 8 Congresso de Iniciação Científica e Tecnológica em Engenharia, 1989, São Carlos. Anais CICTE-89 São Carlos : Cetepe, 1989, 1989. p. 235.
-
SILVA, J. R. ; TELLES, M. C. Q. ; MIYAGI, P. E. . Sistema em lisp para manipulação de matrizes. In: 7 Congresso de Iniciação Científica e Tecnológica em Engenharia, 1988, São Paulo. Anais : CICTE-88 São Paulo : Cetepe, 1988, 1988. p. 189.
-
J. Reinaldo Silva . Reflexions About the Future of Scientific Publications. 2022. (Apresentação de Trabalho/Congresso).
-
Cordero, A.F. ; SILVA, J. R. ; Pessoa, O.F. ; Ferronato, P. . Consciência artificial: uma visão baseada em inteligëncia artificial. 2019. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . PSA: Product-Service Architecture. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . A Era da Mecatrônica. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
Salmon, A.O. ; FOYO, P. M. G. ; SILVA, J. R. . Planejamento de Ações em Sistemas Temporizados Hierárquicos Usando GHENeSys. 2016. (Apresentação de Trabalho/Congresso).
-
SILVA, JOSÉ R. . AI Planning & Scheduling and Petrobras helicopters. 2016. (Apresentação de Trabalho/Seminário).
-
SILVA, JOSÉ R. . Requirements Engineering:Service Design methods based on EA. 2016. (Apresentação de Trabalho/Seminário).
-
SILVA, J. R. . New Trends in Manufacturing: Converging to Service and Intelligent Systems. 2014. (Apresentação de Trabalho/Congresso).
-
SILVA, J. R. . Scheduling Real-Time Systems with Periodic Tasks using a Model-chedking Approach. 2014. (Apresentação de Trabalho/Congresso).
-
SILVA, J. R. . Design de Sistemas de Serviço Automatizados. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. ; DUTRA, D. S. ; Javales, R. ; LIMA JR., W. T. . HUMANUS : Reunindo Tecnologia e Humanidades. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . Engenharia na Era da Comunicação. 2014. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . Manufacturing Service: the Challenge of Intelligent Manufacturing. 2013. (Apresentação de Trabalho/Congresso).
-
FOYO, P. M. G. ; Salmon, A.O. ; SILVA, J. R. . Requirement Analysis of Automated Projects Using UML/Petri Nets. 2011. (Apresentação de Trabalho/Congresso).
-
Miralles, J.A.SP. ; SILVA, J. R. . Enquadrando GHENeSys dentro do Petri Net Standar. 2010. (Apresentação de Trabalho/Congresso).
-
SILVA, J. R. . Engenharia de Serviços: um modelo de negócios na engenharia ou uma nova disciplina da Engenharia nos negócios?. 2010. (Apresentação de Trabalho/Simpósio).
-
Batocchio, A. ; SILVA, J. R. . Workshiop: Tendencias e Aplicações em RFID. 2010. (Apresentação de Trabalho/Seminário).
-
SILVA, J. R. . Inteligência Artificial, Planejamento e Automação. 2010. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . Serviços e Tecnologias Colaborativas - MANET. 2009. (Apresentação de Trabalho/Simpósio).
-
Alvarez, R.L.P. ; MARTINS, M. R. ; SILVA, J. R. . A IMPORTÂNCIA DA INTEGRAÇÃO ENTRE MANUFATURA E PÓS VENDAS E SUAS CONSEQÜÊNCIAS: UM ESTUDO DE CASO PARA PRODUTOS DE INFORMÁTICA. 2009. (Apresentação de Trabalho/Simpósio).
-
SILVA, J. R. . The Role of robotics in Comtemporary Activities. 2009. (Apresentação de Trabalho/Congresso).
-
SILVA, J. R. ; FOYO, P. M. G. ; Miralles, J.A.SP. ; Salmon, A.O. . Introducing Object-orientation in Unified Petri Net Approach. 2009. (Apresentação de Trabalho/Congresso).
-
SILVA, J. R. ; POLI JÚNIOR, M. A. ; Pereira, C.S. ; Machado, J.M. . A Holonic Approach to the Integration of Automated Systems. 2009. (Apresentação de Trabalho/Congresso).
-
SILVA, J. R. . Debate sobre Referencial e Denominações dos Cursos de Engenharia. 2009. (Apresentação de Trabalho/Comunicação).
-
SANDRI, S. A. ; SILVA, J. R. . Workshop Guilherme Bittencourt. 2009. (Apresentação de Trabalho/Seminário).
-
SILVA, J. R. . Modeling and Design of Discrete Systems: A Petri Net Approach. 2008. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . Automação e Controle. 2007. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . E-manet no Contexto de Rede Virtual Cooperativa Direcionada ao Ensino e Pesquisa de Controle e Automação da Manufatura. 2007. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . The Challenge of Colaborative Work as a Possibility to Support Distributed Research Networks. 2006. (Apresentação de Trabalho/Conferência ou palestra).
-
SILVA, J. R. . Sistemas Inteligentes para Manufatura. 2004. (Apresentação de Trabalho/Conferência ou palestra).
-
FERASOLI, H. ; SILVA, JOSÉ REINALDO ; ALVES, S. F. R. . Arduino para Robótica. São Paulo: Blucher, 2017. (Tradução/Livro).
-
FERASOLI, H. ; SILVA, J. R. ; ALVES, S. F. R. . Introdução à robótica. São Paulo: Editora UNESP/Blucher Editora, 2013. (Tradução/Livro).
-
SILVA, J. R. ; Pessoa, M. ; PEREIRA, N.A. ; ROMANO, V. . Gestão e Produção. São Carlos, 2002. (Prefácio, Pósfacio/Introdução)>.
-
SILVA, J. R. . Robotica Industrial: Aplicação na Indústria de Manufatura e de Processos. São Paulo, 2002. (Prefácio, Pósfacio/Prefácio)>.
Outras produções
SILVA, J. R. ; Park, S.W. ; HORIKAWA, O. . Automação e otimização de planta de produção de biodiesel. 2008.
BRACARENSE, A. Q. ; SILVA, J. R. ; Porto, A.J.V. ; GONÇALVES FILHO, E. V. . Inovação Tecnológica no processo produtivo de empresa de equipamento de construção. 2001.
SILVA, J. R. ; SHIMADA, L. M. ; FOYO, P. M. G. ; SILVA, F. S. C. . SIPROV: Sistema Inteligente para o Planejamento de Vôo de Helicópteros. 2000.
SILVA, J. R. ; AUGUSTO, O. B. . SEANC: Sistema Inteligente para Operações de Ancoragem. 1999.
SILVA, JOSÉ REINALDO ; Vital, E.L. . Digital Amazon. 2024.
Miralles, J.A.SP. ; SILVA, J. R. ; FOYO, P. M. G. . GHENeSys 2.0. 2011.
FOYO, P. M. G. ; Miralles, J.A.SP. ; SILVA, J. R. . Verificador para sistemas de tempo real. 2010.
VAQUERO, Tiago Stegun ; SILVA, J. R. ; TONIDANDEL, F. . itSIMPLE 3.0. 2009.
Miralles, J.A.SP. ; del Foyo, Pedro M. G. ; SILVA, JOSÉ R. . GHEjNeSys (General Hierarchical Enhanced Net System). 2009.
SILVA, J. R. ; TAVARES, J. J. P. Z. S. . DEMIS Distributed Environment and Multiagent Information System. 2008.
SILVA, J. R. ; FOYO, P. M. G. . GHENeSys General Hierarchical Enhanced Net System. 2008.
VAQUERO, Tiago Stegun ; SILVA, J. R. ; ROMERO, V.M.C. ; TONIDANDEL, F. . itSIMPLE2.0 : An Integrated Tool for Designing Planning Domains. 2007.
VAQUERO, T. S. ; Tonidandel, Flavio ; SILVA, J. R. . itSIMPLE (Integrated Tools and Software Interface to Manage Planning Environment). 2007.
SILVA, J. R. ; SANTOS, E. A. . e-drug control. 2006.
VAQUERO, Tiago Stegun ; SILVA, J. R. ; TONIDANDEL, F. . itSIMPLE1.0: Ambiente Integrado de Modelagem e Análise de Domínios de Planejamento Automático. 2005.
SILVA, J. R. ; SANTOS, E. A. . Especificando requisitos de sistemas com redes de Petri. 2003.
SILVA, J. R. ; TAVARES, J. J. P. Z. S. . Sistemas de informação: estudo de caso no fluxo de materiais para a fabricação de blanks. 2000.
SILVA, J. R. ; TAVARES, J. J. P. Z. S. . Vygotsky, L. S.: Estudo de caso no fluxo de materiais para a fabricação de blanks. 2000.
SILVA, J. R. ; WOEI, S. S. . Análise de invariantes na rede de Petri Ghenesys. 1998.
SILVA, J. R. ; MONERAT, N. L. M. P. . Análise da propriedade distância síncrona na rede GheneSys. 1998.
SILVA, J. R. ; SHIMADA, L. M. . A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri. 1997.
SILVA, J. R. ; SHIMADA, L. M. . Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de Petri. 1994.
SILVA, J. R. ; MONNERAT, N. L. P. M. . Sistemas de produção e processos de manufatura (controle). 1994.
SILVA, J. R. ; LUCENA, C. J. P. ; CAMARGO JÚNIOR, J. B. ; BARRETO, M. R. P. . Specification on a knowledge based environment for the design of production systems. 1989.
SILVA, J. R. ; LUCENA, C. J. P. . Um novo paradigma para o problema de reutilização de software. 1988.
SILVA, JOSÉ REINALDO . Mais Negros na Engenharia, mas ainda muito a avançar.. 2024. (Programa de rádio ou TV/Entrevista).
SILVA, JOSÉ REINALDO ; Vargas, R. . Engenharia moderna e diversidade. 2024. (Programa de rádio ou TV/Entrevista).
Bertaglia, P. ; Santiago, S.B. ; J. Reinaldo Silva . Industria 40: O que precisamos saber?. 2022. (Programa de rádio ou TV/Mesa redonda).
SILVA, JOSÉ REINALDO ; PESSOA JR., O. F. ; Cordero, A.F. . Consciência artificial: uma visão baseada em inteligëncia artificial. 2019. (Programa de rádio ou TV/Mesa redonda).
SILVA, J. R. ; FOYO, P. M. G. . Modeling and Design of Discrete Systems: A Petri Net Approach. 2008. .
PINA, I. B. ; SILVA, J. R. . Modelagem e Síntese de Programas de PLC Utilizando Redes de Petri. 2000 (Relatório de pós-doutorado) .
Projetos de pesquisa
-
2024 - Atual
CREDIT - Cloud Roadmap Environment for Digital Transformation, Descrição: The D-Lab has invested in modeling and analyzing the Digital Transformation process in different areas, focusing on (automated) manufacturing. CREDIT is a project that reflects this effort and has as a primary goal the modeling of strategic roadmaps for digital transformation following a system design approach. Other systems are included as services, such as the PIMM4.0 (https://www.pimm40.com.br) created by Sandro Breval, a research collaborator of D-Lab. CREDIT explores knowledge about maturity and readiness using PIMM4.0 or other elicitation processes to orchestrate, based on requirements analysis, a roadmap development for I4.0. Therefore, symbolic AI and automated planning fit MBRE (Model-Based Requirements Engineering), also developed by D-Lab, to merge business goals into automation analysis. This cloud environment is a cloud service system.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Jose Reinaldo Silva - Coordenador / Elinilson Vital - Integrante / Sandro Breval Santiago - Integrante.
-
2024 - Atual
D4PlanS - Design for AI Planning Services, Descrição: D4PlanS is a network of micro-services integrating an cloud environment to design Artificial Intelligent planning Systems. The design environment apply techniques of planning design together with goal-oriented approach and formalization in hierarchical Petri Nets. HTN is the base of the model and "tasks" are re-interpreted as services composing a network to provide higher level plan design. The plan design can be delivered to automatic planners that can deliver a plan. Post-design analysis is also part of the environment, making it possible to evaluate the efficiency (not only convergence) of plans. Applications are directed to the integration between service design, process and business planning, for one side, and to drone flying missions.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (1) . , Integrantes: Jose Reinaldo Silva - Coordenador / Javier Martinez Silva - Integrante / CORREA, YANEY GOMEZ - Integrante / Luis Fernando Ferreira da Silva - Integrante.
-
2023 - Atual
GODeF - Goal-Oriented Design Framework, Descrição: Modelagem e design de um fremework de serviços na nuvem para o design de sistemas de serviço aplicados a manufatura, saúde e sustentabilidade.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: Jose Reinaldo Silva - Coordenador / Elinilson Vital - Integrante / CORREA, YANEY GOMEZ - Integrante / de Souza, Leonardo Morais - Integrante.
-
2022 - Atual
Convênio de cooperação USP-Caton Technology em MediaXstream, Descrição: Convênio de cooperação entre USP e Caton Technology de Hong Kong, para colaboração em sistemas de difusão e comunicação via rede sem fio com sistemas de nuvem.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Jose Reinaldo Silva - Coordenador.
-
2021 - 2024
Emissão de gases de efeito estufa na Amazônia e sistema de análise de dados e serviços, Descrição: Determinar as fontes, sumidouros e processos que controlam as emissões de gases de efeito estufa na Amazônia, e desenvolver um sistema e serviços baseado na ciência de dados e inteligência artificial para modelagem, análise e visualização destes processos. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (8) . , Integrantes: Jose Reinaldo Silva - Integrante / Glauco Caurin - Integrante / Paulo Artaxo - Coordenador / Pedro Pizzigatti Correa - Integrante / Luciana Rizzo - Integrante / Alan Calheiros - Integrante / Thiago Martins - Integrante / Marcos Sales Guerra Tsuzuki - Integrante.
-
2019 - Atual
Cooperação para uso da nuvem como ferramenta de pesquisa e ensino., Descrição: Projeto multidisciplinar envolvendo vários sub-projetos de unidades diferentes, com escopo distinto, visando o estudo do diferencial na eficiência de projetos de pesquisa e ensino pelo uso do suporte de serviços de nuvem. Explora-se ainda a interação entre os diferentes projetos em clusters multidisciplinares.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (12) / Doutorado: (4) . , Integrantes: Jose Reinaldo Silva - Coordenador / Jaime Simão Sichman - Integrante / Alfredo Goldman Vel Lejpman - Integrante / Marcelo Becker - Integrante / Ben-Hur Viana Borges - Integrante / Eduardo Lorenzetti Pellini - Integrante / Chao Lung Wen - Integrante / Glauco Caurin - Integrante / Pedro Pizzigatti Correa - Integrante / Claudio Garcia - Integrante / Daniel Varela Magalhães - Integrante., Financiador(es): Amazon Web Services - Cooperação.
-
2017 - 2020
PSA - Product-Service Architecture, a service approach to manufacture systems, Descrição: A new architecture is proposed to modern digital manufacturing systems based on distributed elements called manufacturing services which could be arranged in different ways serving to several product-services. P-S isa combination of product and service which could change the way producers interact with customers and with the market.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Especialização: (1) / Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Jose Reinaldo Silva - Coordenador.
-
2016 - 2019
itSIMPLE-SE: A Knowledge Enginering approach do planning and scheduling, Descrição: Estudo da Engenharia do Conhecimento associada a problemas de planejamento e escalonamento abordados de maneira heurística, usando técnicas de inteligência artificial. Adaptação dos métodos para a resolução de sistemas reais de grande porte. Desenvolvimento de ferramenta de apoio: itSIMPLE-SE (Integrated Tool and Software Interface to Model Plnanning Environments - Scheduling Environments).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (2) . , Integrantes: Jose Reinaldo Silva - Coordenador / Flavio Tonidandel - Integrante / Javier Martinez Silva - Integrante / Tiago Stegun Vaquero - Integrante / Thomas Lee McCluskey - Integrante.
-
2008 - 2010
CAPES-MES Projeto MODESA (Modelagem e Design de Sistemas Automatizados), Descrição: O projeto visa associar a modelagem formal de sistemas integrados e flexiveis e sua implementação, especialmente na programação de PLC's seguindo o padrão IEC 61131-3. No escopo deste projeto foi retomado o desenvolvimento do sistema GHENeSys (General Hierarchical Enhanced Net System) que é uma rede orientada a objetos desevolvida em 2002 no Design Lab. O parceiro pelo lado do Ministerio de Eneñança Superior é a Universide de Oriente em Santiago de Cuba.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Jose Reinaldo Silva - Coordenador / Israel Benitez Pina - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 1
-
2004 - 2006
Projeto Alfa - Comunidade Européia: Learning Automation and Laboratories, Descrição: O projeto Alfa LeAL tem como objetivo o estudo dos métodos de ensino em Engenharia, particularmente os laboratórios virtuais e o seu papel no treinamento de técnicos e Engenheiros. O projeto desenvolveu um consórcio de laboratórios virtuais para treinamento em sistemas discretos de controle e supervisão. Responsável pela participação do Brasil no projeto que tinha ainda a Espanha (coordenação, UPC, Universidade Politécnica da Cataluha), Cuba (Universidad de Oriente), Argentina. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Reinaldo Silva - Integrante / Oscar Brito Augusto - Integrante / Israel Benitez Pina - Integrante / Joaquin Ros - Coordenador / Jimenez, Walter - Integrante / Regalini, Raul - Integrante / Loperana, Luisa V. - Integrante / Perez, Omar - Integrante / Oliveira, J.C.A - Integrante / Oliveira, J.A. - Integrante / Baraclarte, Roberto Alves - Integrante / Auer, Michael - Integrante / Pester, Andreas - Integrante / Saura, Jaime - Integrante / Sudria, Antoni - Integrante., Financiador(es): European Community - Auxílio financeiro., Número de produções C, T & A: 2
-
2003 - 2007
CAPES-COFICUB em convênio com o LAAS de Toulouse, França e UNICAMP, Descrição: O projeto de cooperação bilateral coordenado pela UNICAMP tinha como objetivo o estudo dos processos de ponta em design de sistemas colaborativos e de apoio a processos mecatrônicos e de comunicação . As aplicações endereçadas foram os sistemas para pesquisa colaborativa e para ensino de engenharia. O projeto teve como parceiro o LAAS de Toulouse, França.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Reinaldo Silva - Integrante / Khalil Drira - Integrante / João Mauríco Rosário - Coordenador / Humberto Ferasoli - Integrante / Tazi, Said - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / EGIDE - Auxílio financeiro., Número de produções C, T & A: 3
-
2003 - 2005
FAPESP - Kiatera, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Jose Reinaldo Silva - Integrante / João Maurício Rosário - Integrante / Humberto Ferasoli - Integrante / Batocchio, Antonio - Integrante / Porto, Arthur José Vieira - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
1999 - 2002
SINTED - Sistemas Inteligentes para Edificações, Descrição: Estudo de métodos de modelagem e design de sistemas de automação predial e residencial baseado em objetos e redes de Petri.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jose Reinaldo Silva - Integrante / Paulo Eigi Miygi - Coordenador., Financiador(es): Programa Ibero Americano de Ciencia y Tecnologia Para El Desarollo - Auxílio financeiro., Número de produções C, T & A: 11
-
1997 - 2002
FINEP-RECOPE Sub-rede de Automação da Manufatura, Descrição: Rede de pesquisa criada inicialmente com 10 instituições de 7 estados do Brasil. O objetivo da rede era pesquisar inovação e repasse de tecnologia primordialmente para a pequena e média empresa, bem como tópicos de tecnologia de ponta a serem inseridos no mercado nacional. A sub-rede de Automação da Manufatura era coordenada pelo Prof. José Reinaldo Silva da Escola Politécnica da USP, Depto. de Eng. Mecatrônica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Especialização: (0) / Mestrado acadêmico: (8) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Oswaldo Horikawa - Integrante / Jun Okamoto Jr - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro., Número de produções C, T & A: 16
-
1995 - 1998
ECLA-Flexys Flexible Automated Systems, Descrição: Estudo de Sistemas Flexíveis de manufatura, métodos formais de modelagem e design, nomenclatura técnica e desenvolvimento de supervisórios.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jose Reinaldo Silva - Integrante / Paulo Eigi Miyagi - Coordenador., Financiador(es): Programa Ibero Americano de Ciencia y Tecnologia Para El Desarollo - Auxílio financeiro., Número de produções C, T & A: 9
Projetos de desenvolvimento
-
2014 - Atual
Modelagem e design de sistemas de inspeção e sua instrumentação, Descrição: Modelagem e design em redes de Petri de sistemas de inspeção.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Integrante / Paulo Eigi Miyagi - Coordenador / Diolino José dos Santos Filho - Integrante / Fabricio Jumqueira - Integrante.
-
2014 - Atual
Modelagem e design de sistemas de inspeção e sua instrumentação, Descrição: Modelagem e design em redes de Petri de sistemas de inspeção.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Integrante / Paulo Eigi Miyagi - Coordenador / Diolino José dos Santos Filho - Integrante / Fabricio Jumqueira - Integrante.
-
2014 - Atual
Modelagem e design de sistemas de inspeção e sua instrumentação, Descrição: Modelagem e design em redes de Petri de sistemas de inspeção.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Integrante / Paulo Eigi Miyagi - Coordenador / Diolino José dos Santos Filho - Integrante / Fabricio Jumqueira - Integrante.
-
2014 - Atual
Modelagem e design de sistemas de inspeção e sua instrumentação, Descrição: Modelagem e design em redes de Petri de sistemas de inspeção.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Integrante / Paulo Eigi Miyagi - Coordenador / Diolino José dos Santos Filho - Integrante / Fabricio Jumqueira - Integrante.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Fabrício Junqueira - Integrante / Diolino Jose dos Santos Filho - Integrante / Jun Okamoto - Integrante.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Fabrício Junqueira - Integrante / Diolino Jose dos Santos Filho - Integrante / Jun Okamoto - Integrante.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Fabrício Junqueira - Integrante / Diolino Jose dos Santos Filho - Integrante / Jun Okamoto - Integrante.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Fabrício Junqueira - Integrante / Diolino Jose dos Santos Filho - Integrante / Jun Okamoto - Integrante.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Fabrício Junqueira - Integrante / Diolino Jose dos Santos Filho - Integrante / Jun Okamoto - Integrante.
-
2016 - 2018
Automação do Processo de Inspeção para plataformas de Petróleo, Descrição: Automação e gestão de dados para máquinas e equipamentos instalados em plataformas offshore e em instalações de terra para exploração de petróleo. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Jose Reinaldo Silva - Coordenador / Paulo Eigi Miyagi - Integrante / Newton Maruyama - Integrante / Fabrício Junqueira - Integrante / Diolino Jose dos Santos Filho - Integrante / Jun Okamoto - Integrante.
Prêmios
2009
ICKEPS - Int. Competition in Knowledge Engineering Planning Systems (1o. lugar), American Association of Artificial Intelligence.
2007
ICKEPS - Int. Competition in Knowledge Engineering Planning Systems (Honor), American Association in Artificial Intelligence.
2006
Concurso Insight de inovação tecnológica - 3o. colocado (e-campeonatos), IBM.
2006
Concurso insight de inovação tecnologica - menção honrosa (itSIMPLE), IBM.
2006
Concurso insight de inovação tecnologica - menção honrosa (e-drug control), IBM.
2005
ICKEPS - Int. Competition in Knowledge Engineering Planning Systems (2o. colocado), American Association in Artificial Intelligence.
Histórico profissional
Endereço profissional
-
Universidade de São Paulo, Escola Politécnica, Departamento de Engenharia Mecatrônica e de Sistemas Mecânicos. , Rua Prof. Mello Morais, 2231, Cidade Universitária, 05508030 - São Paulo, SP - Brasil, Telefone: (11) 30915688, Fax: (11) 30915722
Experiência profissional
2013 - Atual
Universidade de São PauloVínculo: Servidor Público, Enquadramento Funcional: Professor Associado III, Carga horária: 40, Regime: Dedicação exclusiva.
2006 - 2012
Universidade de São PauloVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
1989 - 2006
Universidade de São PauloVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente Doutor, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
01/2023
Pesquisa e desenvolvimento, Escola Politécnica.Linhas de pesquisa
-
01/2023
Pesquisa e desenvolvimento, Escola Politécnica.Linhas de pesquisa
-
01/2008
Pesquisa e desenvolvimento, Escola Politécnica.Linhas de pesquisa
-
03/2000
Pesquisa e desenvolvimento, Escola Politécnica.Linhas de pesquisa
-
03/1993
Ensino, Engenharia Mecânica, Nível: Pós-GraduaçãoDisciplinas ministradas, PMR-5009 METODOLOGIA DO PROJETO DE SISTEMAS, PMR-5214 MODELAGEM DE SISTEMAS DISCRETOS II, PMR 5020 Metodologia do Projeto de Sistemas, PMR5237 Modelagem e Design de Sistemas Discretos em Redes de Petri
-
03/1989
Pesquisa e desenvolvimento, Escola Politécnica, Departamento de Engenharia Mecatrônica e de Sistemas Mecânicos.Linhas de pesquisa
-
03/1989
Ensino, Engenharia Mecatrônica, Nível: GraduaçãoDisciplinas ministradas, PNV-2100 INTRODUÇÃO A ENGENHARIA, PMR-2490 SISTEMAS DE INFORMAÇÃO
-
01/2003 - 10/2010
Conselhos, Comissões e Consultoria, Escola Politécnica.Cargo ou função, Membro de comissão permanente.
-
10/2005 - 12/2007
Conselhos, Comissões e Consultoria, Escola Politécnica.Cargo ou função, Membro de conselho de unidade.
-
06/2005 - 07/2005
Extensão universitária , Escola Politécnica, Programa de Educação Continuada Em Engenharia.Atividade de extensão realizada, curso de Modelagem e Inovação Tecnológica.
-
01/2000 - 12/2003
Conselhos, Comissões e Consultoria, Escola Politécnica.Cargo ou função, Membro de conselho editorial.
-
10/1998 - 12/2000
Conselhos, Comissões e Consultoria, Escola Politécnica, Departamento de Engenharia Mecatrônica e de Sistemas Mecânicos.Cargo ou função, Membro de conselho.
-
10/1998 - 01/1999
Conselhos, Comissões e Consultoria, Escola Politécnica, Departamento de Engenharia Mecatrônica e de Sistemas Mecânicos.Cargo ou função, Membro de comissão temporária.
-
01/1995 - 01/1998
Conselhos, Comissões e Consultoria, Escola Politécnica, Departamento de Engenharia Mecânica.Cargo ou função, Membro de conselho.
1995 - 1997
Associação de Programas Em Automação e Informática IndustrialVínculo: Outro, Enquadramento Funcional: Diretor, Carga horária: 8
Outras informações:
A AP3I foi uma especie de ONG, sem fins lucrativos, destinada a prover uma ligação entre universidde e empresa de modo a promover transferência tecnológica. Portanto os seus diretores, até por força e estatuto, não podiam ser remunerados e tinham a sua atividade direcionada para o sucesso do empreendimento. Neste mesmo período participei da supervisão de pequenos projetos e de elaboração estratégica para a almejada transferência tecnologica, sem remuneração e sem ônus para as demais atividades acadêmicas visto não ter afastamento para tal.
Atividades
-
04/1995 - 12/1997
Direção e administração, Associação de Programas Em Automação e Informática Industrial.Cargo ou função, SECRETARIO GERAL.
1987 - 1987
Hewllet Packard CoVínculo: Trainee, Enquadramento Funcional: ENGENHEIRO DE SISTEMAS, Carga horária: 40
1986 - 1987
Apple Computers CoVínculo: Outro, Enquadramento Funcional: ANALISTA III, Carga horária: 12
Outras informações:
A atividade vinculada à Apple Computer Co. consistia no desenvolvimento de aplicações de banco de dados rodando em McIntosh e no treinamento de usuários do Mills College através de convênio e do programa Apple University que nesta instituição funcionava no Computer Learning Studio.
1983 - 1984
Universidade Federal de PernambucoVínculo: Colaborador, Enquadramento Funcional: Auxiliar de Ensino e Pesquisa, Carga horária: 0
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Jose Reinaldo Silva e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
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
Confirma a exclusão?