Jose Reinaldo Silva

  • Endereço para acessar este CV: http://lattes.cnpq.br/9317869378701106
  • Última atualização do currículo em 14/10/2018


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. Os interesses de pesquisa são em Engineering Design: modelagem e análise de requisitos, métodos formais para verificação, knowledge Engineering; Modelagem formal, redes de Petri; Sistemas inteligentes: Inteligência Artificial aplicada ao planejamento e escalonamento automáticos; Service Science: service design,ciclo de vida de serviços, modelagem formal, "manufacturing service". As aplicações de interesse são em automação da manufatura, sistemas de informação e de serviços. (Texto informado pelo autor)


Identificação


Nome
Jose Reinaldo Silva
Nome em citações bibliográficas
SILVA, J. R.;José Reinaldo Siliva;J. Reinaldo Silva;SILVA, JOSÉ REINALDO;SILVA, JOSE REINALDO;SILVA, JOSÉ R.

Endereço


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


Formação acadêmica/titulação


1988 - 1992
Doutorado em Engenharia Elétrica.
Universidade de São Paulo, USP, Brasil.
Título: Uma formalização do processo de design baseado em metáforas:Sua aplicação na automatização de Sistemas de Eventos Discretos, Ano de obtenção: 1992.
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: Engenharias
Grande Á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.
1982 - 1985
Mestrado em Física.
Universidade Federal de Pernambuco, UFPE, Brasil.
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
1986 - 1987
Mestrado profissional em Interdisciplinary Computer Science.
Mills College, MC, Estados Unidos.
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
1974 - 1980
Graduação em Fisica.
Universidade Federal da Bahia, UFBA, Brasil.


Pós-doutorado e Livre-docência


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.


Atuação Profissional



Escola Politécnica da USP, EPUSP, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: , Enquadramento Funcional:


Universidade de São Paulo, USP, Brasil.
Vínculo institucional

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

Vínculo institucional

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

Vínculo institucional

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

Atividades

2008 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

03/2000 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, .

3/1993 - Atual
Ensino, Engenharia Mecânica, Nível: Pós-Graduação

Disciplinas 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
3/1989 - Atual
Pesquisa e desenvolvimento , Escola Politécnica, Departamento de Engenharia Mecatrônica e de Sistemas Mecânicos.

3/1989 - Atual
Ensino, Engenharia Mecatrônica, Nível: Graduação

Disciplinas ministradas
PNV-2100 INTRODUÇÃO A ENGENHARIA
PMR-2490 SISTEMAS DE INFORMAÇÃO
1/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.
6/2005 - 7/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.
1/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.
1/1995 - 1/1998
Conselhos, Comissões e Consultoria, Escola Politécnica, Departamento de Engenharia Mecânica.

Cargo ou função
Membro de conselho.

Associação de Programas Em Automação e Informática Industrial, AP3I, Brasil.
Vínculo institucional

1995 - 1997
Ví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.

Hewllet Packard Co, HP, Estados Unidos.
Vínculo institucional

1987 - 1987
Vínculo: Trainee, Enquadramento Funcional: ENGENHEIRO DE SISTEMAS, Carga horária: 40


Apple Computers Co, APPLE, Estados Unidos.
Vínculo institucional

1986 - 1987
Ví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.


Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

1983 - 1984
Vínculo: Colaborador, Enquadramento Funcional: Auxiliar de Ensino e Pesquisa, Carga horária: 0



Linhas de pesquisa


1.
Inteligência Artificial - Planejamento automático

Objetivo: Raciocínio baseado em ações, planejamento reativo e semi-reativo. Métodos de design aplicados a problemas de planning e scheduling, verificação de planos (pós-design), e análise de projetos de sistemas de planning e scheduling durante desenvolvimento. Uso de métodos formais baseados em redes de Petri e model checking..
Grande área: Engenharias
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Palavras-chave: Inteligência Artificial; Post-design; AI planning and scheduling design; planning and scheduling formal verification.
2.
Análise de requisitos e ciclo de vida de projeto

Objetivo: Estudo do ciclo de vida de projeto e da fase incial de eliciação modelagem e análise de requisitos usando diferentes métodos, visando a antecipação da formalização já na etapa de requisitos. Modelagem de sistemas automatizados dos usuários e da relação entre sistema (máquina) e usuários (humanos)...
Palavras-chave: Requirements Engineering; Requirement analisys; sistemas antropocentricos.
3.
Modelagem e verificação formal de sistemas de informação e serviço; momdel checking

Objetivo: conceituação do processo de verificação formal como etapa de projeto; estudo de métodos e técnicas de verificação formal de sistemas automatizados usando grafos e redes de Petri; estudo das Time Petri Nets (TPN), time automata e métodos de model checking..
Grande área: Engenharias
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Modelagem e verificação formal, Redes de Petri.
Setores de atividade: Fabricação de equipamentos de informática, produtos eletrônicos e ópticos.
Palavras-chave: formal verification; formal modeling; Petri Nets; workflow nets.
4.
Design de sistemas de serviço e manufatura inteligente

Objetivo: Estudo de métodos formais e modelagem de processos para sistemas de serviço. Relação formal entre sistemas de informação e sistemas de serviço. Ferramentas e métodos de design para sistemas de serviço seguindo o MDE (Model Driven Engineering). Service manufacturing..
Grande área: Engenharias
Setores de atividade: Indústrias de Transformação.
Palavras-chave: modelagem e verificação formal de sistemas; Redes de Petri; Requirements Engineering; Service design; manufacturing service; Industria 4.0.


Projetos de pesquisa


2017 - Atual
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: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Especialização: (1) / Mestrado acadêmico: (1) Doutorado: (1) .
Integrantes: Jose Reinaldo Silva - Coordenador.
2016 - Atual
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: Em andamento; 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.
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.
2003 - 2005
FAPESP - Kiatera
Situação: Concluído; Natureza: Pesquisa.
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: 7 / Número de orientações: 4
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: 8 / Número de orientações: 8
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: 8 / Número de orientações: 2


Projetos de extensão


2016 - Atual
Tratamento e mineração de dados de sistemas de inspeção de equipamentos
Descrição: Trata-se de uma pequena parte do projeto BR-Mobile que pretende automatizar o processo de inspeção de equipamentos de terra para prospecção e exploração de petróleo..
Situação: Em andamento; Natureza: Extensão.


Projetos de 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.


Outros Projetos


2017 - Atual
Projeto USP-AWS: Difusão do uso da nuvem
Descrição: O convênio entre USP e Amazon Web Systems tem como meta a divulgação e prestação de serviço de apoio aos que quiserem se iniciar no uso da nuvem seja em atividades de graduação, pós-graduação ou pesquisa. A nuvem pode ser usada como apoio, suporte, repositório ou como parte do objeto da pesquisa, como na situação em que integra sistemas de desenvolvimento ou de computação de alto desempenho. O objetivo é torna este uso mais difundido e permitir que alunos possam se capacitar e até certificar em cloud computing..
Situação: Em andamento; Natureza: Outra.
Alunos envolvidos: Graduação: (20) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Jose Reinaldo Silva - Coordenador.


Membro de corpo editorial


2018 - Atual
Periódico: Polytechnica
2016 - Atual
Periódico: London Journal of Research in Computer Science and Technology
2016 - Atual
Periódico: International Journal of Multidisciplinary Research and Technology
2014 - Atual
Periódico: International Journal of Automation, Mechatronics and Robotics
2014 - Atual
Periódico: Austin Journal of Robotics and Automation
2010 - Atual
Periódico: Intelligent Control and Automation
2008 - 2010
Periódico: Revista Minerva
2002 - 2008
Periódico: Controle & Automação (Impresso)


Revisor de periódico


