A Fuzzy Based Approach for the Design and Evaluation of Dependable Systems Using the Markov Model. - Paulo Sérgio Cugnasca; M. T. Carvalho de Andrade; João Batista Camargo Jr. (PRDC, 1999)

Formal Parameters Synthesis for Track Segments of a Subway Mesh. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; João Batista Camargo Jr.; Jorge Rady de Almeida Jr. (ECBS, 2000)

Quantitative analysis methodology in safety-critical microprocessor applications. - João Batista Camargo Jr.; Edmur Canzian; Jorge Rady de Almeida Jr.; Sérgio Miranda Paz; Bruno Abrantes Basseto (Reliab. Eng. Syst. Saf., 2001)

Workshop on Safety: Computer Systems in Critical Applications. - João Batista Camargo Jr.; Rogério de Lemos (LADC, 2003)

Best Practices in Code Inspection for Safety-Critical Software. - Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Bruno Abrantes Basseto; Sérgio Miranda Paz (IEEE Softw., 2003)

Biometrics - Evaluating Security Technologies for Brazilian Airports. - Alexandre Fernandes de Moraes; João Batista Camargo Jr. (Security and Management, 2005)

Definition of selective pressure control methods for optimization of genetic algorithms in air traffic control. - Gilberto de Menezes Camargo; João Batista Camargo Jr.; Jamil Kalil Naufal Jr.; Guilherme Matiussi (Artificial Intelligence and Soft Computing, 2006)

Um Estudo sobre a Atividade de Elicitação de Requisitos em Projetos de Software da Área Espacial. - Carlos Henrique Netto Lahoz; João Batista Camargo Jr. (WER, 2006)

An Absolute-Relative Risk Assessment Methodology Approach to Current Safety Critical Systems and its Application to the ADS-B based Air Traffic Control System. - Lucio Flavio Vismari; João Batista Camargo Jr. (SRDS, 2008)

Comparative Analysis on the Impact of Defensive Programming Techniques for Safety-Critical Systems. - Alex Ander Javarotti Zumalde; Jorge Martins Secall; João Battista Camargo Junior (LADC, 2009)

Application of SOA in Safety-Critical Embedded Systems. - Douglas Rodrigues; Rayner de Melo Pires; Júlio Cezar Estrella; Marco Vieira; Mário Corrêa; João Batista Camargo Jr.; Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Júnior (ICHIT (2), 2011)

A safety assessment methodology applied to CNS/ATM-based air traffic control system. - Lucio Flavio Vismari; João Batista Camargo Jr. (Reliab. Eng. Syst. Saf., 2011)

Elicitation of Operational Requirements in ATC Activities Automation Process: The TWR Case. - Yuri Maximilian Rottner Dirickson; Lucio Flavio Vismari; João Batista Camargo Jr. (SBESC, 2013)

Guidelines for the Integration of Autonomous UAS into the Global ATM. - Ricardo A. V. Gimenes; Lucio Flavio Vismari; Valter F. Avelino; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Paulo Sérgio Cugnasca (J. Intell. Robotic Syst., 2014)

A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned Aircraft. - Thiago Toshio Matsumoto; Lucio Flavio Vismari; Ricardo Alexandre Veiga Gimenes; Jorge Rady de Almeida Jr.; João Batista Camargo Jr. (DSN Workshops, 2015)

Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based Systems. - Daniel Baraldi Sesso; Lucio Flavio Vismari; Antonio V. Silva Neto; Paulo Sérgio Cugnasca; João Batista Camargo Jr. (DSN Workshops, 2015)

An Approach to Assess the Safety of ADS-B-based Unmanned Aerial Systems: Data Integrity as a Safety Issue. - Daniel Baraldi Sesso; Lucio Flavio Vismari; Antonio V. Silva Neto; Paulo Sérgio Cugnasca; João Batista Camargo Jr. (J. Intell. Robotic Syst., 2016)

