LUCIO FLÁVIO VISMARI

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• OLIVEIRA, DAVID F. N. ; VISMARI, LUCIO F. ; NASCIMENTO, ALEXANDRE M. ; DE ALMEIDA, JORGE R. ; CUGNASCA, PAULO S. ; CAMARGO, JOAO B. ; ALMEIDA, LEANDRO ; GRIPP, RAFAEL ; NEVES, MARCELO . A New Interpretable Unsupervised Anomaly Detection Method Based on Residual Explanation. IEEE Access , v. 10, p. 1401-1409, 2022.

• NASCIMENTO, ALEXANDRE MOREIRA ; VISMARI, LUCIO FLAVIO ; MOLINA, CAROLINE BIANCA SANTOS TANCREDI ; CUGNASCA, PAULO SERGIO ; CAMARGO, JOAO BATISTA ; DE ALMEIDA, JORGE RADY ; INAM, RAFIA ; FERSMAN, ELENA ; MARQUEZINI, MARIA VALERIA ; HATA, ALBERTO YUKINOBU . A Systematic Literature Review About the Impact of Artificial Intelligence on Autonomous Vehicle Safety. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS , v. 21, p. 4928-4946, 2020.

• DA SILVA NETO, ANTONIO VIEIRA ; VISMARI, LUCIO FLAVIO ; GIMENES, Ricardo Alexandre Veiga ; SESSO, DANIEL BARALDI ; DE ALMEIDA, JORGE RADY ; CUGNASCA, PAULO SERGIO ; CAMARGO, JOAO BATISTA . A Practical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysis. IEEE Systems Journal , v. 12, p. 3473-3484, 2017.

• VISMARI, L. F. ; CAMARGO JUNIOR, João Batista ; ALMEIDA, JORGE RADY DE ; DA SILVA NETO, ANTONIO V. ; GIMENES, R. A. V. ; CUGNASCA, P. S. . A Practical Analytical Approach to Increase Confidence in Software Safety Arguments. IEEE Systems Journal , v. 11, p. 2072-2083, 2017.

• NAUFAL, JAMIL K. ; CAMARGO, JOAO B. ; VISMARI, LUCIO F. ; DE ALMEIDA, JORGE R. ; MOLINA, CAROLINE ; GONZALEZ, RODRIGO IGNACIO R. ; INAM, RAFIA ; FERSMAN, ELENA . ACPS: A Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems. IEEE Transactions on Intelligent Transportation Systems , v. 19, p. 1-15, 2017.

• SESSO, DANIEL BARALDI ; VISMARI, LUCIO F. ; Silva Neto, A. V. ; CUGNASCA, Paulo Sérgio ; CAMARGO JUNIOR, João Batista . An Approach to Assess the Safety of ADS-B-based Unmanned Aerial Systems: Data Integrity as a Safety Issue. Journal of Intelligent & Robotic Systems , v. 84, p. 621-638, 2015.

• GIMENES, RICARDO A. V. ; VISMARI, LUCIO F. ; AVELINO, VALTER F. ; CAMARGO, JOÃO B. ; ALMEIDA, JORGE R. ; CUGNASCA, PAULO S. . Guidelines for the Integration of Autonomous UAS into the Global ATM. Journal of Intelligent & Robotic Systems , v. 74, p. 465-478, 2014.

• VISMARI L.F. ; CAMARGO JUNIOR, J. B. . A safety assessment methodology applied to CNS/ATM-based Air Traffic Control System. Reliability Engineering & Systems Safety , v. 96, p. 727-738, 2011.

• Gil, F.O. ; CAMARGO JUNIOR, J. B. ; ALMEIDA JUNIOR, J. R. ; VISMARI, L. F. ; CUGNASCA, P. S. ; GIMENES, R. A. V. ; Furtado, V.H. . PIpE-SEC: Platform for Tests and Validation of Unmanned Aerial Vehicles (UAVs) Operation in Controlled Airspace. Journal of the Brazilian Air Transportation Research Society , v. 6, p. 47-60, 2010.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Quantitative Safety Assessment of CNS/ATM-based Air Traffic Control System. Journal of the Brazilian Air Transportation Research Society , v. 5, p. 9-22, 2009.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Evaluation of the Impact of New Technologies on Aeronautical Safety: an Approach through Modelling, Simulation and Comparison with Legacy Systems. JOURNAL OF THE BRAZILIAN AIR TRANSPORTATION RESEARCH SOCIETY , v. 1, p. 19-30, 2005.

• VISMARI, L. F. ; GIMENES, R. A. V. ; CAMARGO JUNIOR, J. B. ; ALMEIDA JUNIOR, J. R. . The Influences of Security Concept in Safety-Related Systems: an Approach to CNS/ATM System. WSEAS Transactions on Systems , v. 2, p. 179-184, 2003.