2005 - Atual
Periódico: IEEE Transactions on Industrial Electronics
2005 - 2010
Periódico: IEEE Transactions on Robotics and Automation
2003 - 2009
Periódico: Revista Brasileira de Ciências Mecânicas
2004 - Atual
Periódico: Control Engineering Practice
2006 - Atual
Periódico: IEEE Transaction in Automation Science and Engineering
2006 - Atual
Periódico: IEEE Transactions on Industrial Informatics
2005 - Atual
Periódico: Journal of the Brazilian Society of Mechanical Sciences and Engineering (16
2009 - Atual
Periódico: Sensors (Basel)
2010 - Atual
Periódico: International Journal of Production Research (Print)
2004 - 2012
Periódico: Controle & Automação (Impresso)
2007 - 2011
Periódico: Gestão & Produção (UFSCAR. Impresso)
2013 - Atual
Periódico: Journal of Control, Automation and Electrical Systems
2016 - Atual
Periódico: COMPUTATIONAL INTELLIGENCE
2016 - Atual
Periódico: Computational and Applied Mathematics
2017 - Atual
Periódico: JOURNAL OF OFFSHORE MECHANICS AND ARCTIC ENGINEERING-TRANSACTIONS OF THE AS
2017 - Atual
Periódico: COMPUTATIONAL & APPLIED MATHEMATICS
2017 - Atual
Periódico: DYNA (MEDELLÍN)
2017 - Atual
Periódico: INTERNATIONAL JOURNAL OF CONTROL, AUTOMATION AND SYSTEMS
2018 - Atual
Periódico: Polytechnica
2018 - Atual
Periódico: Polytechnica
2018 - Atual
Periódico: Cognitive Systems Research


Revisor de projeto de fomento


2013 - Atual
Agência de fomento: Fundação de Apoio à Pesquisa do Estado da Paraíba
2011 - Atual
Agência de fomento: Fundação de Amparo à Pesquisa do Estado de São Paulo
2010 - Atual
Agência de fomento: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
2002 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico
2000 - Atual
Agência de fomento: Financiadora de Estudos e Projetos


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Modelagem e verificação formal, Redes de Petri.
2.
Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Engineering design: requisitos, modelagem e análise.
3.
Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Planejamento em Inteligência Artificial.
4.
Grande área: Engenharias / Área: Engenharia Mecânica / Subárea: Métodos de design para sistemas de informação e serviço.


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.


Prêmios e títulos


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.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:14
Total de citações:45
Fator H:3
Silva, Jose R  Data: 14/10/2018

SciELO
Total de trabalhos:3
Total de citações:1
Silva, José Reinaldo  Data: 02/12/2002

SCOPUS
Total de trabalhos:42
Total de citações:131

Outras
Total de trabalhos:117
Total de citações:627
JR Silva, Silva, J.R.  Data: 07/10/2013

Artigos completos publicados em periódicos

1.
SILVA, JOSÉ R.2018SILVA, 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.

2.
NOF, SHIMON Y.2018NOF, SHIMON Y. ; SILVA, J. R. . Perspectives on Manufacturing Automation Under the Digital and Cyber Convergence. Polytechnica, v. 1-2, p. 1-12, 2018.

3.
FOYO, P. M. G.2017 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.

4.
BENÍTEZ PINA, ISRAEL FRANCISCO2017BENÍ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.

5.
SOUZA, J. A. L.2017SOUZA, 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.

6.
MELANI, ARTHUR H.A.2016MELANI, 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.

7.
DE S. DUTRA, DIOGO2016DE 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.

8.
MOGHADDAM, MOHSEN2015MOGHADDAM, 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.

9.
SILVA, JOSÉ REINALDO2015SILVA, 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.

10.
SILVA, JAVIER MARTINEZ2015SILVA, 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.

11.
DE OLIVEIRA, VALTER CASTELHANO2015DE 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.

12.
Tsuzuki, M. S. G.2015Tsuzuki, M. S. G. ; SILVA, J. R. ; Pereira, C. E. . Special section on Intelligent Manufacturing Systems. MECHATRONICS, v. 31, p. 146-146, 2015.

13.
FERRAREZI, R. C.2014FERRAREZI, 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.

14.
SILVA, J. R.2013 SILVA, J. R.; VAQUERO, Tiago Stegun ; TONIDANDEL, F. ; Beck, J.C. . itSIMPLE: towards an integrated design system for real planning applications. Knowledge Engineering Review (Print), v. 28, p. 1-16, 2013.

15.
VAQUERO, Tiago Stegun2013VAQUERO, 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.

16.
FOYO, P. M. G.2011FOYO, 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.

17.
QUEIROZ, R. A.2009QUEIROZ, 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.

18.
SILVA, J. R.2008SILVA, 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.

19.
CANDIDO, R.2007CANDIDO, 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.

20.
SILVA, J. R.2006SILVA, 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.

21.
TONIDANDEL, F.2006TONIDANDEL, 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.

22.
MIYAGI, P. E.1996MIYAGI, P. E. ; SILVA, J. R. . A Formal Approach to PFS/MFG: A Petri Net Representation of Discrete Manufacturing Systems. Studies in Informatics and Control, Bucarest, v. 5, n.2, p. 131-141, 1996.

23.
KAGOHARA, M. Y.1994KAGOHARA, 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.

24.
OSÓRIO, L. A. F. G.1994OSÓ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.

25.
SILVA, J. R.1993SILVA, 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.

26.
SILVA, J. R.1992SILVA, 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.

27.
SILVA, J. R.1991SILVA, 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.

28.
Lucena, C. J. P.1991Lucena, C. J. P. ; SILVA, J. R. ; VEGA, Italo Santiago ; ARAKAKI, J. . Um Ambiente Baseado em Conhecimento para o Projeto de Sistemas de Eventos Discretos. Controle & Automação, v. 2, p. 158-174, 1991.

29.
SILVA, J. R.1990SILVA, 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.

30.
CANUTO, S. R. A.1984CANUTO, 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.

31.
CANUTO, S. R. A.1984CANUTO, S. R. A. ; SILVA, J. R. . On The Spherical Quadratic Zeeman Problem In Hydrogen. PHYSICS LETTERS, v. 101A, n.7, p. 326-330, 1984.

32.
CANUTO, S. R. A.1982CANUTO, 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.

Livros publicados/organizados ou edições
1.
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 .

2.
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 .

Capítulos de livros publicados
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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. -.

12.
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. -.

13.
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.

14.
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.

Textos em jornais de notícias/revistas
1.
SILVA, J. R.. Globalização Promete Vagas. Folha de São Paulo, Caderno-Teen, São Paulo, p. 4, 05 ago. 1996.

2.
SILVA, J. R.. Brasil Robotizado. Mecatrônica Atual, São Paulo, , v. 21E, p. 9 - 11.

3.
SILVA, J. R.. Mercado aberto para automação e informática industrial. Informativo Educação Continuada São Paulo, São Paulo, p. 1.

Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

23.
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.

24.
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.

25.
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.

26.
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.

27.
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.

28.
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.

29.
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.

30.
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.

31.
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.

32.
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.

33.
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.

34.
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.

35.
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.

36.
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.

37.
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.

38.
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.

39.
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.

40.
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.

41.
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.

42.
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.

43.
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.

44.
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.

45.
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.

46.
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.

47.
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.

48.
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.

49.
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.

50.
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.

51.
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.

52.
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.

53.
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.

54.
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.

55.
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.

56.
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.

57.
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.

58.
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.

59.
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.

60.
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.

61.
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.

62.
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.

63.
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.

64.
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.

65.
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.

66.
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.

67.
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.

68.
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.

69.
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.

70.
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.

71.
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.

72.
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.

73.
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.

74.
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.

75.
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.

76.
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.

77.
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.

78.
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.

79.
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.

80.
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.

81.
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.

82.
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.

83.
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.

84.
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.

85.
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.

86.
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.

87.
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.

88.
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.

89.
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.

90.
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.

91.
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.

92.
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.

93.
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.

94.
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.

95.
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.

96.
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.

97.
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.

98.
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.

99.
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.

100.
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.

101.
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.

102.
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.

103.
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.

104.
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.

105.
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.

106.
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.

107.
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.

108.
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.

109.
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.

110.
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.

111.
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.

112.
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.

113.
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.

114.
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.

115.
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.

116.
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.

117.
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.

118.
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.

119.
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.

120.
SILVA, J. R.. Interactive Design of Integrated Systems. In: IFIP Confetence on Balanced Automation Systems, 1998, Praga. BASYS'98, 1998.

121.
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.

122.
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.

123.
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.

124.
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.

125.
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.

126.
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.

127.
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.

128.
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.

129.
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.

130.
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.

131.
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.

132.
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.

133.
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.

134.
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.

135.
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.

136.
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.

137.
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.

138.
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.

139.
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.

140.
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.

141.
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.

142.
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.

143.
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.

144.
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.

145.
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.

146.
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.

147.
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.

148.
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.

149.
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.

150.
SILVA, J. R.. Automacao e Inteligencia Artificial. In: SIMPOSIO DE INFORMATICA E AUTOMACAO INDUSTRIAL, 1988. SANTOS, SP. p. 0-0.

Resumos expandidos publicados em anais de congressos
1.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

Artigos aceitos para publicação
1.
Silva, J. M. ; Tonaco-Basbaum, R. ; SILVA, J. R. . A new hierarchical approach to Requirements Analysis of Problems in Automated Planning. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2018.

Apresentações de Trabalho
1.
SILVA, J. R.. PSA: Product-Service Architecture. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
SILVA, J. R.. A Era da Mecatrônica. 2017. (Apresentação de Trabalho/Conferência ou palestra).

3.
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).

