ReP USP - Resultado da busca

Trabalho de evento-anais periodico
ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees (2026)
Nascimento, Luis; Oliveira, Andre Luiz ; Villela, Regina ; Fonseca, Hiago; Branco, Kalinka Regina Lucas Jaquie Castelo ; Wei, Ran ; Hawkins, Richard ; Kelly, Timothy Patrick
Source: Lecture Notes in Computer Science - LNCS. Conference titles: International Symposium on Model-Based Safety and Assessment - IMBSA. Unidade: ICMC
Subjects: SISTEMAS AUTÔNOMOS, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NASCIMENTO, Luis et al. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-032-05073-1_20. Acesso em: 01 dez. 2025. , 2026
APA
Nascimento, L., Oliveira, A. L., Villela, R., Fonseca, H., Branco, K. R. L. J. C., Wei, R., et al. (2026). ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1007/978-3-032-05073-1_20
NLM
Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20
Vancouver
Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20
Trabalho de evento-anais periodico
Impact of distances in an anomaly detection context for time series in software testing (2025)
Ruiz, Kevin Gerardo Polo; Delbem, Alexandre Cláudio Botazzo ; Souza, Paulo Sérgio Lopes de
Source: Lecture Notes in Computer Science - LNCS. Conference titles: Computational Science and Its Applications - ICCSA. Unidade: ICMC
Subjects: ANÁLISE DE SÉRIES TEMPORAIS, TESTE E AVALIAÇÃO DE SOFTWARE, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RUIZ, Kevin Gerardo Polo e DELBEM, Alexandre Cláudio Botazzo e SOUZA, Paulo Sérgio Lopes de. Impact of distances in an anomaly detection context for time series in software testing. Lecture Notes in Computer Science - LNCS. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-96997-3_2. Acesso em: 01 dez. 2025. , 2025
APA
Ruiz, K. G. P., Delbem, A. C. B., & Souza, P. S. L. de. (2025). Impact of distances in an anomaly detection context for time series in software testing. Lecture Notes in Computer Science - LNCS. Cham: Springer. doi:10.1007/978-3-031-96997-3_2
NLM
Ruiz KGP, Delbem ACB, Souza PSL de. Impact of distances in an anomaly detection context for time series in software testing [Internet]. Lecture Notes in Computer Science - LNCS. 2025 ; 15649 18-34.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/978-3-031-96997-3_2
Vancouver
Ruiz KGP, Delbem ACB, Souza PSL de. Impact of distances in an anomaly detection context for time series in software testing [Internet]. Lecture Notes in Computer Science - LNCS. 2025 ; 15649 18-34.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/978-3-031-96997-3_2
Trabalho de evento-anais periodico
An architecture for a reliability tool applied to distributed systems (2025)
Herrera, Caio Guimaraes ; Montes, Vitor Silva; Souza, Simone do Rocio Senger de ; Santos, Ricardo Ribeiro dos ; Souza, Paulo Sérgio Lopes de
Source: Lecture Notes in Computer Science - LNCS. Conference titles: Computational Science and Its Applications - ICCSA. Unidade: ICMC
Subjects: CONFIABILIDADE DE SOFTWARE, SISTEMAS DISTRIBUÍDOS, FALHAS COMPUTACIONAIS, INTERNET DAS COISAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERRERA, Caio Guimaraes et al. An architecture for a reliability tool applied to distributed systems. Lecture Notes in Computer Science - LNCS. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-96997-3_21. Acesso em: 01 dez. 2025. , 2025
APA
Herrera, C. G., Montes, V. S., Souza, S. do R. S. de, Santos, R. R. dos, & Souza, P. S. L. de. (2025). An architecture for a reliability tool applied to distributed systems. Lecture Notes in Computer Science - LNCS. Cham: Springer. doi:10.1007/978-3-031-96997-3_21
NLM
Herrera CG, Montes VS, Souza S do RS de, Santos RR dos, Souza PSL de. An architecture for a reliability tool applied to distributed systems [Internet]. Lecture Notes in Computer Science - LNCS. 2025 ; 15649 332-348.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/978-3-031-96997-3_21
Vancouver
Herrera CG, Montes VS, Souza S do RS de, Santos RR dos, Souza PSL de. An architecture for a reliability tool applied to distributed systems [Internet]. Lecture Notes in Computer Science - LNCS. 2025 ; 15649 332-348.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/978-3-031-96997-3_21
Artigo de periodico
Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations (2025)
Paiva, Thales Bandiera ; Hafiz, Syed Mahbud; Yildiz, Bahattin; Cominetti, Eduardo Lopes; Ogawa, Henrique Seiti
Source: IACR Transactions on Cryptographic Hardware and Embedded Systems. Unidade: EP
Subjects: SÍMBOLO, FALHAS COMPUTACIONAIS, COMPRESSÃO (COMPUTABILIDADE E COMPLEXIDADE)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Thales Bandiera et al. Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations. IACR Transactions on Cryptographic Hardware and Embedded Systems, v. 2025, 2025Tradução . . Disponível em: https://doi.org/10.46586/tches.v2025.i3.139-163. Acesso em: 01 dez. 2025.
APA
Paiva, T. B., Hafiz, S. M., Yildiz, B., Cominetti, E. L., & Ogawa, H. S. (2025). Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2025. doi:10.46586/tches.v2025.i3.139-163
NLM
Paiva TB, Hafiz SM, Yildiz B, Cominetti EL, Ogawa HS. Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations [Internet]. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2025 ; 2025[citado 2025 dez. 01 ] Available from: https://doi.org/10.46586/tches.v2025.i3.139-163
Vancouver
Paiva TB, Hafiz SM, Yildiz B, Cominetti EL, Ogawa HS. Tailorable codes for lattice-based KEMs with applications to compact ML-KEM instantiations [Internet]. IACR Transactions on Cryptographic Hardware and Embedded Systems. 2025 ; 2025[citado 2025 dez. 01 ] Available from: https://doi.org/10.46586/tches.v2025.i3.139-163
Trabalho de evento
Optimizing prony's order for filtering non-periodic components in signals (2025)
Palate Moyolema, Byron Orlando; Kalueyo, Celestino Paulo Tchipongue; Aragão, Pedro Sato de; Di Santo, Silvio Giuseppe ; Kagan, Nelson ; Almeida, Carlos Frederico Meschini
Source: ICEENG. Conference titles: International Conference on Electrical Engineering. Unidade: EP
Subjects: FALHAS COMPUTACIONAIS, ENERGIA ELÉTRICA, ANÁLISE ESPECTRAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PALATE MOYOLEMA, Byron Orlando et al. Optimizing prony's order for filtering non-periodic components in signals. 2025, Anais.. [Piscataway]: IEEE, 2025. Disponível em: https://doi.org/10.1109/ICEENG64546.2025.11031278. Acesso em: 01 dez. 2025.
APA
Palate Moyolema, B. O., Kalueyo, C. P. T., Aragão, P. S. de, Di Santo, S. G., Kagan, N., & Almeida, C. F. M. (2025). Optimizing prony's order for filtering non-periodic components in signals. In ICEENG. [Piscataway]: IEEE. doi:10.1109/ICEENG64546.2025.11031278
NLM
Palate Moyolema BO, Kalueyo CPT, Aragão PS de, Di Santo SG, Kagan N, Almeida CFM. Optimizing prony's order for filtering non-periodic components in signals [Internet]. ICEENG. 2025 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1109/ICEENG64546.2025.11031278
Vancouver
Palate Moyolema BO, Kalueyo CPT, Aragão PS de, Di Santo SG, Kagan N, Almeida CFM. Optimizing prony's order for filtering non-periodic components in signals [Internet]. ICEENG. 2025 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1109/ICEENG64546.2025.11031278
Artigo de periodico
A GUI-based metamorphic testing technique for detecting authentication vulnerabilities in Android mobile apps (2025)
Amalfitano, Domenico ; Costa Júnior, Misael ; Fasolino, Anna Rita ; Delamaro, Márcio Eduardo
Source: The Journal of Systems & Software. Unidade: ICMC
Subjects: APLICATIVOS MÓVEIS, VULNERABILIDADE, PROTEÇÃO DE DADOS PESSOAIS, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AMALFITANO, Domenico et al. A GUI-based metamorphic testing technique for detecting authentication vulnerabilities in Android mobile apps. The Journal of Systems & Software, v. 224, p. 1-17, 2025Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2025.112364. Acesso em: 01 dez. 2025.
APA
Amalfitano, D., Costa Júnior, M., Fasolino, A. R., & Delamaro, M. E. (2025). A GUI-based metamorphic testing technique for detecting authentication vulnerabilities in Android mobile apps. The Journal of Systems & Software, 224, 1-17. doi:10.1016/j.jss.2025.112364
NLM
Amalfitano D, Costa Júnior M, Fasolino AR, Delamaro ME. A GUI-based metamorphic testing technique for detecting authentication vulnerabilities in Android mobile apps [Internet]. The Journal of Systems & Software. 2025 ; 224 1-17.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.jss.2025.112364
Vancouver
Amalfitano D, Costa Júnior M, Fasolino AR, Delamaro ME. A GUI-based metamorphic testing technique for detecting authentication vulnerabilities in Android mobile apps [Internet]. The Journal of Systems & Software. 2025 ; 224 1-17.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.jss.2025.112364
Tese (Doutorado)
Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial. (2024)
Silva Neto, Antonio Vieira da ; Cugnasca, Paulo Sérgio (Orientador)
Unidade: EP
Subjects: AGENTES INTELIGENTES, ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO, FALHAS COMPUTACIONAIS, INTELIGÊNCIA ARTIFICIAL, SEGURANÇA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA NETO, Antonio Vieira da. Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14112024-090238/pt-br.php. Acesso em: 01 dez. 2025.
APA
Silva Neto, A. V. da. (2024). Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial. (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14112024-090238/pt-br.php
NLM
Silva Neto AV da. Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial. [Internet]. 2024 ;[citado 2025 dez. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14112024-090238/pt-br.php
Vancouver
Silva Neto AV da. Safety ArtISt: um método para a garantia de segurança crítica de sistemas com inteligência artificial. [Internet]. 2024 ;[citado 2025 dez. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-14112024-090238/pt-br.php
Trabalho de evento
Diagnóstico de falhas em caldeira de recuperação Kraft (2024)
Gradin, Felipe Barbuda ; Taira, Gustavo Ryuji ; Venturelli, Henrique Camargo de Araújo; Park, Song Won
Source: Proceedings of PSE-BR 2024. Conference titles: Brazilian Congress on Process Systems Engineering. Unidade: EP
Subjects: APRENDIZADO COMPUTACIONAL, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GRADIN, Felipe Barbuda et al. Diagnóstico de falhas em caldeira de recuperação Kraft. 2024, Anais.. São Paulo: Ed dos Autores, 2024. Disponível em: https://sites.usp.br/psebr24/. Acesso em: 01 dez. 2025.
APA
Gradin, F. B., Taira, G. R., Venturelli, H. C. de A., & Park, S. W. (2024). Diagnóstico de falhas em caldeira de recuperação Kraft. In Proceedings of PSE-BR 2024. São Paulo: Ed dos Autores. Recuperado de https://sites.usp.br/psebr24/
NLM
Gradin FB, Taira GR, Venturelli HC de A, Park SW. Diagnóstico de falhas em caldeira de recuperação Kraft [Internet]. Proceedings of PSE-BR 2024. 2024 ;[citado 2025 dez. 01 ] Available from: https://sites.usp.br/psebr24/
Vancouver
Gradin FB, Taira GR, Venturelli HC de A, Park SW. Diagnóstico de falhas em caldeira de recuperação Kraft [Internet]. Proceedings of PSE-BR 2024. 2024 ;[citado 2025 dez. 01 ] Available from: https://sites.usp.br/psebr24/
Trabalho de evento
Influence of data filters on machine learning for predicting aircraft component failures (2024)
Castilho, Henrique Mendes; Turcio, Wallace Hessler Leal; Santos, Luis Carlos de Castro
Source: Anais. Conference titles: Encontro Nacional de Modelagem Computacional - ENMC. Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, COMPONENTES DE AERONAVES, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CASTILHO, Henrique Mendes e TURCIO, Wallace Hessler Leal e SANTOS, Luis Carlos de Castro. Influence of data filters on machine learning for predicting aircraft component failures. 2024, Anais.. Ilha do Leite: Even3, 2024. Disponível em: https://static.even3.com/anais/689673.pdf. Acesso em: 01 dez. 2025.
APA
Castilho, H. M., Turcio, W. H. L., & Santos, L. C. de C. (2024). Influence of data filters on machine learning for predicting aircraft component failures. In Anais. Ilha do Leite: Even3. Recuperado de https://static.even3.com/anais/689673.pdf
NLM
Castilho HM, Turcio WHL, Santos LC de C. Influence of data filters on machine learning for predicting aircraft component failures [Internet]. Anais. 2024 ;[citado 2025 dez. 01 ] Available from: https://static.even3.com/anais/689673.pdf
Vancouver
Castilho HM, Turcio WHL, Santos LC de C. Influence of data filters on machine learning for predicting aircraft component failures [Internet]. Anais. 2024 ;[citado 2025 dez. 01 ] Available from: https://static.even3.com/anais/689673.pdf
Artigo de periodico
FS-SCF network: neural network interpretability based on counterfactual generation and feature selection for fault diagnosis (2024)
Figueroa Barraza, Joaquín Eduardo ; López Droguett, Enrique Andrés ; Martins, Marcelo Ramos
Source: Expert systems with applications. Unidade: EP
Subjects: REDES NEURAIS, FALHAS COMPUTACIONAIS, GESTÃO DA SEGURANÇA EM SISTEMAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUEROA BARRAZA, Joaquín Eduardo e LÓPEZ DROGUETT, Enrique Andrés e MARTINS, Marcelo Ramos. FS-SCF network: neural network interpretability based on counterfactual generation and feature selection for fault diagnosis. Expert systems with applications, v. 237, p. 1-16, 2024Tradução . . Disponível em: https://doi.org/10.1016/j.eswa.2023.121670. Acesso em: 01 dez. 2025.
APA
Figueroa Barraza, J. E., López Droguett, E. A., & Martins, M. R. (2024). FS-SCF network: neural network interpretability based on counterfactual generation and feature selection for fault diagnosis. Expert systems with applications, 237, 1-16. doi:10.1016/j.eswa.2023.121670
NLM
Figueroa Barraza JE, López Droguett EA, Martins MR. FS-SCF network: neural network interpretability based on counterfactual generation and feature selection for fault diagnosis [Internet]. Expert systems with applications. 2024 ; 237 1-16.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.eswa.2023.121670
Vancouver
Figueroa Barraza JE, López Droguett EA, Martins MR. FS-SCF network: neural network interpretability based on counterfactual generation and feature selection for fault diagnosis [Internet]. Expert systems with applications. 2024 ; 237 1-16.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.eswa.2023.121670
Artigo de periodico
SCF-Net: a sparse counterfactual generation network for interpretable fault diagnosis (2024)
Figueroa Barraza, Joaquín Eduardo ; López Droguett, Enrique Andrés ; Martins, Marcelo Ramos
Source: Reliability engineering & systems safety. Unidade: EP
Subjects: APRENDIZAGEM PROFUNDA, REDES NEURAIS, FALHAS COMPUTACIONAIS, GESTÃO DA SEGURANÇA EM SISTEMAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUEROA BARRAZA, Joaquín Eduardo e LÓPEZ DROGUETT, Enrique Andrés e MARTINS, Marcelo Ramos. SCF-Net: a sparse counterfactual generation network for interpretable fault diagnosis. Reliability engineering & systems safety, v. 250, p. 1-11, 2024Tradução . . Disponível em: https://doi.org/10.1016/j.ress.2024.110285. Acesso em: 01 dez. 2025.
APA
Figueroa Barraza, J. E., López Droguett, E. A., & Martins, M. R. (2024). SCF-Net: a sparse counterfactual generation network for interpretable fault diagnosis. Reliability engineering & systems safety, 250, 1-11. doi:10.1016/j.ress.2024.110285
NLM
Figueroa Barraza JE, López Droguett EA, Martins MR. SCF-Net: a sparse counterfactual generation network for interpretable fault diagnosis [Internet]. Reliability engineering & systems safety. 2024 ; 250 1-11.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.ress.2024.110285
Vancouver
Figueroa Barraza JE, López Droguett EA, Martins MR. SCF-Net: a sparse counterfactual generation network for interpretable fault diagnosis [Internet]. Reliability engineering & systems safety. 2024 ; 250 1-11.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.ress.2024.110285
Artigo de periodico
A novel mechanism for misbehavior detection in vehicular networks (2023)
Valentini, Edivaldo Pastori ; Rocha Filho, Geraldo Pereira ; Grande, Robson Eduardo de ; Ranieri, Caetano Mazzoni ; Pereira Júnior, Lourenço Alves ; Meneguette, Rodolfo Ipolito
Source: IEEE Access. Unidade: ICMC
Subjects: SISTEMAS INTELIGENTES DE TRANSPORTES, VEÍCULOS, FALHAS COMPUTACIONAIS, INTERNET DAS COISAS, CIDADES INTELIGENTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VALENTINI, Edivaldo Pastori et al. A novel mechanism for misbehavior detection in vehicular networks. IEEE Access, v. 11, p. 68113-68126, 2023Tradução . . Disponível em: https://doi.org/10.1109/ACCESS.2023.3292055. Acesso em: 01 dez. 2025.
APA
Valentini, E. P., Rocha Filho, G. P., Grande, R. E. de, Ranieri, C. M., Pereira Júnior, L. A., & Meneguette, R. I. (2023). A novel mechanism for misbehavior detection in vehicular networks. IEEE Access, 11, 68113-68126. doi:10.1109/ACCESS.2023.3292055
NLM
Valentini EP, Rocha Filho GP, Grande RE de, Ranieri CM, Pereira Júnior LA, Meneguette RI. A novel mechanism for misbehavior detection in vehicular networks [Internet]. IEEE Access. 2023 ; 11 68113-68126.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1109/ACCESS.2023.3292055
Vancouver
Valentini EP, Rocha Filho GP, Grande RE de, Ranieri CM, Pereira Júnior LA, Meneguette RI. A novel mechanism for misbehavior detection in vehicular networks [Internet]. IEEE Access. 2023 ; 11 68113-68126.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1109/ACCESS.2023.3292055
Artigo de periodico
Gain scheduled fault detection filter for markovian jump linear system with nonhomogeneous markov chain (2023)
Carvalho, Leonardo de Paula ; Palma, Jonathan M; Morais, Cecília F; Jayawardhana, Bayu; Costa, Oswaldo Luiz do Valle
Source: Mathematics. Unidade: EP
Subjects: SISTEMAS DE CONTROLE, FALHAS COMPUTACIONAIS, CADEIAS DE MARKOV
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Leonardo de Paula et al. Gain scheduled fault detection filter for markovian jump linear system with nonhomogeneous markov chain. Mathematics, v. 11, n. 7, p. 1-21, 2023Tradução . . Disponível em: https://doi.org/10.3390/math11071713. Acesso em: 01 dez. 2025.
APA
Carvalho, L. de P., Palma, J. M., Morais, C. F., Jayawardhana, B., & Costa, O. L. do V. (2023). Gain scheduled fault detection filter for markovian jump linear system with nonhomogeneous markov chain. Mathematics, 11( 7), 1-21. doi:10.3390/math11071713
NLM
Carvalho L de P, Palma JM, Morais CF, Jayawardhana B, Costa OL do V. Gain scheduled fault detection filter for markovian jump linear system with nonhomogeneous markov chain [Internet]. Mathematics. 2023 ; 11( 7): 1-21.[citado 2025 dez. 01 ] Available from: https://doi.org/10.3390/math11071713
Vancouver
Carvalho L de P, Palma JM, Morais CF, Jayawardhana B, Costa OL do V. Gain scheduled fault detection filter for markovian jump linear system with nonhomogeneous markov chain [Internet]. Mathematics. 2023 ; 11( 7): 1-21.[citado 2025 dez. 01 ] Available from: https://doi.org/10.3390/math11071713
Artigo de periodico
Fault-tolerant control of gas-lifted oil well (2023)
Adukwu, Ojonugwa; Odloak, Darci ; Kassab Junior, Fuad
Source: IEEE Access. Unidade: EP
Subjects: CONTROLE PREDITIVO, FALHAS COMPUTACIONAIS, OTIMIZAÇÃO DA PERFURAÇÃO, ROBUSTEZ
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ADUKWU, Ojonugwa e ODLOAK, Darci e KASSAB JUNIOR, Fuad. Fault-tolerant control of gas-lifted oil well. IEEE Access, v. 11, p. 24780-24793, 2023Tradução . . Disponível em: http://dx.doi.org/10.1109/ACCESS.2023.3255645. Acesso em: 01 dez. 2025.
APA
Adukwu, O., Odloak, D., & Kassab Junior, F. (2023). Fault-tolerant control of gas-lifted oil well. IEEE Access, 11, 24780-24793. doi:10.1109/ACCESS.2023.3255645
NLM
Adukwu O, Odloak D, Kassab Junior F. Fault-tolerant control of gas-lifted oil well [Internet]. IEEE Access. 2023 ; 11 24780-24793.[citado 2025 dez. 01 ] Available from: http://dx.doi.org/10.1109/ACCESS.2023.3255645
Vancouver
Adukwu O, Odloak D, Kassab Junior F. Fault-tolerant control of gas-lifted oil well [Internet]. IEEE Access. 2023 ; 11 24780-24793.[citado 2025 dez. 01 ] Available from: http://dx.doi.org/10.1109/ACCESS.2023.3255645
Artigo de periodico
Health monitoring system for autonomous vehicles using dynamic bayesian networks for diagnosis and prognosis (2021)
Gomes, Iago Pachêco ; Wolf, Denis Fernando
Source: Journal of Intelligent & Robotic Systems. Unidade: ICMC
Subjects: VEÍCULOS AUTÔNOMOS, FALHAS COMPUTACIONAIS, APRENDIZADO COMPUTACIONAL, SISTEMAS DINÂMICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GOMES, Iago Pachêco e WOLF, Denis Fernando. Health monitoring system for autonomous vehicles using dynamic bayesian networks for diagnosis and prognosis. Journal of Intelligent & Robotic Systems, v. 101, n. Ja 2021, p. 1-21, 2021Tradução . . Disponível em: https://doi.org/10.1007/s10846-020-01293-y. Acesso em: 01 dez. 2025.
APA
Gomes, I. P., & Wolf, D. F. (2021). Health monitoring system for autonomous vehicles using dynamic bayesian networks for diagnosis and prognosis. Journal of Intelligent & Robotic Systems, 101( Ja 2021), 1-21. doi:10.1007/s10846-020-01293-y
NLM
Gomes IP, Wolf DF. Health monitoring system for autonomous vehicles using dynamic bayesian networks for diagnosis and prognosis [Internet]. Journal of Intelligent & Robotic Systems. 2021 ; 101( Ja 2021): 1-21.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/s10846-020-01293-y
Vancouver
Gomes IP, Wolf DF. Health monitoring system for autonomous vehicles using dynamic bayesian networks for diagnosis and prognosis [Internet]. Journal of Intelligent & Robotic Systems. 2021 ; 101( Ja 2021): 1-21.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/s10846-020-01293-y
Artigo de periodico
Fuzzy-FMSA: evaluating Fault Monitoring and Detection Strategies Based on Failure Mode and Symptom Analysis and Fuzzy Logic (2020)
Murad, Carlos Alberto; Melani, Arthur Henrique de Andrade ; Michalski, Miguel Angelo De Carvalho ; Caminada Netto, Adherbal; Souza, Gilberto Francisco Martha de ; Nabeta, Silvio Ikuyo
Source: ASCE-ASME journal of risk and uncertainty in engineering systems. Part B. Mechanical engineering. Unidade: EP
Subjects: FALHAS COMPUTACIONAIS, LÓGICA FUZZY
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MURAD, Carlos Alberto et al. Fuzzy-FMSA: evaluating Fault Monitoring and Detection Strategies Based on Failure Mode and Symptom Analysis and Fuzzy Logic. ASCE-ASME journal of risk and uncertainty in engineering systems. Part B. Mechanical engineering, v. 6, n. 3, p. se 2020, 2020Tradução . . Disponível em: https://doi.org/10.1115/1.4045974. Acesso em: 01 dez. 2025.
APA
Murad, C. A., Melani, A. H. de A., Michalski, M. A. D. C., Caminada Netto, A., Souza, G. F. M. de, & Nabeta, S. I. (2020). Fuzzy-FMSA: evaluating Fault Monitoring and Detection Strategies Based on Failure Mode and Symptom Analysis and Fuzzy Logic. ASCE-ASME journal of risk and uncertainty in engineering systems. Part B. Mechanical engineering, 6( 3), se 2020. doi:10.1115/1.4045974
NLM
Murad CA, Melani AH de A, Michalski MADC, Caminada Netto A, Souza GFM de, Nabeta SI. Fuzzy-FMSA: evaluating Fault Monitoring and Detection Strategies Based on Failure Mode and Symptom Analysis and Fuzzy Logic [Internet]. ASCE-ASME journal of risk and uncertainty in engineering systems. Part B. Mechanical engineering. 2020 ;6( 3): se 2020.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1115/1.4045974
Vancouver
Murad CA, Melani AH de A, Michalski MADC, Caminada Netto A, Souza GFM de, Nabeta SI. Fuzzy-FMSA: evaluating Fault Monitoring and Detection Strategies Based on Failure Mode and Symptom Analysis and Fuzzy Logic [Internet]. ASCE-ASME journal of risk and uncertainty in engineering systems. Part B. Mechanical engineering. 2020 ;6( 3): se 2020.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1115/1.4045974
Trabalho de evento
Reducing the cost of mutation testing with the use of primitive arcs concept (2020)
Kuroishi, Pedro Henrique; Delamaro, Márcio Eduardo ; Maldonado, José Carlos ; Vincenzi, Auri Marcelo Rizzo
Source: Proceedings. Conference titles: Brazilian Symposium on Software Quality - SBQS. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ANÁLISE DE MUTANTES, FALHAS COMPUTACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KUROISHI, Pedro Henrique et al. Reducing the cost of mutation testing with the use of primitive arcs concept. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3439961.3439981. Acesso em: 01 dez. 2025.
APA
Kuroishi, P. H., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2020). Reducing the cost of mutation testing with the use of primitive arcs concept. In Proceedings. New York: ACM. doi:10.1145/3439961.3439981
NLM
Kuroishi PH, Delamaro ME, Maldonado JC, Vincenzi AMR. Reducing the cost of mutation testing with the use of primitive arcs concept [Internet]. Proceedings. 2020 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1145/3439961.3439981
Vancouver
Kuroishi PH, Delamaro ME, Maldonado JC, Vincenzi AMR. Reducing the cost of mutation testing with the use of primitive arcs concept [Internet]. Proceedings. 2020 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1145/3439961.3439981
Trabalho de evento
An experimental study on applying metamorphic testing in machine learning applications (2020)
Santos, Sebastião Henrique Nascimento; Silveira, Beatriz Nogueira Carvalho da; Andrade, Stevão Alves de ; Delamaro, Márcio Eduardo ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, APRENDIZADO COMPUTACIONAL, FALHAS COMPUTACIONAIS, NEOPLASIAS MAMÁRIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Sebastião Henrique Nascimento et al. An experimental study on applying metamorphic testing in machine learning applications. 2020, Anais.. New York: ACM, 2020. Disponível em: https://doi.org/10.1145/3425174.3425226. Acesso em: 01 dez. 2025.
APA
Santos, S. H. N., Silveira, B. N. C. da, Andrade, S. A. de, Delamaro, M. E., & Souza, S. do R. S. de. (2020). An experimental study on applying metamorphic testing in machine learning applications. In Proceedings. New York: ACM. doi:10.1145/3425174.3425226
NLM
Santos SHN, Silveira BNC da, Andrade SA de, Delamaro ME, Souza S do RS de. An experimental study on applying metamorphic testing in machine learning applications [Internet]. Proceedings. 2020 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1145/3425174.3425226
Vancouver
Santos SHN, Silveira BNC da, Andrade SA de, Delamaro ME, Souza S do RS de. An experimental study on applying metamorphic testing in machine learning applications [Internet]. Proceedings. 2020 ;[citado 2025 dez. 01 ] Available from: https://doi.org/10.1145/3425174.3425226
Dissertação (Mestrado)
A Software Architecture Proposal for Autonomous Vehicles (2019)
Gomes, Iago Pacheco; Wolf, Denis Fernando (Orientador)
Unidade: ICMC
Subjects: VEÍCULOS AUTÔNOMOS, ARQUITETURA DE SOFTWARE, FALHAS COMPUTACIONAIS, COMPORTAMENTO, TRANSPORTE URBANO, IMPACTOS AMBIENTAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GOMES, Iago Pacheco. A Software Architecture Proposal for Autonomous Vehicles. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012020-122648/. Acesso em: 01 dez. 2025.
APA
Gomes, I. P. (2019). A Software Architecture Proposal for Autonomous Vehicles (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012020-122648/
NLM
Gomes IP. A Software Architecture Proposal for Autonomous Vehicles [Internet]. 2019 ;[citado 2025 dez. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012020-122648/
Vancouver
Gomes IP. A Software Architecture Proposal for Autonomous Vehicles [Internet]. 2019 ;[citado 2025 dez. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012020-122648/
Dissertação (Mestrado)
UNiVErSE - Explorando Safety e Security em Veículos Aéreos não Tripulados (2019)
Franco, Matheus Lopes; Branco, Kalinka Regina Lucas Jaquie Castelo (Orientador)
Unidade: ICMC
Subjects: FALHAS COMPUTACIONAIS, ACIDENTES, SISTEMAS AUTÔNOMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCO, Matheus Lopes. UNiVErSE - Explorando Safety e Security em Veículos Aéreos não Tripulados. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-04022020-092615/. Acesso em: 01 dez. 2025.
APA
Franco, M. L. (2019). UNiVErSE - Explorando Safety e Security em Veículos Aéreos não Tripulados (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-04022020-092615/
NLM
Franco ML. UNiVErSE - Explorando Safety e Security em Veículos Aéreos não Tripulados [Internet]. 2019 ;[citado 2025 dez. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-04022020-092615/
Vancouver
Franco ML. UNiVErSE - Explorando Safety e Security em Veículos Aéreos não Tripulados [Internet]. 2019 ;[citado 2025 dez. 01 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-04022020-092615/

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Normalized affiliation

Non normalized affiliation

Countries of institutions of collaboration