• Nascimento, A. M. ; VISMARI, L. F. ; Queiroz, A. C. M. ; CUGNASCA, P. S. ; Camargo, J. B. ; de Almeida, J. R. . The Moral Machine: Is It Moral?. In: Alexander Romanovsky; Elena Troubitsyna; Ilir Gashi; Erwin Schoitsch; Friedemann Bitsch;. (Org.). Lecture Notes in Computer Science. 1ed.Cham, Switzerland: Springer International Publishing, 2019, v. , p. 405-410.

• MOLINA, C. B. S. T. ; VISMARI, L. F. ; Fuji, T. ; Camargo, J. B. ; de Almeida, J. R. ; INAM, R. ; Fersman, E. ; Hata, A. ; Marquezini, M. V. . Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation. In: Barbara Gallina; Amund Skavhaug; Erwin Schoitsch; Friedemann Bitsch;. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 11094, p. 353-364.

• Nascimento, A. M. ; VISMARI, L. F. ; CUGNASCA, P. S. ; Camargo, J. B. ; de Almeida, J. R. ; INAM, R. ; Fersman, E. ; Hata, A. ; Marquezini, M. V. . Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety. In: Barbara Gallina; Amund Skavhaug; Erwin Schoitsch; Friedemann Bitsch. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 11094, p. 481-486.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Assessing Risks in Critical Systems using Petri Nets. In: Pawel Pawlewski (Ed.). (Org.). Petri Nets: Applications. 1ed.Vukovar: In-teh, 2010, v. , p. 541-566.

• De Oliveira, I.R. ; VISMARI, L. F. ; CUGNASCA, P. S. ; CAMARGO JUNIOR, J. B. ; Bakker, B.G.H.J. ; Blom, H.A.P. . A Case Study of Advanced Airborne Technology Impacting Air Traffic Management. In: Li Weigang; Alexandre G. de Barros; Italo Romani de Oliveira. (Org.). Computational Models, Software Engineering and Advanced Technologies in Air Transportation: Next Generation Applications. 1ed.Hershey, PA - USA: Engineering Science Reference (an imprint of IGI Global), 2010, v. 1, p. 177-214.

• GARCIA, P. ; VISMARI, LUCIO FLAVIO ; CUGNASCA, PAULO SERGIO . INTELIGÊNCIA ARTIFICIAL APLICADA À MANUTENÇÃO BASEADA EM CONDIÇÃO: UMA REVISÃO SISTEMÁTICA DA LITERATURA PARA SISTEMAS FERROVIÁRIOS. In: V Simpósio de Engenharia Ferroviária, 2022, Campinas. Anais do V Simpósio de Engenharia Ferroviária. Campinas: Galoá, 2022. v. 1.

• NASCIMENTO, ALEXANDRE M. ; QUEIROZ, ANNA CAROLINA M. ; VISMARI, LUCIO F. ; BAILENSON, JEREMY N. ; CUGNASCA, PAULO S. ; CAMARGO JUNIOR, JOAO B. ; DE ALMEIDA, JORGE R. . The Role of Virtual Reality in Autonomous Vehicles? Safety. In: 2019 IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR), 2019, San Diego. 2019 IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR), 2019. p. 50-57.

• F.N. OLIVEIRA, DAVID ; NEVES, MARCELO M. ; VISMARI, LUCIO F. ; DE ALMEIDA, JORGE R. ; CUGNASCA, PAULO S. ; CAMARGO, JOAO B. ; MARRETO, EDUARDO ; DOIMO, DEBORA R. ; DE ALMEIDA, LEANDRO P. F. ; GRIPP, RAFAEL . Evaluating Unsupervised Anomaly Detection Models to Detect Faults in Heavy Haul Railway Operations. In: 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA), 2019, Boca Raton. 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA), 2019. p. 1016.

• DA SILVA FERREIRA, MACILIO ; VISMARI, LUCIO F ; CUGNASCA, PAULO S. ; R. DE ALMEIDA, JORGE ; CAMARGO, JOAO B. ; KALLEMBACK, GUILHERME . A Comparative Analysis of Unsupervised Learning Techniques for Anomaly Detection in Railway Systems. In: 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA), 2019, Boca Raton. 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA), 2019. p. 444.

• MOREIRA NASCIMENTO, ALEXANDRE ; VISMARI, LUCIO FLAVIO ; CUGNASCA, PAULO SERGIO ; CAMARGO JUNIOR, JOAO BATISTA ; RADY DE ALMEIRA JUNIOR, JORGE . A Cost-Sensitive Approach to Enhance the use of ML Classifiers in Software Testing Efforts. In: 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA), 2019, Boca Raton. 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA), 2019. p. 1806.