4.
SILVA, JOSÉ R.. AI Planning & Scheduling and Petrobras helicopters. 2016. (Apresentação de Trabalho/Seminário).

5.
SILVA, JOSÉ R.. Requirements Engineering:Service Design methods based on EA. 2016. (Apresentação de Trabalho/Seminário).

6.
SILVA, J. R.. New Trends in Manufacturing: Converging to Service and Intelligent Systems. 2014. (Apresentação de Trabalho/Congresso).

7.
SILVA, J. R.. Scheduling Real-Time Systems with Periodic Tasks using a Model-chedking Approach. 2014. (Apresentação de Trabalho/Congresso).

8.
SILVA, J. R.. Design de Sistemas de Serviço Automatizados. 2014. (Apresentação de Trabalho/Conferência ou palestra).

9.
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).

10.
SILVA, J. R.. Manufacturing Service: the Challenge of Intelligent Manufacturing. 2013. (Apresentação de Trabalho/Congresso).

11.
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).

12.
Miralles, J.A.SP. ; SILVA, J. R. . Enquadrando GHENeSys dentro do Petri Net Standar. 2010. (Apresentação de Trabalho/Congresso).

13.
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).

14.
Batocchio, A. ; SILVA, J. R. . Workshiop: Tendencias e Aplicações em RFID. 2010. (Apresentação de Trabalho/Seminário).

15.
SILVA, J. R.. Inteligência Artificial, Planejamento e Automação. 2010. (Apresentação de Trabalho/Conferência ou palestra).

16.
SILVA, J. R.. Serviços e Tecnologias Colaborativas - MANET. 2009. (Apresentação de Trabalho/Simpósio).

17.
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).

18.
SILVA, J. R.. The Role of robotics in Comtemporary Activities. 2009. (Apresentação de Trabalho/Congresso).

19.
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).

20.
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).

21.
SILVA, J. R.. Debate sobre Referencial e Denominações dos Cursos de Engenharia. 2009. (Apresentação de Trabalho/Comunicação).

22.
SANDRI, S. A. ; SILVA, J. R. . Workshop Guilherme Bittencourt. 2009. (Apresentação de Trabalho/Seminário).

23.
SILVA, J. R.. Modeling and Design of Discrete Systems: A Petri Net Approach. 2008. (Apresentação de Trabalho/Conferência ou palestra).

24.
SILVA, J. R.. Automação e Controle. 2007. (Apresentação de Trabalho/Conferência ou palestra).

25.
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).

26.
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).

27.
SILVA, J. R.. Sistemas Inteligentes para Manufatura. 2004. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
FERASOLI, H. ; SILVA, JOSÉ REINALDO ; ALVES, S. F. R. . Arduino para Robótica. São Paulo: Blucher, 2017. (Tradução/Livro).

2.
FERASOLI, H. ; SILVA, J. R. ; ALVES, S. F. R. . Introdução à robótica. São Paulo: Editora UNESP/Blucher Editora, 2013. (Tradução/Livro).

3.
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)>.

4.
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)>.


Produção técnica
Assessoria e consultoria
1.
SILVA, J. R.; Park, S.W. ; HORIKAWA, O. . Automação e otimização de planta de produção de biodiesel. 2008.

2.
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.

3.
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.

4.
SILVA, J. R.; AUGUSTO, O. B. . SEANC: Sistema Inteligente para Operações de Ancoragem. 1999.

Programas de computador sem registro
1.
Gragnani, C. ; SILVA, J. R. . Personal Lab. 2015.

2.
Miralles, J.A.SP. ; SILVA, J. R. ; FOYO, P. M. G. . GHENeSys 2.0. 2011.

3.
FOYO, P. M. G. ; Miralles, J.A.SP. ; SILVA, J. R. . Verificador para sistemas de tempo real. 2010.

4.
VAQUERO, Tiago Stegun ; SILVA, J. R. ; TONIDANDEL, F. . itSIMPLE 3.0. 2009.

5.
Miralles, J.A.SP. ; del Foyo, Pedro M. G. ; SILVA, JOSÉ R. . GHEjNeSys (General Hierarchical Enhanced Net System). 2009.

6.
SILVA, J. R.; FOYO, P. M. G. . GHENeSys General Hierarchical Enhanced Net System. 2008.

7.
SILVA, J. R.; TAVARES, J. J. P. Z. S. . DEMIS Distributed Environment and Multiagent Information System. 2008.

8.
VAQUERO, Tiago Stegun ; SILVA, J. R. ; ROMERO, V.M.C. ; TONIDANDEL, F. . itSIMPLE2.0 : An Integrated Tool for Designing Planning Domains. 2007.

9.
VAQUERO, T. S. ; Tonidandel, Flavio ; SILVA, JOSÉ R. . itSIMPLE (Integrated Tools and Software Interface to Manage Planning Environment). 2007.

10.
SILVA, J. R.; SANTOS, E. A. . e-drug control. 2006.

11.
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.

Trabalhos técnicos
1.
SILVA, J. R.; SANTOS, E. A. . Especificando requisitos de sistemas com redes de Petri. 2003.

2.
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.

3.
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.

4.
SILVA, J. R.; WOEI, S. S. . Análise de invariantes na rede de Petri Ghenesys. 1998.

5.
SILVA, J. R.; MONERAT, N. L. M. P. . Análise da propriedade distância síncrona na rede GheneSys. 1998.

6.
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.

7.
SILVA, J. R.; MONNERAT, N. L. P. M. . Sistemas de produção e processos de manufatura (controle). 1994.

8.
SILVA, J. R.; SHIMADA, L. M. . Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de Petri. 1994.

9.
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.

10.
SILVA, J. R.; LUCENA, C. J. P. . Um novo paradigma para o problema de reutilização de software. 1988.


Demais tipos de produção técnica
1.
SILVA, J. R.; FOYO, P. M. G. . Modeling and Design of Discrete Systems: A Petri Net Approach. 2008. .

Demais trabalhos
1.
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) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
ROSÁRIO, J. M.; Batocchio, A.; José Reinaldo Siliva. Participação em banca de Oscar Stiven Morales Zapata. 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.

2.
Batocchio, A.; ROSÁRIO, J. M.; SILVA, JOSÉ R.. Participação em banca de Oscar Stiven Morales Zapata. 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.

3.
M.L.Netto; Morandin Jr., O.; SILVA, JOSÉ REINALDO. Participação em banca de Diogo de Souza Dutra. An Intention-based Service Design Discipline for the Product-Service Architecture. 2016. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.

4.
PEREIRA, C. E.; J. Reinaldo Silva; Henriques, R. B.; Suzin, A.. Participação em banca de Thiago Regal da Silva. 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.

5.
SILVA, J. R.; TONIDANDEL, F.; Spinola, M.M.. Participação em banca de August Baumgartner Neto. 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.

6.
SANTOS FILHO, D. J.; SILVA, J. R.; Morandin Jr., O.. Participação em banca de Rodrigo Ferrarezi. 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.

7.
TAVARES, J. J. P. Z. S.; Carvalho, J.C.M.; SILVA, J. R.. Participação em banca de João Paulo da Silva Fonseca. Analisador de Planos para Sistemas Automatizados Baseados em CLPs. 2013. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Uberlândia.

8.
TAVARES, J. J. P. Z. S.; Carvalho, J.C.M.; SILVA, J. R.. Participação em banca de João Paulo da Silva Fonseca. Analisador de Planos para Sistemas Automatizados Baseados em CLPs. 2013. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Uberlândia.

9.
Perozzo, R.; SILVA, J. R.; PEREIRA, C. E.. Participação em banca de Eduardo Martins Machado. 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.

10.
JULIA, S.; SILVA, J. R.; Soares, M.S.. Participação em banca de Gulherme Willian de Oliveira. 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.

11.
PRIKLANDNICKI, R.; SILVA, J. R.; Vel Lejpman, A.G.. Participação em banca de Eduardo Teruo Katayama. 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.

12.
Trabasso, L.G.; Botura, C.A.; SILVA, J. R.. Participação em banca de José Marcos Silva Anjos. 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.

13.
M.L.Netto; SILVA, J. R.; GUDWIN, R. R.. Participação em banca de Cesar Gomes Miguel. 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.

14.
Batocchio, A.; Silva, I.B.; SILVA, J. R.. Participação em banca de Bruno Barreira Fragoso. 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.