Assuring Fully Autonomous Vehicles Safety by Design: The Autonomous Vehicle Control (AVC) Module Strategy. - Caroline Bianca Santos Tancredi Molina; Jorge Rady de Almeida Jr.; Lucio Flavio Vismari; Rodrigo Ignacio R. Gonzalez; Jamil Kalil Naufal Jr.; João Batista Camargo Jr. (DSN Workshops, 2017)

A Practical Analytical Approach to Increase Confidence in Software Safety Arguments. - Lucio Flavio Vismari; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Antonio V. Silva Neto; Ricardo A. V. Gimenes; Paulo Sérgio Cugnasca (IEEE Syst. J., 2017)

Enhancing the Accuracy of Parking Assistant Sensors with Bayesian Filter. - Alexandre Moreira Nascimento; Paulo Sérgio Cugnasca; Lucio Flavio Vismari; João B. Camargo Junior; Jorge Rady de Almeida Jr. (ICVES, 2018)

A Fuzzy logic, risk-based autonomous vehicle control approach and its impacts on road transportation safety. - Lucio Flavio Vismari; João B. Camargo Junior; Jamil Kalil Naufal Jr.; Jorge Rady de Almeida Jr.; Caroline Bianca Santos Tancredi Molina; Rafia Inam; Elena Fersman; Maria V. Marquezini (ICVES, 2018)

Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation. - Caroline Bianca Santos Tancredi Molina; Lucio Flavio Vismari; T. Fuji; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Rafia Inam; Elena Fersman; Alberto Y. Hata; M. V. Marquezini (SAFECOMP Workshops, 2018)

Concerns on the Differences Between AI and System Safety Mindsets Impacting Autonomous Vehicles Safety. - Alexandre Moreira Nascimento; Lucio Flavio Vismari; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Rafia Inam; Elena Fersman; Alberto Y. Hata; M. V. Marquezini (SAFECOMP Workshops, 2018)

A Practical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysis. - Antonio V. Silva Neto; Lucio Flavio Vismari; Ricardo Alexandre Veiga Gimenes; Daniel Baraldi Sesso; Jorge Rady de Almeida Jr.; Paulo Sérgio Cugnasca; João Batista Camargo Jr. (IEEE Syst. J., 2018)

A2CPS: A Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems. - Jamil Kalil Naufal Jr.; João Batista Camargo Jr.; Lucio Flavio Vismari; Jorge Rady de Almeida Jr.; Caroline Bianca Santos Tancredi Molina; Rodrigo Ignacio R. Gonzalez; Rafia Inam; Elena Fersman (IEEE Trans. Intell. Transp. Syst., 2018)

The Role of Virtual Reality in Autonomous Vehicles' Safety. - Alexandre Moreira Nascimento; Anna Carolina Muller Queiroz; Lucio Flavio Vismari; Jeremy N. Bailenson; Paulo Sérgio Cugnasca; João B. Camargo Junior; Jorge Rady de Almeida Jr. (AIVR, 2019)

A Comparative Analysis of Unsupervised Learning Techniques for Anomaly Detection in Railway Systems. - Macilio da Silva Ferreira; Lucio Flavio Vismari; Paulo Sérgio Cugnasca; Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Guilherme Kallemback (ICMLA, 2019)

A Cost-Sensitive Approach to Enhance the use of ML Classifiers in Software Testing Efforts. - Alexandre Moreira Nascimento; Lucio Flavio Vismari; Paulo Sérgio Cugnasca; João Battista Camargo Junior; Jorge Rady de Almeida Júnior (ICMLA, 2019)

Evaluating Unsupervised Anomaly Detection Models to Detect Faults in Heavy Haul Railway Operations. - David F. N. Oliveira; Marcelo M. Neves; Lucio Flavio Vismari; Jorge Rady de Almeida Jr.; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Eduardo M. G. Rodrigues; Debora R. Doimo; Leandro P. F. de Almeida; Rafael Gripp (ICMLA, 2019)