• VISMARI, L. F. ; MOLINA, C. B. S. T. ; CAMARGO JUNIOR, J. B. ; ALMEIDA JR, J. R. ; INAM, R. ; FERSMAN, ELENA ; MARQUEZINI, M.V. . A simulation-based safety analysis framework for autonomous vehicles ? assessing impacts on road transport system?s safety and efficiency. In: European Safety and Reliability Conference (ESREL), 2018, Trondheim, Norway. Safety and Reliability ? Safe Societies in a Changing World: Proceedings of ESREL 2018. London, UK: CRC Press, 2018. v. 1. p. 2067-2075.

• VISMARI, LUCIO F. ; JUNIOR, JOAO B. CAMARGO ; NAUFAL, JAMIL K. ; DE ALMEIDA, JORGE R. ; MOLINA, CAROLINE B. S. T. ; INAM, RAFIA ; FERSMAN, ELENA ; MARQUEZINI, MARIA V. . A Fuzzy logic, risk-based autonomous vehicle control approach and its impacts on road transportation safety. In: 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018, Madrid. 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018. p. 1.

• NASCIMENTO, ALEXANDRE M. ; CUGNASCA, PAULO S. ; VISMARI, LUCIO F. ; CAMARGO JUNIOR, JOAO B. ; DE ALMEIDA, JORGE R. . Enhancing the Accuracy of Parking Assistant Sensors with Bayesian Filter. In: 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018, Madrid. 2018 IEEE International Conference on Vehicular Electronics and Safety (ICVES), 2018. p. 1.

• Muniz dos Santos, P. N. ; CAMARGO JUNIOR, João Batista ; VISMARI, LUCIO FLAVIO . UMA PROPOSTA DE ANÁLISE DO IMPACTO DOS VEÍCULOS AUTÔNOMOS SOBRE ASPECTOS LOGÍSTICOS DO SISTEMA VIÁRIO ATUAL. In: 32o Congresso de Pesquisa e Ensino em Transportes da ANPET, 2018, Gramado, RS. Anais do 32 Congresso de Pesquisa e Ensino em Transportes - 2018. São Paulo: Associação Nacional de Pesquisa e Ensino em Transportes, 2018. p. 3450-3461.

• MOLINA, C. B. S. T. ; R.I.R. Gonzalez ; CAMARGO JUNIOR, J. B. ; ALMEIDA JUNIOR, J. R. ; VISMARI, L. F. ; NAUFAL JR, J. K. ; INAM, R. ; AZEVEDO, C. R. B. . A comparison of two simulators to support safety analysis in autonomous vehicles. In: European Safety and Reliability Conference, 2017, Portoroz, Eslovênia. Safety and Reliability ? Theory and Applications. Londres: Taylor & Francis Group, 2017. p. 1903-1911.

• SILVA, T. A. ; CAMARGO JUNIOR, J. B. ; NAUFAL JR, J. K. ; VISMARI, L. F. ; INAM, R. ; AZEVEDO, C. R. B. . A preliminary analysis of impacts of vehicular ad hoc networks on traffic safety. In: European Safety and Reliability Conference, 2017, Portoroz, Eslovênia. Safety and Reliability ? Theory and Applications. Londres, Inglaterra: Taylor & Francis Group, 2017. p. 2503-2508.

• MOLINA, C. B. S. T. ; ALMEIDA JUNIOR, J. R. ; VISMARI L.F. ; R.I.R. Gonzalez ; NAUFAL JR, J. K. ; CAMARGO JUNIOR, J. B. . Assuring Fully Autonomous Vehicles Safety by Design - The Autonomous Vehicle Control (AVC) Module Strategy. In: 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017, Denver, CO. USA. 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops - DSN-W 2017, 2017. p. 16-21.

• MATSUMOTO, THIAGO TOSHIO ; VISMARI, LUCIO FLAVIO ; GIMENES, Ricardo Alexandre Veiga ; ALMEIDA, JORGE RADY DE ; CAMARGO, JOAO B. . A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned Aircraft. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSNW), 2015, Rio de Janeiro. 2015 IEEE International Conference on Dependable Systems and Networks Workshops. p. 96.

• MATSUMOTO, THIAGO T. ; CAMARGO JÚNIOR, J. B. ; VISMARI L.F. . Training and evaluation of a learning-based autonomous unmanned aircraft for collision avoidance: Virtual training data generation. In: European Safety and Reliability Conference (ESREL), 2015, Zurique - Suiça. Safety and Reliability of Complex Engineered Systems. Londres, Inglaterra: Taylor & Francis Group, 2015. p. 2771-2779.