15.
MARTINS, M. R.; SILVA, J. R.; TONIDANDEL, F.. Participação em banca de Valter Castelhano de Oliveira. 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.

16.
SILVA, J. R.; MIYAGI, P. E.. Participação em banca de Rossini Sálvio Bonfim dos Santos. 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.

17.
SILVA, J. R.; Souza, G.M.; Batocchio, A.. Participação em banca de Bruno Oliveira Mororó. 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.

18.
MIYAGI, P. E.; SILVA, J. R.; ARAKAKI, J.. Participação em banca de Robson Marinho da Silva. 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.

19.
MIYAGI, P. E.; SILVA, J. R.; Villani, E.. Participação em banca de Antonio Gabriel Souza Almeida. Modelagem de Sistema de Ar Condicionado Baseado em Redes de Petri. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

20.
TONIDANDEL, F.; SILVA, J. R.; Santos, P. E.. Participação em banca de Marcel Lira Gomes. Extracao de Conhecimento de dominios de planejamento descritos em UML.P. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Fundação Educacional Inaciana Padre Sabóia de Medeiros.

21.
SANTOS FILHO, D. J.; SILVA, J. R.; Riascos, L.A.M. Participação em banca de Cleber Alves Sarmento. Modelagem de Programas e sua verificação para controladores programáveis. 2008. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP.

22.
SILVA, J. R.. Participação em banca de Rodrigo Chanyon Chen. 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.

23.
SILVA, J. R.. Participação em banca de Marco Aurélio de Palos Franco. 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.

24.
SILVA, J. R.. Participação em banca de Ricardo Alexandro de Andrade Queiroz. 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.

25.
SILVA, J. R.; TONIDANDEL, F.; MARUYAMA, N.. Participação em banca de Tiago Stegun Vaquero. 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.

26.
SILVA, J. R.; MARTINS, M. R.; Carvalho, H.G.. Participação em banca de Roberto Cândido. 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.

27.
TONIDANDEL, F.; RILLO, M.; SILVA, J. R.. Participação em banca de Julio André Sgarbi. Domótica Inteligente: Automação Residencial Baseada em Comportamento. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Fundação Educacional Inaciana Padre Sabóia de Medeiros.

28.
Fernandez, F.J.R.; SILVA, J. R.. Participação em banca de Aislan Gomide Foina. Monitoração de Redes de Sensores com Transponders. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

29.
SILVA, J. R.; JULIA, S.; MACÊDO, A.. Participação em banca de Fernanda Francielle de Oliveira. 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.

30.
SILVA, J. R.; BARRETTO, M. R. P.; TAKASE, F. K.. Participação em banca de Rodrigo de Deus Reinaldo. 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.

31.
SILVA, J. R.. Participação em banca de Roberto Luiz da Cunha Barroso Ramos. 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.

32.
Maximiano, A.C.A.; SILVA, J. R.. Participação em banca de Alexandre Moreira Nascimento. 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.

33.
SILVA, J. R.. Participação em banca de Marcio dos Santos. Geracao de Conhecimento Explicito na Manufatura Informada. 2005. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

34.
Batocchio, A.; Novaski, O.; SILVA, J. R.. Participação em banca de Eder Costa Cassetari. 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.

35.
SILVA, J. R.; SILVA, F. S. C.; BARROS, L. N. B.; COSTA, A. H. R.. Participação em banca de Marcelo Nunes de Carvalho. Inteligência Artificial para Jogos de Tabuleiro. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

36.
SILVA, J. R.; SILVA, P. S. M.; BARRETO, M. R. P.; BECERRA, J. L. R.; SHIMADA, L. M.. Participação em banca de Filomena de Lourdes Pacheco de Oliveira. 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.

37.
SILVA, J. R.; INAMASU, R. Y.; SANTOS FILHO, D. J.. Participação em banca de Pedro Luis Angel Restrepo. 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.

38.
SILVA, J. R.; LIMA JUNIOR, O. F.; SAMPAIO, C. M. P.. Participação em banca de Rosane Santana da Silva Kurosawa. 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.

39.
SILVA, J. R.. Participação em banca de Marcio dos Santos. Geração de Conhecimento Explícito na Manufatura Informada. 2004. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.

40.
SILVA, J. R.; COPSTEIN, B.; LISBOA, M. L. B.; PEREIRA, C. E.. Participação em banca de Carlos Albeto Bertotto. 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.

41.
SILVA, J. R.; ANDRADE, B. L. R.; SAMPAIO, C. M. P.. Participação em banca de Vladimir Cancian Junior. 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.

42.
SILVA, J. R.; SAMPAIO, C. M. P.. Participação em banca de Rosane Santana da Silva Kurosawa. 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.

43.
SILVA, J. R.; SOUZA JUNIOR, J. A. R.; MARTINS, M. R.. Participação em banca de Vladimir Rodrigues Piovezam. 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.

44.
SILVA, J. R.; SILVA, P. S. M.; BARRETTO, M. R. P.; SOUZA, S. N. A.; BECERRA, J. L. R.. Participação em banca de Antonio Fernando Nunes Guardado. 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.

45.
SILVA, J. R.; BARRETTO, M. R. P.; ANDRADE, M. T. C.; BECERRA, J. L. R.; AMARAL, J. A. A.. Participação em banca de Paulo Antonio Egydio de Três Rios. 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.

46.
SILVA, J. R.; BARETTO, M. R. P.; SOUZA, S. N. A.; ALMEIDA JUNIOR, J. R.; CAMPOS, E. G. L.. Participação em banca de Alcantaro Lemes Rodrigues. Uma Taxonomia em Sistemas de Banco de Dados Multimídia. 2003. Dissertação (Mestrado em Sistemas de Computação) - Centro Universitário FIEO.

47.
SILVA, J. R.; AUGUSTO, O. B.; SZAJNBOK, M.. Participação em banca de Marcos Fernando Garber. 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.

48.
SILVA, J. R.; AUGUSTO, O. B.; SZAJNBOK, M.. Participação em banca de Marcos Fernando Garber. 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.

49.
SILVA, J. R.; SILVA, F. S. C.; WASSERMAN, R.; MONARD, M. C.. Participação em banca de Eudênia Xavier Meneses. 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.

50.
SILVA, J. R.; INAMASU, R. Y.; TACHIBANA, W. K.. Participação em banca de Andrea Ribari Yoshizawa da Silva. Modelagem de Custos em Sistemas de Manufatura utilizando Redes de Petri. 2002. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

51.
SILVA, J. R.; BARRETTO, M. R. P.; SILVA, P. S. M.. Participação em banca de Eston Almança dos Santos. Verificação de Requisitos de Sistemas Utilizando Redes de Petri. 2002. Dissertação (Mestrado em Engenharia Mecatrônica) - Universidade de São Paulo.

52.
SILVA, J. R.; MASSARANI, M.; CANTI, M. B.. Participação em banca de Mauricio Miori. 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.

53.
SILVA, J. R.; MIYAGI, P. E.; GUDWIN, R. R.. Participação em banca de Pedro Manoel Gonzalez del Foyo. 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.

54.
SILVA, J. R.; BRACARENSE, A. Q.; ABRÃO, A. M.. Participação em banca de David Gonçalves de Oliveira. Simulação Computacional de uma Produção de Andaimes. 2000. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal de Minas Gerais.

55.
SILVA, J. R.; BRESCIANI FILHO, E.; BATALHA, G. F.. Participação em banca de José Jean-Paul Zanlucchi de Souza Tavares. 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.

56.
SILVA, J. R.; MIYAGI, P. E.; PERKUSICH, A.. Participação em banca de Roberto Luiz da Cunha Barroso Ramos. 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.

57.
SILVA, J. R.; PERKUSICH, A.; FIGUEIREDO, J. C. A.. Participação em banca de Sandro Alex Damasceno Costa. 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.

58.
SILVA, J. R.; ROSÁRIO, J. M.. Participação em banca de João Marcelo Georgini. 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.

59.
SILVA, J. R.; RILLO, M.; MONARD, M. C.. Participação em banca de Flavio Tonidandel. Planejamento Baseado em Casos Usando Lógica de Transações. 1999. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

60.
SILVA, J. R.; AUGUSTO, O. B.; DIAS, C. A. N.. Participação em banca de Sandra Rita de Oliveira. 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.

61.
SILVA, J. R.; MIYAGI, P. E.; COSTA, A. H. R.. Participação em banca de Cristina Toshie Motohashi Matsusaki. 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.

