Follow
Italo Romani de Oliveira
Italo Romani de Oliveira
Boeing Research and Technology
Verified email at boeing.com
Title
Cited by
Cited by
Year
Analyzing the performance of distributed conflict resolution among autonomous vehicles
ÍR de Oliveira
Transportation Research Part B: Methodological 96, 92-112, 2017
222017
Multi-agent tools for air traffic management
ÍR de Oliveira, FS Carvalho, JBC Junior, LM Sato
2008 11th IEEE International Conference on Computational Science and …, 2008
222008
Executing model checking counterexamples in Simulink
J Barnat, L Brim, J Beran, ÍR Oliveira
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
182012
SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION
M Li, M Durling, K Siu, Í Oliveira, Y Han, A de Conto
US Patent 9,940,222, 2018
122018
System and method for equivalence class analysis-based automated requirements-based test case generation
P Manolios, M Li, IR de Oliveira, AM De CONTO, H Yu, D Russell, ...
US Patent 10,437,713, 2019
112019
Modeling the swarm optimization to build effective continuous descent arrival sequences
VF Ribeiro, DA Pamplona, JATG Fregnani, ÍR de Oliveira, L Weigang
2016 IEEE 19th International Conference on Intelligent Transportation …, 2016
102016
A case study of advanced airborne technology impacting air traffic management
ÍR de Oliveira, LF Vismari, PS Cugnasca, JB Camargo Jr, BGJ Bakker, ...
Computational Models, Software Engineering, and Advanced Technologies in Air …, 2010
102010
Modelling and estimation of separation criteria for airborne time-based spacing operation
ÍR de Oliveira, PS Cugnasca, HAP Blom, GJ Bakker
Proceedings of 7th USA/Europe Air Traffic Management R&D Seminar, Spain, 2007
102007
Big data management and processing in the context of the system wide information management
AF Leite, L Weigang, JA Fregnani, IR de Oliveira
2017 IEEE 20th International Conference on Intelligent Transportation …, 2017
92017
Decentralized air traffic management for advanced air mobility
ÍR de Oliveira, ECP Neto, TT Matsumoto, H Yu
2021 Integrated Communications Navigation and Surveillance Conference (ICNS …, 2021
82021
Improving computation of simulated wind-prediction error for air traffic applications
ÍR Oliveira, R Quachio, PS Cugnasca
Journal of Aerospace Information Systems 11 (7), 423-432, 2014
82014
Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.
ÍR Oliveira
Universidade de São Paulo, 2007
82007
Towards intelligent system wide information management for air traffic management
L Weigang, AF Leite, VF Ribeiro, JA Fregnani, IR de Oliveira
Security, Privacy, and Anonymity in Computation, Communication, and Storage …, 2017
72017
Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications
L Weigang, A de Barros, ÍR de Oliveira
IGI Global, 2009
62009
Balancing the air traffic control workload through airspace complexity function
IR de Oliveira, RJG Teixeira, PS Cugnasca
IFAC Proceedings Volumes 39 (20), 64-69, 2006
62006
System and method for safety-critical software automated requirements-based test case generation
M Li, MR Durling, KY Siu, I Oliveira, H Yu, AM De Conto
US Patent App. 15/916,660, 2018
52018
SAFETY ANALYSIS METHODS FOR COMPLEX SYSTEMS IN AVIATION
ÍR de Oliveira, JATG Fregnani, GC Balvedi, ML Ulrey, JD Musiak, ...
XV Brazilian Air Transportation Symposium SITRAER, 2016
5*2016
A safety assessment on the use of CPDLC in UAS communication system
MA Rossi, P Lollini, A Bondavalli, IR de Oliveira, JR de Almeida
2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 6B1-1-6B1-11, 2014
52014
Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos
IR Oliveira, PS Cugnasca
São Paulo, 2003
52003
Checking safe trajectories of aircraft using hybrid automata
ÍR de Oliveira, PS Cugnasca
International Conference on Computer Safety, Reliability, and Security, 224-235, 2002
52002
The system can't perform the operation now. Try again later.
Articles 1–20