• SESSO, DANIEL BARALDI ; VISMARI, LUCIO F. ; CAMARGO JÚNIOR, J. B. . An approach to assess the safety of automatic dependent surveillance systems considering aspects of integrity in positional data based on computational simulation. In: European Safety and Reliability Conference (ESREL), 2015, Zurique, Suíça. Safety and Reliability of Complex Engineered Systems. Londres, Inglaterra: Taylor & Francis Group, 2015. p. 305-313.

• SESSO, DANIEL BARALDI ; IMAI, R. Y. ; VISMARI, LUCIO F. ; CAMARGO JUNIOR, João Batista . An aircraft model for computational simulation. In: Air Transportation Symposium (SITRAER), 2015, São José dos Campos. Transporte aéreo: anais, São José dos Campos, 26-28 out. 2015.. São José dos Campos: São José dos Campos : Instituto Tecnológico de Aeronáutica, 2015., 2015.

• VISMARI, LUCIO F. ; CAMARGO JUNIOR, João Batista . Uso de dados de insegurança na avaliação e certificação de sistemas complexos. In: Air Transportation Symposium (SITRAER), 2015, São José dos Campos. Transporte aéreo : anais, São José dos Campos, 26-28 out. 2015. São José dos Campos: São José dos Campos : Instituto Tecnológico de Aeronáutica, 2015, 2015.

• BORLONI, R. N. ; ALVES, F. T. ; AVELINO, V. F. ; VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Safety Assessment of Complex Automatic Train Control System: The Experience of São Paulo Metro. In: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) - Industrial Track, 2015, Rio de Janeiro. BDBComp - Biblioteca Digital Brasileira de Computação, 2015.

• SESSO, DANIEL BARALDI ; VISMARI, LUCIO F. ; NETO, ANTONIO V. SILVA ; CUGNASCA, PAULO S. ; CAMARGO, JOAO B. . Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based Systems. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSNW), 2015, Rio de Janeiro. 2015 IEEE International Conference on Dependable Systems and Networks Workshops, 2015. p. 88.

• SESSO, DANIEL BARALDI ; VISMARI, LUCIO F. ; CAMARGO, JOAO BATISTA . An approach to assess the safety of ADS-B based unmanned aerial systems. In: 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014, Orlando. 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014. p. 669-676.

• MATSUMOTO, THIAGO T. ; VISMARI, LUCIO F. ; CAMARGO, JOAO B. . A method to implement and to evaluate a learning-based Piloting Autonomous System for UAS. In: 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014, Orlando. 2014 International Conference on Unmanned Aircraft Systems (ICUAS), 2014. p. 195-199.

• MATSUMOTO, THIAGO T. ; VISMARI, LUCIO F. ; CAMARGO JUNIOR, J. B. . Modelagem e simulação de VANT autônomo para avaliação de segurança crítica (safety). In: XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER), 2014, São Paulo. XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER) - ANAIS. São Paulo: EPUSP, 2014.

• SESSO, DANIEL BARALDI ; VISMARI, LUCIO F. ; CAMARGO JUNIOR, J. B. . An approach to assess safety considering integrity of data of ads-b based aerial systems. In: XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER), 2014, São Paulo. XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER) - ANAIS. São Paulo: EPUSP, 2014.

• Dirickson, Y. ; VISMARI, LUCIO F. ; CAMARGO JUNIOR, J. B. . A Methodological Approach to Safety Analysis of Automated Tasks of TWR ATCo. In: XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER), 2014, São Paulo. XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER) - ANAIS. São Paulo: EPUSP, 2014.

• SIQUEIRA, E. ; CAMARGO JUNIOR, J. B. ; VISMARI, LUCIO F. . Construção de cenários para avaliação da implantação do ADS-B no Brasil utilizando fuzzy cognitive maps. In: XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER), 2014, São Paulo. XIII SIMPÓSIO DE TRANSPORTE AÉREO (SITRAER) - ANAIS. São Paulo: EPUSP, 2014.

• GIMENES, RICARDO A. V. ; CORREA, MARIO A. ; CAMARGO, JOAO B. ; AVELINO, VALTER F. ; VISMARI, LUCIO F. ; CUGNASCA, PAULO S. ; ROSSI, MAGALI A. ; ALMEIDA, JORGE R. . Guidelines for integration of autonomous UAS in Global ATM. In: 2013 International Conference on Unmanned Aircraft Systems (ICUAS), 2013, Atlanta. 2013 International Conference on Unmanned Aircraft Systems (ICUAS). p. 994-1003.

• Dirickson, Y. ; VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Elicitation of Operational Requirements in ATC Activities Automation Process: The TWR Case. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 149-154.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Safety assurance in complex engineered systems: could the current safety standards and regulations be doing our critical systems more unsafe?. In: II Brazilian Conference on Critical Embedded Systems (CBSEC) - Student Workshop, 2012, Campinas. II Brazilian Conference on Critical Embedded Systems (CBSEC) - Student Workshop, 2012. p. 21-28.