62.
SILVA, J. R.; MIYAGI, P. E.; COSTA, A. H. R.. Participação em banca de Nelson Luiz de Paula Menezes Monnerat. Análise da Propriedade Distância Síncrona na Rede Ghenesys. 1998. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

63.
SILVA, J. R.; TSUZUKI, M. S. G.. Participação em banca de Fábio Kawaoka Takase. 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.

64.
SILVA, J. R.; MIYAGI, P. E.; RILLO, M.. Participação em banca de Shong San Woei. Análise de Invariantes na Rede de Petri Ghenesys. 1997. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

65.
SILVA, J. R.; RILLO, M.; SILVA, F. S. C.. Participação em banca de Paulo Eduardo Santos. 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.

66.
SILVA, J. R.; MIYGI, Paulo Eigi. Participação em banca de Cristina Toshie Motohashi Matsusaki. 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.

67.
SILVA, J. R.; MIYAGI, P. E.. Participação em banca de Luis Alberto Martínez Riascos. 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.

68.
SILVA, J. R.; MIYGI, Paulo Eigi. Participação em banca de Edson Mitsuo Sasaki. 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.

69.
SILVA, J. R.; SILVA, F. S. C.; CHIAPPIN, J. R. N.. Participação em banca de Everardo Nóbrega de Queiroz. 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.

70.
SILVA, J. R.; ROZENFELD, H.; GONÇALVES FILHO, E. V.. Participação em banca de Hugo de Araujo Vega. 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.

71.
SILVA, J. R.; MIYAGI, P. E.; RANZINI, E.. Participação em banca de Julio Arakaki. 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.

72.
SILVA, J. R.; MIYGI, Paulo Eigi. Participação em banca de Wilson Munemassa Arata. 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.

Teses de doutorado
1.
Basilio, J.C.S.; Carvalho, L.K.; Cunha, A.E.C.; Maia, C.A.; SILVA, J. R.. Participação em banca de Gustavo da Silva Viana. Codiagnosability of Networked Discrete Event Systems with Timing Structure. 2018. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

2.
JULIA, R. M. S.; JULIA, S.; LOPES, C. R.; Fernandes, M.A.; SILVA, J. R.; GAMA, J.. Participação em banca de Clarimundo Machado Moraes Junior. 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.

3.
SANTOS FILHO, D. J.; Silva, L.D.; Spina, E.; Morandin Jr., O.; SILVA, J. R.. Participação em banca de Arianna Zoila Olivera Salmon. 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.

4.
PERKUSICH, A.; Gorgônio, K. C.; ALMEIDA, H. O.; LIMA, A. M. N.; SILVA, J. R.. Participação em banca de Álvaro Alvares de Carvalho César Sobrinho. 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.

5.
Spinola, M.M.; Librantz, A.F.H.; Pessoa, M.; Rodrigues, L.C.A.; SILVA, JOSE REINALDO. Participação em banca de Ruy Somei Nakayama. 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.

6.
COZMAN, F. G.; SILVA, F. S. C.; TONIDANDEL, F.; VAQUERO, T. S.; SILVA, JOSÉ REINALDO. Participação em banca de Javier Rodrigues 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.

7.
Silva, L.D.; PERKUSICH, A.; Gorgônioo, K.C.; ALMEIDA, H. O.; LIMA, A. M. N.; SILVA, JOSÉ REINALDO. Participação em banca de Álvaro Alvares de Carvalho César Sobrinho. 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.

8.
SILVA, J. R.; GUDWIN, R. R.; TONIDANDEL, F.; SILVA, F. S. C.; SANTOS FILHO, D. J.. Participação em banca de Rosimarci Tonaco Basbaum. 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.

9.
Morandin Jr., O.; FERNANDES, R. A. S.; Romero, R.A.F.; SILVA, J. R.; PINTO, A. S. R.. Participação em banca de Carlos Cesar Mansur Tuma. 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.

10.
Morandin Jr., O.; TAVARES NETO, R. F.; PAZELLI, T. T.; SILVA, J. R.; PINTO, A. S. R.. Participação em banca de Flavio Aldrovandi Montoro. 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.

11.
Alves, M.; Meneghini, J.R.; Fancello, E. A.; Rojas, P. A. M.; SILVA, J. R.. Participação em banca de Renato Toshio Yamassaki. 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.

12.
COZMAN, F. G.; SILVA, J. R.; BARROS, L. N. B.; SANTOS, P. E.; Revoredo, K.C.. Participação em banca de Valquiria Fenelon Pereira. Interpretação de Imagens cm Raciocínio Espacial Qualitativo Probabilístico. 2014. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.

13.
SANTOS FILHO, D. J.; Morandin Jr., O.; Villani, E.; JUMQUEIRA, F.; J. Reinaldo Silva. Participação em banca de Rodrigo Cesar Ferrarezi. 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.

14.
Batocchio, A.; AGOSTINHO, O. L.; BRESCIANI FILHO, E.; COSTA, M. A. B.; SILVA, J. R.. Participação em banca de José Ramos. 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.

15.
SILVA, J. R.; MIYAGI, P. E.; TSUZUKI, M. S. G.; PINHANEZ, C. S.; BERNARDES, R. C.. Participação em banca de Valter Castelhano de Oliveira. Modelagem e Design de Sistemas de Serviço para Automação. 2013. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.

16.
SILVA, J. R.; ANDRADE, B. L. R.; Batocchio, A.; TAVARES, J. J. P. Z. S.; NIEVOLA, J. C.. Participação em banca de Roberto Candido. 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.

17.
COZMAN, F. G.; MARUYAMA, N.; SILVA, J. R.; Wasserman, R.; Revoredo, K.C.. Participação em banca de José Eduardo Uchoa Luna. 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.

18.
SILVA, J. R.; COZMAN, F. G.; MARUYAMA, N.; BARROS, L. N. B.; Beck, J.C.. Participação em banca de Tiago Stegun Vaquero. 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.

19.
Silva, I.N.; Flauzino, R.A.; Nicoletti, M.C.; SILVA, J. R.; Romero, R.A.F.. Participação em banca de Matheus Giovani Pires. 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.

20.
SILVA, J. R.; SANTOS FILHO, D. J.; MARUYAMA, N.; PERKUSICH, A.; Dórea, C.E.T. Participação em banca de Pedro Manuel Gonzalez del Foyo. Verificação Formal de Sistemas Discretos Distribuídos. 2009. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.

21.
SILVA, J. R.; Spinola, M.M.; FERASOLI, H.; ROSÁRIO, J. M.; TSUZUKI, M. S. G.. Participação em banca de Eston Almança dos Santos. Reduzindo a Volatilidade de Requisitos com o Volare. 2008. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

22.
SANTOS FILHO, D. J.; MIYAGI, P. E.; SILVA, J. R.; ARAKAKI, J.; Batocchio, A.. Participação em banca de Francisco Yastami Nakamoto. Arquitetura de Sistema de Controle para Sistemas Produtivos Flexiveis e Distribuidos. 2008. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.

23.
Batocchio, A.; Novaski, O.; Carvalho, M.F.H.; SILVA, J. R.; Porto, A.J.V.. Participação em banca de Carlos Augusto Fernandes Dagnone. 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.

24.
ROZENFELD, H.; SILVA, J. R.. Participação em banca de Sanderson César Macedo Barbalho. 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.

25.
SANTOS FILHO, D. J.; MIYAGI, P. E.; SILVA, J. R.. Participação em banca de Lindolpho Oliveira de Araújo Junior. 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.

26.
TURNELL, M. F. Q. V.; MERCANTINI, J. M.; SILVA, J. R.; GOMES, A. S.; BRASILEIRO, F. V.; LULA JÚNIOR, B.; SOUZA, B. A.. Participação em banca de Claudia Veronica Serey Guerrero. 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.

27.
SILVA, J. R.; Torikai, D.; Ibrahim, R.C.; Batocchio, A.; SOUZA, L. E.. Participação em banca de José Jean Paul Zanlucchi de Souza Tavares. Fundamentos da Realimentação de Informações pela Manufatura Informada. 2006. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP.

28.
SILVA, J. R.; KASSAB JUNIOR, F.. Participação em banca de Anderson Marcos Henriques. Escalonamento no Fieldbus. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

29.
KÜNZLE, L. A.; SILVA, J. R.; Botelho, S.S.C.; Luders, R.; Castilho, M.. Participação em banca de Fabiano Silva. 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á.

30.
ROSÁRIO, J. M.; Batocchio, A.; SILVA, J. R.; Porto, A.J.V.; FERASOLI, H.. Participação em banca de Cintia Kimie Aihara. 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.