The Moral Machine: Is It Moral? - Alexandre Moreira Nascimento; Lucio Flavio Vismari; Anna Carolina Muller Queiroz; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Jorge Rady de Almeida Jr. (SAFECOMP Workshops, 2019)

Trajectory-Based Urban Air Mobility (UAM) Operations Simulator (TUS). - Euclides C. Pinto Neto; Derick Moreira Baum; Jorge Rady de Almeida Júnior; João Battista Camargo Junior; Paulo Sérgio Cugnasca (CoRR, 2019)

A Mindset-Based Evolution of Unmanned Aircraft System (UAS) Acceptance Into the National Airspace System (NAS). - Derick Moreira Baum; Euclides Carlos Pinto Neto; Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Paulo Sérgio Cugnasca (IEEE Access, 2020)

A Systematic Literature Review About the Impact of Artificial Intelligence on Autonomous Vehicle Safety. - Alexandre Moreira Nascimento; Lucio Flavio Vismari; Caroline Bianca Santos Tancredi Molina; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Jorge Rady de Almeida Jr.; Rafia Inam; Elena Fersman; Maria Valéria Marquezini; Alberto Yukinobu Hata (IEEE Trans. Intell. Transp. Syst., 2020)

Urban Air Mobility (UAM): A Model Proposal based on Agents using Netlogo. - Felipe Desiglo Ferrare; Derick Moreira Baum; Jorge Rady de Almeida Júnior; João Battista Camargo Junior; Paulo Sérgio Cugnasca (SIMULTECH, 2021)

Swarm-Based Optimization of Final Arrival Segments Considering the UAS Integration in the National Airspace System. - Euclides Carlos Pinto Neto; Derick Moreira Baum; Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Paulo Sérgio Cugnasca (IEEE Access, 2021)

Safety Assurance of Artificial Intelligence-Based Systems: A Systematic Literature Review on the State of the Art and Guidelines for Future Work. - Antonio V. Silva Neto; João B. Camargo Junior; Jorge Rady de Almeida Júnior; Paulo Sérgio Cugnasca (IEEE Access, 2022)

A New Interpretable Unsupervised Anomaly Detection Method Based on Residual Explanation. - David F. N. Oliveira; Lucio Flavio Vismari; Alexandre Moreira Nascimento; Jorge Rady de Almeida Jr.; Paulo Sérgio Cugnasca; João Batista Camargo Jr.; Leandro P. F. de Almeida; Rafael Gripp; Marcelo M. Neves (IEEE Access, 2022)

UAS in the Airspace: A Review on Integration, Simulation, Optimization, and Open Challenges. - Euclides Carlos Pinto Neto; Derick Moreira Baum; Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Paulo Sérgio Cugnasca (CoRR, 2022)

A Trajectory Evaluation Platform for Urban Air Mobility (UAM). - Euclides Carlos Pinto Neto; Derick Moreira Baum; Jorge Rady de Almeida Jr.; João Battista Camargo Junior; Paulo Sérgio Cugnasca (IEEE Trans. Intell. Transp. Syst., 2022)

Navigating the Edge with the State-of-the-Art Insights into Corner Case Identification and Generation for Enhanced Autonomous Vehicle Safety. - Gabriel Kenji Godoy Shimanuki; Alexandre Moreira Nascimento; Lucio Flavio Vismari; João Battista Camargo Junior; Jorge Rady de Almeida Jr.; Paulo Sérgio Cugnasca (CoRR, 2025)

Towards Planning Urban Air Mobility (UAM) Landing Trajectories in Emergencies. - Euclides Carlos Pinto Neto; Derick Moreira Baum; Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Paulo Sérgio Cugnasca (J. Intell. Robotic Syst., 2025)

CORTEX-AVD: A Framework for CORner Case Testing and EXploration in Autonomous Vehicle Development. - Gabriel Kenji Godoy Shimanuki; Alexandre Moreira Nascimento; Lucio Flavio Vismari; João Battista Camargo Junior; Jorge Rady de Almeida Jr.; Paulo Sérgio Cugnasca (CoRR, 2025)