• AVELINO, V. F. ; CUGNASCA, P. S. ; GIMENES, R. A. V. ; CORREA, M. A. ; CAMARGO JUNIOR, J. B. ; VISMARI LF ; ROSSI, M. A. ; ALMEIDA JUNIOR, J. R. . Desafios na integração de VANTs no ATM Global. In: XI SITRAER - Simpósio Brasileiro de Pesquisa em Transporte Aéreo, 2012, Brasília, DF. XI SITRAER - Simpósio Brasileiro de Pesquisa em Transporte Aéreo. São Paulo: EPUSP, 2012. v. único. p. 11-21.

• GIMENES, R. A. V. ; CORREA, M. A. ; CAMARGO JUNIOR, J. B. ; CUGNASCA, P. S. ; AVELINO, V. F. ; VISMARI LF ; ROSSI, M. A. ; ALMEIDA JUNIOR, J. R. . Proposta de Taxonomia para VANTs. In: XI SITRAER - Simpósio Brasileiro de Pesquisa em Transporte Aéreo, 2012, Brasília, DF. XI SITRAER - Simpósio Brasileiro de Pesquisa em Transporte Aéreo. São Paulo: EPUSP, 2012. v. único. p. 23-28.

• CAMARGO JUNIOR, J. B. ; VISMARI L.F. . Challenges in Safety Assessment of Complex Critical Infrastructures. In: Fifth Latin-American Symposium on Dependable Computing Workshops, 2011, São José dos Campos. Proceedings of Fifth Latin-American Symposium on Dependable Computing Workshops, 2011. p. 37-38.

• VISMARI, L. F. ; GIMENES, R. A. V. ; ALMEIDA JUNIOR, J. R. ; CAMARGO JUNIOR, J. B. . COULD THE CURRENT SAFETY STANDARDS BE DOING OUR CRITICAL SYSTEMS MORE UNSAFE?. In: 14th Air Transport Research Society Conference - ATRS 2010, 2010, Porto, Portugal. 14th Air Transport Research Society Conference - CD. Vancouver, CA: Air Transport Research Society, 2010.

• CORREA, M. A. ; GIMENES, R. A. V. ; VISMARI, L. F. ; CAMARGO JUNIOR, J. B. ; ALMEIDA JUNIOR, J. R. ; CUGNASCA, P. S. . DIRETRIZES PARA CERTIFICAÇÃO DE VEÍCULOS AÉREOS NÃO TRIPULADOS (VANT) PARA USO NO ESPAÇO AÉREO BRASILEIRO. In: IX SITRAER - Simpósio de Transporte Aéreo, 2010, Manaus. IX SITRAER - Simpósio de Transporte Aéreo (Anais), 2010. p. 308-318.

• CAMARGO JUNIOR, J. B. ; VISMARI, L. F. ; ALMEIDA JUNIOR, J. R. ; CUGNASCA, P. S. ; GIMENES, R. A. V. ; Furtado, V.H. ; Gil, F.O. . PIPE-SEC: Plataforma para Ensaios e Validação da Operação de Veículos Aéreos Não Tripulados (VANTS) no Espaço Aéreo Controlado. In: VIII SITRAER - II RIDITA, 2009, São Paulo. Simpósio de Transporte Aéreo - Trabalhos apresentados ao VIII SITRAER / II RIDITA. Sao Paulo: EPUSP, 2009. p. 511-524.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System. In: IEEE SRDS 2008 - 27th International Symposium on Reliable Distributed Systems, 2008, Napoles / Itália. Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems. Los Alamitos, CA: IEEE Computer Society, 2008. p. 95-104.

• Fernando de Oliveira Gil ; VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . ANALYSIS OF THE CPDLC REAL TIME CHARACTERISTICS AND THE MODE S DATA LINK CAPACITY. In: VII SITRAER - SIMPÓSIO DE TRANSPORTE AÉREO, 2008, Rio de Janeiro. ANAIS DO VII SITRAER - SIMPÓSIO DE TRANSPORTE AÉREO. Rio de Janeiro: E-PAPERS, 2008. v. 1 e 2. p. 92-99.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . AVALIAÇÃO DO IMPACTO DO PARADIGMA CNS/ATM SOBRE A SEGURANÇA DO SISTEMA CONTROLE DE TRÁFEGO AÉREO. In: VII SITRAER - SIMPÓSIO DE TRANSPORTE AÉREO, 2008, Rio de Janeiro. ANAIS DO VII SITRAER - SIMPÓSIO DE TRANSPORTE AÉREO. Rio de Janeiro: E-PAPERS, 2008. v. 1 e 2. p. 617-628.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . An Approach to Evaluate the Impact of New Technologies over Aeronautical Safety. In: IX Air Transport Research Society World Conference (ATRS), 2005, Rio de Janeiro. IX Air Transport Research Society World Conference (CD). Vancouver, BC Canada: ATRS, 2005.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Modelling Safety Critical Systems Based on Information Systems with Fluid Stochastic Petri Nets. In: 7th International Conference on Probabilistic Safety Assessment and Management (PSAM7), 2004, Berlin. Proceedings of PSAM 7, 2004.

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . AVALIAÇÃO DO IMPACTO DAS NOVAS TECNOLOGIAS SOBRE A SEGURANÇA AERONÁUTICA: UMA ABORDAGEM ATRAVÉS DA MODELAGEM, SIMULAÇÃO E COMPARAÇÃO COM SISTEMAS LEGADOS.. In: III Simpósio de Transporte Aéreo, 2004, São José dos Campos. Anais do III Simpósio de Transporte Aéreo, 2004.