31.
SILVA, J. R.; SILVA, F. S. C.; SICHMAN, J. S.; MELO, A. C. V.; GUILHERME, I. R.. Participação em banca de Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. 2004. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

32.
ROSÁRIO, J. M.; Baltazhar, J.M.; ROMANO, V.; SILVA, J. R.; Bueno, S.S.. Participação em banca de Jaime Humberto Carvajal Rojas. 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.

33.
SILVA, J. R.; ROSÁRIO, J. M.; DRIRA, K.. Participação em banca de Olga Fernanda Nabuco de Araújo. Proposta de uma Rede de Compartilhamento de Habilidades no Ambiente da Manufatura. 2003. Tese (Doutorado em Engenharia Mecânica) - Universidade Estadual de Campinas.

34.
SILVA, J. R.; KÜNZLE, L. A.; CASTRILHO, M. A.. Participação em banca de Fabiano Silva. 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á.

35.
SILVA, J. R.; MONARD, M. C.; RILLO, M.; SILVA, F. S. C.; FRANCHIN, M. F.. Participação em banca de Flavio Tonidandel. Desenvolvimento e Implementação de um Sistema de Planejamento Baseado em Casos. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

36.
SILVA, J. R.; MASIERO, P. C.; PRADO, A. F.; FERREIRA, J. C. E.; REZENDE, S. O.. Participação em banca de Ernesto Massaropi Junior. 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.

37.
SILVA, J. R.; RILLO, M.; SILVA, F. S. C.; FRANCHIN, M.; MONARD, M. C.. Participação em banca de Flavio Tonidandel. Desenvolvimento e Implmentação de um Sistema de Planejamento Baseado em Casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

38.
SILVA, J. R.; RILLO, M.. Participação em banca de Flavio Tonidandel. Desenvolvimento e Implementação de um Sistema de Planejamento Baseado em Casos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

39.
SILVA, J. R.; MASIERO, P. C.. Participação em banca de Ernesto Massaroppi Junior. 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.

40.
SILVA, J. R.. Participação em banca de Dalton Dario Serey Guerrero. Redes de Petri Orientadas a Objetos. 2002. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal da Paraíba.

41.
SILVA, J. R.; SILVA, F. S. C.; COZMAN, F. G.; SANDRI, S. A.; MELO, A. C. V.. Participação em banca de Roberto Cássio de Araújo. 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.

42.
SILVA, J. R.; SICHMAN, J. S.; RILLO, M.; PEREIRA, A. E. C.; WAINER, J.. Participação em banca de Marcus Vinícius Tolentino dos Santos. 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.

43.
SILVA, J. R.; RILLO, M.; MONARD, M. C.; ANDRADE, M. T. C.; SOUZA, L. E.. Participação em banca de Marcelo Nicoletti Franchin. 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.

44.
SILVA, J. R.; RILLO, M.; SILVA, F. S. C.. Participação em banca de Marcus Vinícius Tolentino dos Santos. 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.

45.
SILVA, J. R.; RILLO, M.; KASSAB JUNIOR, F.; MONARD, M. C.; SOUZA, J. N.. Participação em banca de Carlos Roberto Lopes. Planejamento Baseado em Expectativas. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

46.
SILVA, J. R.; MIYAGI, P. E.; ROSÁRIO, J. M.; INAMASU, R. Y.; HORIKAWA, O.. Participação em banca de Diolino José dos Santos Filho. 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.

47.
SILVA, J. R.; BARTELEMY, A. S.. Participação em banca de Israel Francisco Benítez Pina. Orientación a objeto em PLCs para aumetar la seguridad de los sistemas de control distribuido. 1998. Tese (Doutorado em Engenharia Elétrica) - Universidade de Oriente.

48.
SILVA, J. R.; MIYAGI, P. E.; RILLO, M.; MAIA, A. C. P.; HIRATA, C. M.. Participação em banca de Lucio Mitio Shimada. 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.

49.
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.. Participação em banca de Giovanni Cordeiro Barroso. 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.

50.
SILVA, J. R.; LUCENA, C. J. P.. Participação em banca de Antonio Carlos Pereira Maia. Um Ambiente de Apoio ao Design Cooperativo de Software. 1996. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
Silva, L.D.; PERKUSICH, A.; LIMA, A. M. N.; Gorgônioo, K.C.; SILVA, JOSÉ REINALDO. Participação em banca de Álvaro Alvares de Carvalho César Sobrinho. 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.

2.
COSTA JR., C. T.; SILVA, J. R.; Tostes, M. E. L.; Vieira, P.; Neto, J. C. L; Taranto, G. N.. Participação em banca de José Rubens Sicchar Vilchez. 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á.

3.
JULIA, R. M. S.; SILVA, J. R.; JULIA, S.; LOPES, C. R.. Participação em banca de Clarimundo Machado Moraes Jr.. 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.

4.
Spinola, M.M.; SILVA, J. R.; Pessoa, M.. Participação em banca de Ruy Somei Nakamura. 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.

5.
SILVA, J. R.; JUNQUEIRA, F.; SANTOS FILHO, D. J.. Participação em banca de Arianna Zoila Olivera Salmon. 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.

6.
SILVA, J. R.; COZMAN, F. G.; TONIDANDEL, F.. Participação em banca de Javier Martinez Silva. 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.

7.
SILVA, J. R.; COZMAN, F. G.; SILVA, F. S. C.. Participação em banca de Rosimarci Tonaco Basbaum. Planejamento Automático Usando Modelos Orientados a Objetos. 2013. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.

8.
COZMAN, F. G.; Santos, P. E.; SILVA, J. R.. Participação em banca de Valquiria Fenelon Pereira. Interpretação de Imagens Usando Lógica Probabilística. 2012. Exame de qualificação (Doutorando em Engenharia Mecânica) - Escola Politécnica da USP.

9.
Delgado, K.V.; BARROS, L. N. B.; SILVA, J. R.. Participação em banca de MIjail Gamara Holguin. 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.

10.
Alves, M.; SILVA, J. R.; Meneghini, J.R.. Participação em banca de Renato Yamassaki. 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.

11.
SILVA, J. R.; SANTOS FILHO, D. J.; MARUYAMA, N.. Participação em banca de Pedro Manuel Gonzalez del Foyo. Verificação Formal de Sistemas Discretos Distribuídos. 2008. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.

12.
TURNELL, M. F. Q. V.; LIMA, A. M. N.; SILVA, J. R.; FIGUEIREDO, J. C. A.; Santoni, C.. Participação em banca de José Alves do Nascimento Neto. 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.

13.
SILVA, J. R.; TONIDANDEL, F.; COZMAN, F. G.. Participação em banca de Tiago Stegun Vaquero. 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.

14.
Fernandez, F.J.R.; Sales, R.M.; SILVA, J. R.. Participação em banca de Antonio Luiz dos Santos Filho. 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.

15.
SANTOS FILHO, D. J.; MIYAGI, P. E.; SILVA, J. R.. Participação em banca de Francisco Yastami Nakamoto. 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.

16.
SILVA, J. R.. Participação em banca de José Jean-Paul Zanlucchi de Souza Tavares. 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.

17.
SANTOS FILHO, D. J.; MIYAGI, P. E.; SILVA, J. R.. Participação em banca de Lindolpho Oliveira de Araújo Jr.. 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.

18.
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.. Participação em banca de Claudia Veronica Serey Guerrero. 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.

19.
SILVA, J. R.; BOTTER, R. C.. Participação em banca de Ricardo Terumichi Ono. 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.

20.
SILVA, J. R.; NAVEIRO, R. M.. Participação em banca de Marcos Martins Borges. 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.

21.
SILVA, J. R.. Participação em banca de Fabiano Silva. 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á.

22.
SILVA, J. R.; RILLO, M.. Participação em banca de Flavio Tonidandel. 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.

23.
SILVA, J. R.; PERKUSICH, A.; FIGUEIREDO, J. C. A.. Participação em banca de Dalton Dario Serey Guerreo. 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.

24.
SILVA, J. R.; TURNELL, M. F. Q. V.. Participação em banca de Maria Lígia Barbosa Perkusich. 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.

25.
SILVA, J. R.. Participação em banca de José Ricardo Sebastião. 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.

26.
SILVA, J. R.; RILLO, M.; ANDRADE, M. T. C.. Participação em banca de Marcelo Nicoletti Franchin. 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.

27.
SILVA, J. R.. Participação em banca de Diolino José dos Santos Filho. 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.

28.
SILVA, J. R.; RILLO, M.. Participação em banca de Marcus Vinícius Tolentino dos Santos. 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.

