Menu

Filtros : "SILVA, JOSÉ REINALDO" Limpar

Filtros

Refine with date range

1 - 20 (25 records)

  • Artigo de periodico

    FAT-AES: systematic methodology of functional testing for automotive embedded software (2022)

    Hodel, Kleber Nogueira; Silva, José Reinaldo ; Yoshioka, Leopoldo Rideki ; Justo Filho, João Francisco ; Santos, Max Mauro Dias dos

    Source: IEEE Access. Unidade: EP

    Subjects: ENGENHARIA AUTOMOTIVA, VEÍCULOS AUTOMOTORES, VEÍCULOS RODOVIÁRIOS, INOVAÇÕES TECNOLÓGICAS

    Versão PublicadaAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      HODEL, Kleber Nogueira et al. FAT-AES: systematic methodology of functional testing for automotive embedded software. IEEE Access, v. 10, p. 74259-74279, 2022Tradução . . Disponível em: https://doi.org/10.1109/ACCESS.2021.3128431. Acesso em: 03 nov. 2024.

    • APA

      Hodel, K. N., Silva, J. R., Yoshioka, L. R., Justo Filho, J. F., & Santos, M. M. D. dos. (2022). FAT-AES: systematic methodology of functional testing for automotive embedded software. IEEE Access, 10, 74259-74279. doi:10.1109/ACCESS.2021.3128431

    • NLM

      Hodel KN, Silva JR, Yoshioka LR, Justo Filho JF, Santos MMD dos. FAT-AES: systematic methodology of functional testing for automotive embedded software [Internet]. IEEE Access. 2022 ; 10 74259-74279.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1109/ACCESS.2021.3128431

    • Vancouver

      Hodel KN, Silva JR, Yoshioka LR, Justo Filho JF, Santos MMD dos. FAT-AES: systematic methodology of functional testing for automotive embedded software [Internet]. IEEE Access. 2022 ; 10 74259-74279.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1109/ACCESS.2021.3128431

  • Artigo de periodico

    A model-based and goal-oriented approch for the conceptual design of smart grid services (2021)

    Orellana, Miguel Angel; Silva, José Reinaldo ; Pellini, Eduardo Lorenzetti

    Source: Machines. Unidade: EP

    Subjects: ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO, ENGENHARIA DE REQUISITOS

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ORELLANA, Miguel Angel e SILVA, José Reinaldo e PELLINI, Eduardo Lorenzetti. A model-based and goal-oriented approch for the conceptual design of smart grid services. Machines, v. 9, n. 12, p. 370, 2021Tradução . . Disponível em: https://doi.org/10.3390/machines9120370. Acesso em: 03 nov. 2024.

    • APA

      Orellana, M. A., Silva, J. R., & Pellini, E. L. (2021). A model-based and goal-oriented approch for the conceptual design of smart grid services. Machines, 9( 12), 370. doi:10.3390/machines9120370

    • NLM

      Orellana MA, Silva JR, Pellini EL. A model-based and goal-oriented approch for the conceptual design of smart grid services [Internet]. Machines. 2021 ;9( 12): 370.[citado 2024 nov. 03 ] Available from: https://doi.org/10.3390/machines9120370

    • Vancouver

      Orellana MA, Silva JR, Pellini EL. A model-based and goal-oriented approch for the conceptual design of smart grid services [Internet]. Machines. 2021 ;9( 12): 370.[citado 2024 nov. 03 ] Available from: https://doi.org/10.3390/machines9120370

  • Artigo de periodico

    Towards I4.0: a comprehensive analysis of evolution from I3.0 (2020)

    Nakayama, Ruy Somei ; Spínola, Mauro ; Silva, José Reinaldo

    Source: Computers & Industrial Engineering. Unidade: EP

    Subjects: INDÚSTRIA 4.0, TECNOLOGIA DA INFORMAÇÃO, INTERNET DAS COISAS

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      NAKAYAMA, Ruy Somei e SPÍNOLA, Mauro e SILVA, José Reinaldo. Towards I4.0: a comprehensive analysis of evolution from I3.0. Computers & Industrial Engineering, v. 144, p. Article 106453 com 13 on-line, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.cie.2020.106453. Acesso em: 03 nov. 2024.

    • APA

      Nakayama, R. S., Spínola, M., & Silva, J. R. (2020). Towards I4.0: a comprehensive analysis of evolution from I3.0. Computers & Industrial Engineering, 144, Article 106453 com 13 on-line. doi:10.1016/j.cie.2020.106453

    • NLM

      Nakayama RS, Spínola M, Silva JR. Towards I4.0: a comprehensive analysis of evolution from I3.0 [Internet]. Computers & Industrial Engineering. 2020 ; 144 Article 106453 com 13 on-line.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1016/j.cie.2020.106453

    • Vancouver

      Nakayama RS, Spínola M, Silva JR. Towards I4.0: a comprehensive analysis of evolution from I3.0 [Internet]. Computers & Industrial Engineering. 2020 ; 144 Article 106453 com 13 on-line.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1016/j.cie.2020.106453

  • Curadoria

    Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019 (2019)

    Liang, Zhao (cur) ; Silva, José Reinaldo (cur) ; Proença, Sérgio Persival Baroncini (cur) ; Asada, Eduardo Nobuhiro (cur) ; Maia, Leonardo Paulo (cur) ; Varela, Hamilton (cur) ; Costa, Luciano da Fontoura (cur) ; Koberle, Roland (cur)

    Unidades: FFCLRP, EP, EESC, IFSC, IQSC

    Subjects: MATEMÁTICA APLICADA, NEUROCIÊNCIAS, FÍSICA COMPUTACIONAL

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019. . São Carlos: Universidade de São Paulo - USP. Disponível em: http://143.107.182.36/dincon2019/index.php/comite-cientifico/. Acesso em: 03 nov. 2024. , 2019

    • APA

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019. (2019). Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019. São Carlos: Universidade de São Paulo - USP. Recuperado de http://143.107.182.36/dincon2019/index.php/comite-cientifico/

    • NLM

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019 [Internet]. 2019 ;[citado 2024 nov. 03 ] Available from: http://143.107.182.36/dincon2019/index.php/comite-cientifico/

    • Vancouver

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019 [Internet]. 2019 ;[citado 2024 nov. 03 ] Available from: http://143.107.182.36/dincon2019/index.php/comite-cientifico/

  • Artigo de periodico

    SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm (2019)

    Gomes, Raimundo Cláudio Souza; Costa Junior, Carlos ; Silva, José Reinaldo ; Sicchar, José Ruben

    Source: Energies. Unidade: EP

    Subjects: REDES ELÉTRICAS INTELIGENTES, REDES DE DISTRIBUIÇÃO DE ENERGIA ELÉTRICA, SISTEMAS DISTRIBUÍDOS, EFICIÊNCIA ENERGÉTICA

    PrivadoAcesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GOMES, Raimundo Cláudio Souza et al. SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm. Energies, v. 12, n. 13, p. 1-23, 2019Tradução . . Disponível em: https://doi.org/10.3390/en12132590. Acesso em: 03 nov. 2024.

    • APA

      Gomes, R. C. S., Costa Junior, C., Silva, J. R., & Sicchar, J. R. (2019). SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm. Energies, 12( 13), 1-23. doi:10.3390/en12132590

    • NLM

      Gomes RCS, Costa Junior C, Silva JR, Sicchar JR. SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm [Internet]. Energies. 2019 ; 12( 13): 1-23.[citado 2024 nov. 03 ] Available from: https://doi.org/10.3390/en12132590

    • Vancouver

      Gomes RCS, Costa Junior C, Silva JR, Sicchar JR. SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm [Internet]. Energies. 2019 ; 12( 13): 1-23.[citado 2024 nov. 03 ] Available from: https://doi.org/10.3390/en12132590

  • Artigo de periodico

    The Era of Engineering Grand Challenges (2018)

    Silva, José Reinaldo ; Justo Filho, João Francisco ; John, Vanderley Moacyr ; Silva, Emílio Carlos Nelli

    Source: Polytechnica. Unidade: EP

    Assunto: ENGENHARIA

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, José Reinaldo et al. The Era of Engineering Grand Challenges. Polytechnica, 2018Tradução . . Disponível em: https://doi.org/10.1007/s41050-018-0001-5. Acesso em: 03 nov. 2024.

    • APA

      Silva, J. R., Justo Filho, J. F., John, V. M., & Silva, E. C. N. (2018). The Era of Engineering Grand Challenges. Polytechnica. doi:10.1007/s41050-018-0001-5

    • NLM

      Silva JR, Justo Filho JF, John VM, Silva ECN. The Era of Engineering Grand Challenges [Internet]. Polytechnica. 2018 ;[citado 2024 nov. 03 ] Available from: https://doi.org/10.1007/s41050-018-0001-5

    • Vancouver

      Silva JR, Justo Filho JF, John VM, Silva ECN. The Era of Engineering Grand Challenges [Internet]. Polytechnica. 2018 ;[citado 2024 nov. 03 ] Available from: https://doi.org/10.1007/s41050-018-0001-5

  • Trabalho de evento-resumo

    Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas (2018)

    Vitorino, Mauricio; Silva, José Reinaldo ; Paixão, Thiago Regis Longo Cesar da

    Source: Resumos. Conference titles: Simpósio Internacional de Iniciação Científica e Tecnológica da USP/SIICUSP. Unidades: EP, IQ

    Subjects: FLUORETO, ANÁLISE DA ÁGUA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VITORINO, Mauricio e SILVA, José Reinaldo e PAIXÃO, Thiago Regis Longo Cesar da. Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas. 2018, Anais.. São Paulo: USP/Pró-Reitoria de Pesquisa, 2018. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 03 nov. 2024.

    • APA

      Vitorino, M., Silva, J. R., & Paixão, T. R. L. C. da. (2018). Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas. In Resumos. São Paulo: USP/Pró-Reitoria de Pesquisa. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

    • NLM

      Vitorino M, Silva JR, Paixão TRLC da. Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas [Internet]. Resumos. 2018 ;[citado 2024 nov. 03 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

    • Vancouver

      Vitorino M, Silva JR, Paixão TRLC da. Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas [Internet]. Resumos. 2018 ;[citado 2024 nov. 03 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

  • Monografia/livro-traducao

    Introdução à robótica (2014)

    Mataric, Maja J; Ferasoli Filho, Humberto (Tradução); Silva, José Reinaldo (Tradução) ; Alves, Silas Franco dos Reis (Tradução)

    Unidade: EP

    Assunto: ROBÓTICA

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MATARIC, Maja J. Introdução à robótica. . São Paulo: Ed Unesp. Disponível em: https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf. Acesso em: 03 nov. 2024. , 2014

    • APA

      Mataric, M. J. (2014). Introdução à robótica. São Paulo: Ed Unesp. Recuperado de https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf

    • NLM

      Mataric MJ. Introdução à robótica [Internet]. 2014 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf

    • Vancouver

      Mataric MJ. Introdução à robótica [Internet]. 2014 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf

  • Trabalho de evento

    New trends in manufacturing: converging to service and intelligent systems (2014)

    Silva, José Reinaldo

    Source: Preprints. Conference titles: World Congress of the International Federation of Automatic Control. Unidade: EP

    Subjects: MANUFATURA, PROCESSOS DE FABRICAÇÃO (ENGENHARIA MECÂNICA), CADEIA DE SUPRIMENTOS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, José Reinaldo. New trends in manufacturing: converging to service and intelligent systems. 2014, Anais.. Cape Town: Ifac, 2014. Disponível em: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf. Acesso em: 03 nov. 2024.

    • APA

      Silva, J. R. (2014). New trends in manufacturing: converging to service and intelligent systems. In Preprints. Cape Town: Ifac. Recuperado de http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf

    • NLM

      Silva JR. New trends in manufacturing: converging to service and intelligent systems [Internet]. Preprints. 2014 ;[citado 2024 nov. 03 ] Available from: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf

    • Vancouver

      Silva JR. New trends in manufacturing: converging to service and intelligent systems [Internet]. Preprints. 2014 ;[citado 2024 nov. 03 ] Available from: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf

  • Trabalho de evento

    Verification of automated systems using invariants (2014)

    Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo

    Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP

    Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 03 nov. 2024.

    • APA

      Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf

    • NLM

      Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 nov. 03 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf

    • Vancouver

      Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 nov. 03 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf

  • Trabalho de evento

    Scheduling real-time systems with periodic tasks using a model-checking approach (2014)

    Olivera Salmon, Arianna Zoila; González Del Foyo, Pedro Manuel; Silva, José Reinaldo

    Conference titles: International Conference on Industrial Informatics - INDIN. Unidade: EP

    Subjects: TEMPO-REAL, INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLIVERA SALMON, Arianna Zoila e GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Scheduling real-time systems with periodic tasks using a model-checking approach. 2014, Anais.. Piscataway: IEEE, 2014. Disponível em: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf. Acesso em: 03 nov. 2024.

    • APA

      Olivera Salmon, A. Z., González Del Foyo, P. M., & Silva, J. R. (2014). Scheduling real-time systems with periodic tasks using a model-checking approach. In . Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf

    • NLM

      Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf

    • Vancouver

      Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf

  • Trabalho de evento

    Inteligência HCR para automação de serviços em smart grids de baixa tensão (2013)

    Sicchar, José R; Freitas, Rodrigo de; Silva, José Reinaldo ; Tavares Junior, Carlos C; Cavalcante, Idalina M; Gomes, Raimundo C

    Source: Anais. Conference titles: Simpósio Brasileiro de Automação Inteligente - SBAI. Unidade: EP

    Subjects: ENERGIA (GERENCIAMENTO;SISTEMAS), SERVIÇOS (SISTEMAS;AUTOMAÇÃO), INTELIGÊNCIA ARTIFICIAL, LÓGICA FUZZY

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SICCHAR, José R et al. Inteligência HCR para automação de serviços em smart grids de baixa tensão. 2013, Anais.. Campinas: SBA, 2013. Disponível em: https://repositorio.usp.br/directbitstream/71754c02-6701-4a08-a16b-521dff400881/Silva_JR-2013-Intelig%C3%AAncia%20HCR%20para%20automa%C3%A7%C3%A3o%20de%20servi%C3%A7os%20em%20smart%20grids%20de%20baixa%20tens%C3%A3o.pdf. Acesso em: 03 nov. 2024.

    • APA

      Sicchar, J. R., Freitas, R. de, Silva, J. R., Tavares Junior, C. C., Cavalcante, I. M., & Gomes, R. C. (2013). Inteligência HCR para automação de serviços em smart grids de baixa tensão. In Anais. Campinas: SBA. Recuperado de https://repositorio.usp.br/directbitstream/71754c02-6701-4a08-a16b-521dff400881/Silva_JR-2013-Intelig%C3%AAncia%20HCR%20para%20automa%C3%A7%C3%A3o%20de%20servi%C3%A7os%20em%20smart%20grids%20de%20baixa%20tens%C3%A3o.pdf

    • NLM

      Sicchar JR, Freitas R de, Silva JR, Tavares Junior CC, Cavalcante IM, Gomes RC. Inteligência HCR para automação de serviços em smart grids de baixa tensão [Internet]. Anais. 2013 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/71754c02-6701-4a08-a16b-521dff400881/Silva_JR-2013-Intelig%C3%AAncia%20HCR%20para%20automa%C3%A7%C3%A3o%20de%20servi%C3%A7os%20em%20smart%20grids%20de%20baixa%20tens%C3%A3o.pdf

    • Vancouver

      Sicchar JR, Freitas R de, Silva JR, Tavares Junior CC, Cavalcante IM, Gomes RC. Inteligência HCR para automação de serviços em smart grids de baixa tensão [Internet]. Anais. 2013 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/71754c02-6701-4a08-a16b-521dff400881/Silva_JR-2013-Intelig%C3%AAncia%20HCR%20para%20automa%C3%A7%C3%A3o%20de%20servi%C3%A7os%20em%20smart%20grids%20de%20baixa%20tens%C3%A3o.pdf

  • Trabalho de evento

    Informatics system for supervision and control of processes with mobile devices (2013)

    Astorga González, Elizabeth M; Acosta González, Roberto; Milá Ortiz, Pedro; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo

    Source: Anais. Conference titles: Simpósio Brasileiro de Automação Inteligente - SBAI. Unidade: EP

    Subjects: REDES DE PETRI, AUTOMAÇÃO INDUSTRIAL

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ASTORGA GONZÁLEZ, Elizabeth M et al. Informatics system for supervision and control of processes with mobile devices. 2013, Anais.. Campinas: SBA, 2013. Disponível em: https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf. Acesso em: 03 nov. 2024.

    • APA

      Astorga González, E. M., Acosta González, R., Milá Ortiz, P., Del Foyo, P. M. G., & Silva, J. R. (2013). Informatics system for supervision and control of processes with mobile devices. In Anais. Campinas: SBA. Recuperado de https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf

    • NLM

      Astorga González EM, Acosta González R, Milá Ortiz P, Del Foyo PMG, Silva JR. Informatics system for supervision and control of processes with mobile devices [Internet]. Anais. 2013 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf

    • Vancouver

      Astorga González EM, Acosta González R, Milá Ortiz P, Del Foyo PMG, Silva JR. Informatics system for supervision and control of processes with mobile devices [Internet]. Anais. 2013 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf

  • Trabalho de evento

    Manufacturing as service: the challenge of intelligent manufacturing (2013)

    Dutra, Diogo; Oliveira, Valter Castelhano de; Silva, José Reinaldo

    Source: IFAC 2013. Conference titles: IFAC Workshop on Intelligent Manufacturing Systems. Unidade: EP

    Subjects: SISTEMAS DE MANUFATURAS, REDES DE PETRI

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DUTRA, Diogo e OLIVEIRA, Valter Castelhano de e SILVA, José Reinaldo. Manufacturing as service: the challenge of intelligent manufacturing. 2013, Anais.. São Paulo: SBA/EP-USP, 2013. Disponível em: https://repositorio.usp.br/directbitstream/7c28ff31-4b14-4e30-ac56-0963624057d9/Silva_JR-2013-Manufacturing%20as%20Service%20the%20challenge%20of%20Intelligent%20Manufacturing.pdf. Acesso em: 03 nov. 2024.

    • APA

      Dutra, D., Oliveira, V. C. de, & Silva, J. R. (2013). Manufacturing as service: the challenge of intelligent manufacturing. In IFAC 2013. São Paulo: SBA/EP-USP. Recuperado de https://repositorio.usp.br/directbitstream/7c28ff31-4b14-4e30-ac56-0963624057d9/Silva_JR-2013-Manufacturing%20as%20Service%20the%20challenge%20of%20Intelligent%20Manufacturing.pdf

    • NLM

      Dutra D, Oliveira VC de, Silva JR. Manufacturing as service: the challenge of intelligent manufacturing [Internet]. IFAC 2013. 2013 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/7c28ff31-4b14-4e30-ac56-0963624057d9/Silva_JR-2013-Manufacturing%20as%20Service%20the%20challenge%20of%20Intelligent%20Manufacturing.pdf

    • Vancouver

      Dutra D, Oliveira VC de, Silva JR. Manufacturing as service: the challenge of intelligent manufacturing [Internet]. IFAC 2013. 2013 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/7c28ff31-4b14-4e30-ac56-0963624057d9/Silva_JR-2013-Manufacturing%20as%20Service%20the%20challenge%20of%20Intelligent%20Manufacturing.pdf

  • Artigo de periodico

    itSIMPLE: towards an integrated design system for real planning applications (2013)

    Vaquero, Tiago Stegun; Silva, José Reinaldo ; Tonidandel, Flavio; Beck, J. Christopher

    Source: The Knowledge Engineering Review. Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE REQUISITOS, ANÁLISE DE REQUISITOS

    PrivadoAcesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VAQUERO, Tiago Stegun et al. itSIMPLE: towards an integrated design system for real planning applications. The Knowledge Engineering Review, v. 28, n. 2, p. 215-230, 2013Tradução . . Disponível em: https://doi.org/10.1017/s0269888912000434. Acesso em: 03 nov. 2024.

    • APA

      Vaquero, T. S., Silva, J. R., Tonidandel, F., & Beck, J. C. (2013). itSIMPLE: towards an integrated design system for real planning applications. The Knowledge Engineering Review, 28( 2), 215-230. doi:10.1017/s0269888912000434

    • NLM

      Vaquero TS, Silva JR, Tonidandel F, Beck JC. itSIMPLE: towards an integrated design system for real planning applications [Internet]. The Knowledge Engineering Review. 2013 ; 28( 2): 215-230.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1017/s0269888912000434

    • Vancouver

      Vaquero TS, Silva JR, Tonidandel F, Beck JC. itSIMPLE: towards an integrated design system for real planning applications [Internet]. The Knowledge Engineering Review. 2013 ; 28( 2): 215-230.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1017/s0269888912000434

  • Artigo de periodico

    Some issues in real-time systems verification using time petri nets (2011)

    González Del Foyo, Pedro Manuel; Silva, José Reinaldo

    Source: Journal of the Brazilian Society of Mechanical Sciences. Unidade: EP

    Subjects: REDES DE PETRI, TEMPO-REAL

    PrivadoAcesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Some issues in real-time systems verification using time petri nets. Journal of the Brazilian Society of Mechanical Sciences, v. 33, n. 4, p. 467-474, 2011Tradução . . Disponível em: https://doi.org/10.1590/s1678-58782011000400010. Acesso em: 03 nov. 2024.

    • APA

      González Del Foyo, P. M., & Silva, J. R. (2011). Some issues in real-time systems verification using time petri nets. Journal of the Brazilian Society of Mechanical Sciences, 33( 4), 467-474. doi:10.1590/s1678-58782011000400010

    • NLM

      González Del Foyo PM, Silva JR. Some issues in real-time systems verification using time petri nets [Internet]. Journal of the Brazilian Society of Mechanical Sciences. 2011 ; 33( 4): 467-474.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1590/s1678-58782011000400010

    • Vancouver

      González Del Foyo PM, Silva JR. Some issues in real-time systems verification using time petri nets [Internet]. Journal of the Brazilian Society of Mechanical Sciences. 2011 ; 33( 4): 467-474.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1590/s1678-58782011000400010

  • Trabalho de evento

    Multi-agent control system of a kraft recovery boiler (2008)

    Herrera Sosa, Ivan Raúl; Park, Song Won ; Silva, José Reinaldo

    Source: ESCAPE 18 : proceedings / edited by Bertrand Braunschweig and Javier Joulia. Conference titles: European Symposium on Computer Aided Process Engineering. Unidade: EP

    Subjects: CALDEIRAS (CONTROLE), PROCESSOS QUÍMICOS (TECNOLOGIA DE CELULOSE E PAPEL) (MONITORAMENTO), SIMULAÇÃO, SISTEMAS DE CONTROLE

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      HERRERA SOSA, Ivan Raúl e PARK, Song Won e SILVA, José Reinaldo. Multi-agent control system of a kraft recovery boiler. 2008, Anais.. Oxford: Elsevier, 2008. Disponível em: https://doi.org/10.3182/20080706-5-KR-1001.02696. Acesso em: 03 nov. 2024.

    • APA

      Herrera Sosa, I. R., Park, S. W., & Silva, J. R. (2008). Multi-agent control system of a kraft recovery boiler. In ESCAPE 18 : proceedings / edited by Bertrand Braunschweig and Javier Joulia. Oxford: Elsevier. doi:10.3182/20080706-5-KR-1001.02696

    • NLM

      Herrera Sosa IR, Park SW, Silva JR. Multi-agent control system of a kraft recovery boiler [Internet]. ESCAPE 18 : proceedings / edited by Bertrand Braunschweig and Javier Joulia. 2008 ;[citado 2024 nov. 03 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.02696

    • Vancouver

      Herrera Sosa IR, Park SW, Silva JR. Multi-agent control system of a kraft recovery boiler [Internet]. ESCAPE 18 : proceedings / edited by Bertrand Braunschweig and Javier Joulia. 2008 ;[citado 2024 nov. 03 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.02696

  • Trabalho de evento

    On the use of UML.P for modeling a real application as a planning problem (2006)

    Vaquero, Tiago Stegun; Tonidandel, Flavio ; Barros, Leliane Nunes de ; Silva, José Reinaldo

    Source: Proceedings. Conference titles: International Conference on International Conference on Automated Planning and Scheduling - ICAPS. Unidades: IME, EP

    Subjects: LINGUAGEM DE PROGRAMAÇÃO, REPRESENTAÇÃO DE CONHECIMENTO, MODELOS MATEMÁTICOS, SOLUÇÃO DE PROBLEMAS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VAQUERO, Tiago Stegun et al. On the use of UML.P for modeling a real application as a planning problem. 2006, Anais.. Palo Alto: AAAI Press, 2006. Disponível em: https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf. Acesso em: 03 nov. 2024.

    • APA

      Vaquero, T. S., Tonidandel, F., Barros, L. N. de, & Silva, J. R. (2006). On the use of UML.P for modeling a real application as a planning problem. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf

    • NLM

      Vaquero TS, Tonidandel F, Barros LN de, Silva JR. On the use of UML.P for modeling a real application as a planning problem [Internet]. Proceedings. 2006 ;[citado 2024 nov. 03 ] Available from: https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf

    • Vancouver

      Vaquero TS, Tonidandel F, Barros LN de, Silva JR. On the use of UML.P for modeling a real application as a planning problem [Internet]. Proceedings. 2006 ;[citado 2024 nov. 03 ] Available from: https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf

  • Artigo de periodico

    Applying Petri nets to requirements validation (2004)

    Silva, José Reinaldo ; Santos, Eston Almança dos

    Source: IFAC-PapersOnLine. Unidade: EP

    Subjects: MECATRÔNICA, SISTEMAS DE INFORMAÇÃO, REDES DE PETRI, DINÂMICA

    PrivadoAcesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. IFAC-PapersOnLine, v. 37, n. 4, p. 659-666, 2004Tradução . . Disponível em: https://doi.org/10.1016/S1474-6670(17)36190-6. Acesso em: 03 nov. 2024.

    • APA

      Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. IFAC-PapersOnLine, 37( 4), 659-666. doi:10.1016/S1474-6670(17)36190-6

    • NLM

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6

    • Vancouver

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 nov. 03 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6

  • Trabalho de evento

    Interactive design of integrated systems (1998)

    Silva, José Reinaldo

    Source: Anais. Conference titles: Workshop SIntEd sobre Edifícios Inteligentes. Unidade: EP

    Assunto: SISTEMAS DISCRETOS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, José Reinaldo. Interactive design of integrated systems. 1998, Anais.. Varadero: UNINOVA/CYTED, 1998. Disponível em: https://repositorio.usp.br/directbitstream/b10c2285-58ff-4f64-b2c1-4136ed83a7b8/Silva_JR-1998-interactive%20design%20of%20integrated%20systems-CYTED.pdf. Acesso em: 03 nov. 2024.

    • APA

      Silva, J. R. (1998). Interactive design of integrated systems. In Anais. Varadero: UNINOVA/CYTED. Recuperado de https://repositorio.usp.br/directbitstream/b10c2285-58ff-4f64-b2c1-4136ed83a7b8/Silva_JR-1998-interactive%20design%20of%20integrated%20systems-CYTED.pdf

    • NLM

      Silva JR. Interactive design of integrated systems [Internet]. Anais. 1998 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/b10c2285-58ff-4f64-b2c1-4136ed83a7b8/Silva_JR-1998-interactive%20design%20of%20integrated%20systems-CYTED.pdf

    • Vancouver

      Silva JR. Interactive design of integrated systems [Internet]. Anais. 1998 ;[citado 2024 nov. 03 ] Available from: https://repositorio.usp.br/directbitstream/b10c2285-58ff-4f64-b2c1-4136ed83a7b8/Silva_JR-1998-interactive%20design%20of%20integrated%20systems-CYTED.pdf

1 - 20 (25 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024