• VISMARI, L. F. . Análise de Risco do Sistema ADS-B no contexto da Separação Mínima entre Aeronaves. In: II Seminário de Pesquisa do Grupo de Análise de Segurança, 2004, São Paulo. http://www.gas.pcs.poli.usp.br/seminario/seg_seminario/10-20%20Lucio.pdf, 2004.

• VISMARI, L. F. . Safety Analysis Using Fluid Stochastic Petri Nets in the New Paradigm of Safety-Critical Systems. In: II Workshop de Teses e Dissertações em Computação Tolerante a Falhas, 2003, São Paulo. Workshop de Teses e Dissertações - Trabalhos Apresentados. São Paulo: EPUSP, 2003. p. 13-18.

• VISMARI, L. F. ; GIMENES, R. A. V. ; CAMARGO JUNIOR, J. B. ; ALMEIDA JUNIOR, J. R. . The Influences of Security Concept in Safety-Related Systems: an Approach to CNS/ATM System. In: WSEAS International Conference on Information Security, Hardware/Software Codesign, E-Commerce and Computer Networks, 2002, Rio de Janeiro. Proceedings of WSEAS International Conference on Information Security, Hardware/Software Codesign, E-Commerce and Computer Networks, 2002. v. 1. p. 1501-1506.

• RAMALHO, G. M. ; VISMARI, L. F. ; CAMARGO, G. M. ; CAMARGO JUNIOR, J. B. . Otimização do Processo de Convergência de Algoritmos Genéticos através de Mecanismos de Controle de Pressão Seletiva.. In: 14° Simpósio de Iniciação Científica da USP, 2006, São Paulo. SIICUSP 2006 : resumos São Paulo : Universidade de São Paulo, 2006.. São Paulo: Editora da Universidade de São Paulo, 2006.

• CESARIO, F. C. ; VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . Adaptação da ferramenta SPNP (Stochastic Petri Nets Package) para modelagem e simulação de sistemas híbridos. In: 13° Simpósio Internacional de Iniciação Científica da Universidade de São Paulo., 2005, São Carlos. SIICUSP 2005 : resumos São Carlos : Universidade de São Paulo, 2005.. São Paulo: Editora da Universidade de São Paulo, 2005.

• VISMARI, L. F. . Implementação da característica adaptativa a um editor e simulador de sistemas por intermédio de Statecharts. In: Simpósio de Iniciação Científica da USP (SIICUSP), 2000, São Carlos. 8o Simpósio de Iniciação Científica da USP (SIICUSP), 2000. v. 2. p. 31-31.

• VISMARI, LUCIO FLAVIO ; CAMARGO JUNIOR, João Batista . USO DE CASOS DE INSEGURANÇA NA AVALIAÇÃO E CERTIFICAÇÃO DE SISTEMAS COMPLEXOS. 2015. (Apresentação de Trabalho/Simpósio).

• BORLONI, R. N. ; ALVES, F. T. ; AVELINO, VALTER F. ; VISMARI, L. F. ; CAMARGO JUNIOR, João Batista . Safety Assessment of Complex Automatic Train Control System: The Experience of Sao Paulo Metro. 2015. (Apresentação de Trabalho/Simpósio).

• VISMARI, L. F. ; GIMENES, R. A. V. ; ALMEIDA JUNIOR, J. R. ; CAMARGO JUNIOR, J. B. . COULD THE CURRENT SAFETY STANDARDS BE DOING OUR CRITICAL SYSTEMS MORE UNSAFE?. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• VISMARI, L. F. ; CAMARGO JUNIOR, J. B. . An Approach to Evaluate the Impact of New Technologies over Aeronautical Safety. 2005. (Apresentação de Trabalho/Conferência ou palestra).

• VISMARI, L. F. . Safety Analysis Using Fluid Stochastic Petri Nets in the New Paradigm of Safety-Critical Systems. 2003. (Apresentação de Trabalho/Simpósio).