29.
SILVA, J. R.; RILLO, M.. Participação em banca de Carlos Roberto Lopes. Planejamento de Atiividades Baseado em Expectativas. 1996. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade de São Paulo.

30.
SILVA, J. R.. Participação em banca de Selma Galletti Garcia Tedeschi. 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.

31.
SILVA, J. R.. Participação em banca de Lucio Mitio Shimada. 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.

32.
SILVA, J. R.. Participação em banca de Marcos de Sales Guerra Tsuzuki. 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.

33.
SILVA, J. R.. Participação em banca de Marcos Ribeiro Pereira Barretto. Controle de Ordens em Sistemas Integrados de Manufatua. 1993. Exame de qualificação (Doutorando em Engenharia Mecânica) - Universidade de São Paulo.

Qualificações de Mestrado
1.
SILVA, J. R.; M.L.Netto; SANTOS FILHO, D. J.. Participação em banca de Diogo de Souza Dutra. 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.

2.
Margi, C. B.; Ruggiero, W.; SILVA, J. R.. Participação em banca de Renan Cerqueira Afonso Alves. 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.

3.
COZMAN, F. G.; SANTOS, P. E.; José Reinaldo Siliva. Participação em banca de José Angelo Gurzoni Junior. 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.

4.
José Reinaldo Siliva; BARETTO, M. R. P.; COZMAN, F. G.. Participação em banca de August Baumgartner Neto. 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.

Monografias de cursos de aperfeiçoamento/especialização
1.
SANTOS FILHO, D. J.; SILVA, J. R.; Pessoa, M.A.O.. Participação em banca de Darcio Martins Gaiarsa. 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.

2.
SANTOS FILHO, D. J.; SILVA, J. R.; Pessoa, M.A.O.. Participação em banca de Marcos Roberto Piacente. 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.

3.
SANTOS FILHO, D. J.; SILVA, J. R.; Pessoa, M.A.O.. Participação em banca de Fabiano Pugliesi Cunha. 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.

4.
SANTOS FILHO, D. J.; SILVA, J. R.; Rios, M.P.G.. Participação em banca de Danielle Coelho. 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.

5.
SANTOS FILHO, D. J.; SILVA, J. R.; Rios, M.P.G.. Participação em banca de Maureen Teresa Rose Fitzgibb Pereira. 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.

6.
SANTOS FILHO, D. J.; SILVA, J. R.; Pessoa, M.A.O.. Participação em banca de Luis José Cavadas. 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.

Outros tipos
1.
SILVA, J. R.. Participação em banca de Marcos Fernando Garber. 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.

2.
SILVA, J. R.. Participação em banca de Eston Almança dos Santos. Verificação de Requisitos de Sistemas Utilizando Redes de Petri. 2002. Outra participação, Universidade de São Paulo.

3.
SILVA, J. R.; ANDRADE, M. T. C.. Participação em banca de Daniel de Souza Gomes. Previsões Financeiras através de Sistemas Neuronebulosos. 2001. Outra participação, Universidade de São Paulo.

4.
SILVA, J. R.. Participação em banca de Pedro Manuel González Del Foyo. GheneeSys: Uma rede estendida orientada a objetos para o projeto de Sistemas Discretos. 2001. Outra participação, Universidade de São Paulo.

5.
SILVA, J. R.; RILLO, M.. Participação em banca de Flavio Tonidandel. Planejamento Baseado em Casos usando Lógica de Transações. 1998. Outra participação, Universidade de São Paulo.

6.
SILVA, J. R.. Participação em banca de Nelson Luiz de Paula Menezes Monnerat. Análise da Propriedade Distância Síncrona na Rede Ghenesys. 1998. Outra participação, Universidade de São Paulo.

7.
SILVA, J. R.. Participação em banca de Sandra Rita de Oliveira. O Algorítmo Genético na Otimização do Projeto Estrutural de Embarcações. 1998. Outra participação, Universidade de São Paulo.

8.
SILVA, J. R.. Participação em banca de Myrna Yoshie Kagohara. Aplicação da Metodologia PFS/MFG a Sistemas de Produção Enxuta (Lean Manufacturing Systems). 1998. Outra participação, Universidade de São Paulo.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

2.
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.

3.
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.

4.
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.

5.
SILVA, J. R.. Concurso público para contratação de docentes. 2007. Centro Universitário Fundação Santo André.

6.
SILVA, J. R.. Concurso público para contratação de docentes. 2006. Universidade Federal de São Carlos.

7.
Avolio, E.; Diniz, A.E.; SILVA, J. R.. Concurso Público para Professor Assistente. 2006. Universidade Estadual Paulista Júlio de Mesquita Filho.

8.
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.

Livre docência
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Simposio Brasileiro de Automação Inteligente - SBAI. GORE Methods to Model Real World Problem Domains in Automated Planning. 2017. (Congresso).

2.
Congresso Brasileiro de Automática. Planejamento de Ação em Sistemas Hierárquicos Temporizados usando GHENeSys. 2016. (Congresso).

3.
19th. IFAC World Congress. New Trends in Manufacturing: Converging to Service and Intelligent Systems. 2014. (Congresso).

4.
Engenharia, Ciência da Computação e Comunicação.A Engenharia na era da comunicação. 2014. (Seminário).

5.
IEEE 12th. Int. Conference in Industrial Informatics. Scheduling Real-Time Systems with Periodic Tasks using a Model-chedking Approach. 2014. (Congresso).

6.
Qualidade de vida no Trabalho.HUMANIS - Human Machine Network Interaction for Symbiosis. 2014. (Simpósio).

7.
IFAC - Intelligent Manufacturing Systems. Manufacturing Service: the Challenge of Intelligent Manufacturing. 2013. (Congresso).

8.
Workshop em Ciência de Serviços.Serviços e tecnologia colaborativas. 2009. (Simpósio).

9.
FIE International Conference. Modeling and Design of Discrete Systems: A Petri Net Approach. 2008. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
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).

2.
PESSOA JR., O. F. ; KOGLER JR., J. E. ; LIMA JR., W. T. ; SILVA, J. R. . 10th. International Brazilian Meeting in Cognitive Science. 2015. (Congresso).

3.
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).

4.
TSUZUKI, M. S. G. ; SILVA, J. R. . Intelligent Manufacturing Systems. 2013. (Congresso).

5.
FERASOLI, H. ; CALDEIRA, M. A. C. ; Pegoraro, R. ; FRANCHIN, M. ; SILVA, J. R. . Robocontrol. 2012. (Congresso).

6.
SILVA, J. R.; Bonet, B. ; Willians, B. . Int. Conference on Artificial Planning and Scheduling. 2012. (Congresso).

7.
SILVA, J. R.. Congresso Latino-Americano de Controle e Automação. 2012. (Congresso).

8.
SILVA, J. R.; Bonet, B. . Int. Conference in Automated Planning and Scheduling. 2011. (Congresso).

9.
FERASOLI, H. ; SILVA, J. R. ; ROSÁRIO, J. M. . Robocontrol. 2010. (Congresso).

10.
Cardoso, J.R. ; Furukawa, C.M. ; SILVA, J. R. ; MARUYAMA, N. . 9th IEEE/IAS Int. Conference on Industry Aplications (INDUSCON). 2010. (Congresso).

11.
FERASOLI, H. ; ROSÁRIO, J. M. ; SILVA, J. R. . Robocontrol'08 Workshop on Applied Robotics and Collaborative Systems Engineer. 2008. (Congresso).

12.
FERASOLI, H. ; ROSÁRIO, J. M. ; SILVA, J. R. . ROBOCONTROL'07 Workshop of Robotic Applications and Automatic Control. 2007. (Congresso).

13.
SILVA, J. R.; Branco, E. ; Branco, L. . Salão Internacional de Robótica e Inteligência Artificial. 2007. (Exposição).

14.
SILVA, J. R.; Branco, E. ; Branco, L. . Salão Internacional de Robótica e Inteligência Artificial. 2005. (Exposição).

15.
PEREIRA, C. E. ; SILVA, J. R. . 12th IFAC Symposium on Information Control Problems in Manufacturing. 2004. (Congresso).

16.
FERASOLI, H. ; FRANCHIN, M. ; SILVA, J. R. ; RILLO, M. . 6o. Siimposio Brasileiro de Automação Inteligente. 2003. (Congresso).

17.
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).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Elinilson Vital. Arquitetura de Serviço para a Manufatura em Nuvem. Início: 2018. Dissertação (Mestrado em Engenharia Mecânica) - Escola Politécnica da USP. (Orientador).