• VISMARI, L. F. ; GIMENES, R. A. V. ; CAMARGO JUNIOR, J. B. ; ALMEIDA JUNIOR, J. R. . The Influences of Security Concept in Safety-Related Systems: an Approach to CNS/ATM System. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• VISMARI, L. F. . Implementação da característica adaptativa a um editor e simulador de sistemas por intermédio de Statecharts. 2000. (Apresentação de Trabalho/Simpósio).

Outras produções

Projetos de pesquisa

• 2018 - 2020

  Segurança Crítica (safety) e Resiliência em Sistemas Veiculares Autônomos, Projeto certificado pela empresa Ericsson Telecomunicações - Matriz em 13/07/2021., Descrição: Contempla as seguintes atividades: 1) Investigação sobre Sistemas Complexos e Comunicação Colaborativa visando Segurança e Resiliência. 2) Atualização do Framework já desenvolvido e Desenvolvimento de Casos de Uso. 3) Demonstração dp Framework e Análise de Segurança e Resiliência de Veículos Autônomos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Lúcio Flávio Vismari - Integrante / CUGNASCA, PAULO SERGIO - Integrante / CAMARGO JUNIOR, JOAO B. - Coordenador / NASCIMENTO, ALEXANDRE MOREIRA - Integrante / MOLINA, CAROLINE BIANCA SANTOS TANCREDI - Integrante / RADY DE ALMEIRA JUNIOR, JORGE - Integrante.

• 2018 - Atual

  Automação da Sinalização Ferroviária, Projeto certificado pela empresa Companhia Vale do Rio Doce em 13/07/2021., Descrição: O objetivo geral do projeto consiste em propor soluções tecnológicas inovadoras para a modernização dos sistemas de sinalização e telecomunicações. Dentro deste contexto, as pesquisas estarão divididas em 3 (três) grandes vertentes: Sinalização e Telecomunicação, Big Data e Manutenção Preditiva.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Lúcio Flávio Vismari - Integrante / CUGNASCA, PAULO S. - Integrante / Jorge Rady de Almeida Junior - Integrante / Jamil K. Naufal Jr - Integrante / CAMARGO JUNIOR, JOAO B. - Coordenador / F.N. OLIVEIRA, DAVID - Integrante / DA SILVA FERREIRA, MACILIO - Integrante / Ivanilo Jacintho dos Santos - Integrante.