Tese de doutorado
1.
Jose Ruben Sicchar Vilchez. Feeder Balance and the Design of Urban Smart Grid Systems. Início: 2017. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal do Pará. (Coorientador).

2.
Miguel Angel Orellana Postigo. Modelagem e Análise de Sistemas Industriais de Serviço: Estudo de Cso para Sistemas Smart Grid. Início: 2016. Tese (Doutorado em Engenharia Mecânica) - Escola Politécnica da USP. (Orientador).

Iniciação científica
1.
Kleberson Alves Freire. Modelagem de problemas para planning e scheduling inteligente. Início: 2017. Iniciação científica (Graduando em Engenhria Mecatrônica) - Escola Politécnica da USP. (Orientador).

2.
Octávio Henrique Cerbara Cândido Rosa. Análise de Requisitos para o Planejamento Inteligente. Início: 2017. Iniciação científica (Graduando em Engenharia Elétrica) - Escola Politécnica da USP. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Diogo de Souza Dutra. 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.

2.
August Baungarten Neto. 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.

3.
José Armando San Pedro Miralles. 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.

4.
Rossini Sávio Bomfim dos Santos. 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.

5.
Bruno Oliveira Mororó. 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.

6.
Valter Castelhano de Oliveira. 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.

7.
Tiago Stegun Vaquero. 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.

8.
Ricardo Alexandro de Andrade Queiroz. 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.

9.
Marco Aurélio de Palos Franco. 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.

10.
Rodrigo Chenion Chen. 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.

11.
Roberto Candido. 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.

12.
Rodrigo de Deus Reinaldo. 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.

13.
Marcio dos Santos. 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.

14.
Pedro Luis Angelo Restrepo. 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.

15.
Eston Almança dos Santos. 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.

16.
Pedro Manuel González Del Foyo. 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.

17.
José Jean-Paul Zanlucchi de Souza Tavares. 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.

18.
Elio Avila Rodrigues. 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.

19.
Roberto Luiz da Cunha Barroso Ramos. 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.

20.
Nelson Luiz de Paula Menezes Monnerat. 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.

21.
Song San Woei. 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.

22.
Everardo Nóbrega de Queiroz. 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.

23.
Adelino Ricardo Jacintho Esparta. 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.

Tese de doutorado
1.
Arianna Zoila Olivera Salmon. 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.

2.
Javier Martinez 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.

3.
Rosimarci Tonaco Basbaum. 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.

4.
Valter Castelhano de Oliveira. 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.

5.
Roberto Cândido. 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.

6.
Ricardo Alexandro de Andrade Queiroz. 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.

7.
Tiago Stegun Vaquero. 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.

8.
Rosimarci Pacheco Tonaco. 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.

9.
Pedro Manuel Gonzalez del Foyo. 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.

10.
Eston Almança dos Santos. Reduzindo a Volatilidade de Requisitos com o volaRE. 2008. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo, . Orientador: Jose Reinaldo Silva.

11.
José Jean-Paul Zanlucchi de Souza Tavares. 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.

12.
Lucio Mitio Shimada. 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.

Supervisão de pós-doutorado
1.
Javier Martinez Silva. 2018. Escola Politécnica da USP, Fundação para o Desenvolvimento Tecnlógico da Engenharia. Jose Reinaldo Silva.

2.
Valter Castelhano de Oliveira. 2016. Escola Politécnica da USP, . Jose Reinaldo Silva.

3.
Walter Teixeira Lima Jr.. 2013. Escola Politécnica da USP, . Jose Reinaldo Silva.

4.
Pedro Manuel Gonzalez del Foyo. 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.

5.
Marco Antonio Corbuci Caldeira. 2010. Escola Politécnica da USP, . Jose Reinaldo Silva.

6.
José Jean Paul Zanlluchi de Souza Tavares. 2008. Centro Universitário Fundação Santo André, Fundação de Amparo à Pesquisa do Estado de São Paulo. Jose Reinaldo Silva.

7.
Israel Benitez Pina. 2008. Escola Politécnica da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Jose Reinaldo Silva.

8.
Israel Benitez Pina. 2005. Universidade de Oriente, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Jose Reinaldo Silva.

Trabalho de conclusão de curso de graduação
1.
Elinilson Vital. 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.

2.
Celina Soares Pereira. 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.

3.
Thiago Saraiva. 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.

4.
Victor Manuel Cirilo Romero. 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.

5.
Rodrigo Thiago Vioto Cunha. 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.

6.
Fernando Moreira Sette. 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.

7.
João Paulo Carvlho de Freitas. 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.

8.
Michel Sawaya Hircschheimer. 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.

9.
Alecsandro Batista de Almeida. 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.

10.
Pedro Lourenço de Souza. 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.

11.
Eduardo Peterson Finamore. 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.

12.
Rafael Vinicius de Siqueira. 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.

13.
Luiz Henrique Piazentini. 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.

14.
Fernando Augusto Anastácio. 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.

15.
Rodrigo Chanyon Chen. 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.

16.
Tiago Stegun Vaquero. 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.

17.
Raucer Curdulino. 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.

18.
Ricardo Takao Horikawa. 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.

19.
Rodrigo Akira Sanomia Sabanai. 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.

20.
Fábio Alexandre Narita. 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.

21.
Igor Neiva Camargo. 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.

22.
Anderson Luis Pereira. 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.

23.
Tarcísio Bezerra de Lima. 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.

24.
Marco Dyodi Takahashi. 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.

25.
Patrick Magalhães Von Schaaffhausen. 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.

26.
Flávio André de Carvalho Wolle. 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.

27.
Guilherme Veiga da Rocha. 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.

28.
Alexandre Valgôde do Nascimento. 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.

29.
Salvador Adas Zanata. 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.

30.
Marcelo Cyrillo de Queiroz Telles. 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.

31.
Francisco Branco Pessoa. 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.

32.
Nelson Luiz de Paula Menezes Monnerat. 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.

33.
Custódio Fernando Morais Toledo. 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.

34.
Marcelo Bellini Garcia. 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.

Iniciação científica
1.
Diego Papa Rodrigues. 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.

2.
Daniel José Damas Follador. 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.

3.
Raucer Curdolino. 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.

4.
Marcelo Pierroti Manjong. 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.

5.
Adriana Jacoto. 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.

6.
Salvador Adas Zanata. 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.

7.
Roberto Yuji Ykko Ueda. 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.

8.
Nelson Luis Meneses de Paula Monerat. 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.

9.
Francisco José Branco Pessoa. 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.



Inovação



Programa de computador sem registro
1.
Gragnani, C. ; SILVA, J. R. . Personal Lab. 2015.

2.
VAQUERO, T. S. ; Tonidandel, Flavio ; SILVA, JOSÉ R. . itSIMPLE (Integrated Tools and Software Interface to Manage Planning Environment). 2007.

3.
Miralles, J.A.SP. ; del Foyo, Pedro M. G. ; SILVA, JOSÉ R. . GHEjNeSys (General Hierarchical Enhanced Net System). 2009.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico

Projeto de extensão

Outros projetos


Educação e Popularização de C & T



Artigos
Artigos completos publicados em periódicos
1.
FOYO, P. M. G.2017 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.


Apresentações de Trabalho
1.
SILVA, JOSÉ R.. AI Planning & Scheduling and Petrobras helicopters. 2016. (Apresentação de Trabalho/Seminário).


Programa de Computador sem registro de patente
1.
Gragnani, C. ; SILVA, J. R. . Personal Lab. 2015.



Outras informações relevantes


Atuou de 1997 a 2002 como coordenador nacional da Rede Manet de Automação da Manufatura (Manufacturing Automation Network), que hoje conta com mais de 200 doutores em 13 estados e mais o distrito federal, com sete grupos de pesquisa temática, composto por pesquisadores de 32 grupos de pesquisa de 21 instituições.

Diretor-secretário da Sociedade Brasileira de Automática, gestão 2011-2012.

Chair do comitê técnico de Automação da Manufatura da Sociedade Brasileira de Automática, SBA, 2004-2007

Chair do comitê técnico de Automação da Manufatura da Sociedade Brasileira de Automática, SBA, 2014-2018

Membro do comitê técnico 5.1 do IFAC

Coordenador técnico do evento de divulgação científica, Expo Robótica e Inteligência Artificial, 2005 e 2007

Membro da SBA (Sociedade Brasileira de Automãtica), 1997-

Membro da ACM (Association for Computing Machinery), USA 2018-

Membro da World Design Society 2014-



Página gerada pelo Sistema Currículo Lattes em 15/11/2018 às 17:51:12