• 2009 - 2013

  INCT-SEC - Instituto Nacional de Ciencias e Tecnologia em Sistemas Embarcados Criticos, Descrição: O Laboratório Grupo de Análise de Segurança - GAS da POLI-USP participa do INCT-SEC - Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos, coordenado pelo ICMC/USP, São Carlos, SP, de grande relevância nacional. A missão do INCT-SEC é elevar e agregar habilidades, competências e infra-estrutura necessárias para o desenvolvimento de sistemas embarcados críticos, com ênfase para veículos autônomos móveis, de forma a capacitar a academia e a indústria brasileira no ensino, treinamento, pesquisa e desenvolvimento científico-tecnológico em aplicações de relevância e de alto impacto econômico-social em áreas estratégicas do país, a exemplo de aplicações na agricultura, segurança e defesa nacional, aviação e meio ambiente. O projeto é bastante abrangente, e envolve grupos de pesquisadores de nove universidades brasileiras, entre elas EESC/USP, ICMC/USP, UNESP, POLI/USP, PUCRS, UEM, UFES, UFAM, UFG e UFSCar, e sete componentes da Iniciativa privado. Os principais objetivos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes do INCT/SEC são: a produção de uma metodologia e tecnologias associadas para o ensino e treinamento de pessoal formado na área. Na realidade pretende-se constituir um Centro de Treinamento e Capacitação no âmbito do projeto. Pretende-se também motivar a formação de um número significativo de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes. A parte específica do Grupo de Análise de Segurança refere-se à Análise de Risco de Sistemas Aéreos não Tripulados visando uma futura regulamentação para Certificação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Lúcio Flávio Vismari - Integrante / João Batista Camargo Junior - Integrante / Ricardo Alexandre Veiga Gimenes - Integrante / Jorge Rady de Almeida Junior - Integrante / Paulo Sérgio Cugnasca - Integrante / Fernando de Oliveira Gil - Integrante / José Carlos Maldonado - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2009 - 2010

  Laboratório de Sistemas Críticos para Certificação de Sistemas de Transporte, Descrição: Sistemas cujo funcionamento anormal, fora dos requisitos aceitáveis, possa ser catastrófico para pessoas ou para o ambiente no qual está inserido, causando mortes, ferimentos, prejuízos ambientais e materiais, são categorizados como Sistemas Críticos em Segurança (Safety) (STOREY, 1996; KNIGHT, 2002; CAMARGO JR., 2002). Encontra-se nesta categoria de Sistemas Críticos em Segurança, entre outros, os Sistemas de Supervisão e Controle de diversas aplicações de transporte, tais como as aplicações aeronáuticas e metroferroviárias. Portanto, devido às severas conseqüências nas quais as pessoas e o ambiente estão expostos, altos níveis de confiabilidade e de segurança devem ser garantidos, por meio de processos minuciosos de desenvolvimento, de testes e de certificação, aos sistemas de supervisão e controle críticos em segurança aplicados em áreas vitais do cotidiano, tais como os transportes. Além disso, a aceitação de produtos críticos em segurança, sobretudo aqueles relacionados aos transportes aéreos, pela comunidade internacional é condicionada ao atendimento de severos requisitos de testes e de certificação. Assim, é de vital importância para a balança comercial que o país possua know-how em processos de desenvolvimento e de certificação de produtos críticos em segurança, pois isto abrirá mercados para a exportação destes produtos de alto valor agregado. Nas últimas décadas, os Sistemas Críticos evoluíram rapidamente, estando cada vez mais automatizados e interconectados. Este paradigma se baseia no emprego intensivo das modernas tecnlogias, incluindo softwares de aplicação extensos que operam sobre sistemas operacionais complexos e estão interconectados por meio de sofisticados protocolos de comunicação. A complexidade de tais sistemas é crescente e, justamente por este fato, impõe grandes desafios para seus Engenheiros e Desenvolvedores: os projetos contêm uma grande quantidade de elementos funcionais fortemente interdependentes (muitos dos quais são de prate.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (5) . , Integrantes: Lúcio Flávio Vismari - Integrante / Ricardo Alexandre Veiga Gimenes - Integrante / Jorge Rady de Almeida Junior - Integrante / Paulo Sérgio Cugnasca - Integrante / Italo Romani de Oliveira - Integrante / Fernando de Oliveira Gil - Integrante / Mario Aparecido Correa - Integrante / João Batista Camargo Júnior - Coordenador / Carlos H. N. Lahoz - Integrante / Flavio Monteiro Rachel - Integrante / Alex Ander Javarotti Zumalde - Integrante / Alan Cleber Borim - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2004 - 2007

  Prototipagem de Um Sistema de Apoio à Decisão Compartilhada para Infra-estrutura Aeronáutica sobre Bases de Dados Paralelas e Distribuídas, Descrição: O objetivo principal deste projeto é avaliar uma implementação do sistema CDM Collaborative Decision Making na área de gerenciamento do tráfego aéreo em uma plataforma de rede gigabit. Conceitualmente, o CDM é definido na proposta do Air Traffic Managment Operational Concept Panel como um grupo de aplicativos que visa melhorar as operações de vôo mediante o crescente envolvimento dos operadores de aeronaves e dos aeroportos no processo de gerenciamento de tráfego aéreo .. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) . , Integrantes: Lúcio Flávio Vismari - Integrante / Jorge Rady de Almeida Junior - Integrante / Paulo Sérgio Cugnasca - Integrante / Italo Romani de Oliveira - Integrante / Mario Aparecido Correa - Integrante / João Batista Camargo Júnior - Integrante / Liria Matsumoto Sato - Coordenador / Eno Siewerdt - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2004 - Atual

  Estudo de Técnicas para Avaliação do Nível de Segurança de Sistemas Críticos., Descrição: Realização de estudos e pesquisas sobre as mais recentes formas de avaliação do nível de segurança de sistemas críticos, como por exemplo, as áreas da aviação, metro-ferroviária, siderúrgicas, petroquímica, plantas nucleares e equipamentos médico-hospitalares. Tendo em vista a participação quase que total de sistemas computadorizados na supervisão e controle desses sistemas, faz-se necessária a realização de pesquisas sobre as melhores formas de se avaliar o nível de segurança desses sistemas. O grande problema está em se conseguir quantificar a grau de segurança que o hardware e o software utilizados nesses sistemas pode oferecer, mantendo a segurança de seus usuários e operadores. A qualidade de projeto exerce um fator primordial no nível de segurança oferecido por esta forma de implementação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Lúcio Flávio Vismari - Integrante / João Batista Camargo Junior - Coordenador / Ricardo Alexandre Veiga Gimenes - Integrante / Jorge Rady de Almeida Junior - Integrante / Sérgio Miranda Paz - Integrante / Paulo Sérgio Cugnasca - Integrante / Marcelo da Mota Lopes - Integrante / Danilo Picaglio Shibata - Integrante., Financiador(es): Fundação para o Desenvolvimento Tecnológico da Engenharia - Remuneração.

Prêmios