Follow
Italo Romani de Oliveira
Italo Romani de Oliveira
Boeing Research and Technology
Verified email at boeing.com
Title
Cited by
Cited by
Year
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
Analyzing the performance of distributed conflict resolution among autonomous vehicles
ÍR de Oliveira
Transportation Research Part B: Methodological 96, 92-112, 2017
202017
Executing model checking counterexamples in Simulink
J Barnat, L Brim, J Beran, ÍR Oliveira
2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012
172012
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
102018
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 7th air traffic management (ATM) seminar, Barcelona, Spain, 137, 2007
92007
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
82017
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
82016
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
Checking safe trajectories of aircraft using hybrid automata
ÍR de Oliveira, PS Cugnasca
SAFECOMP, 224-235, 2002
52002
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
42021
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
42018
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
42017
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
42014
Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications
L Weigang, A de Barros, ÍR de Oliveira
IGI Global, 2009
42009
An Evolutive Environment for Development of Free-Flight
Í Oliveira, P Cugnasca, J Camargo, R Fonseca, J Silva
Probabilistic Safety Assessment and Management: PSAM 7—ESREL’04 June 14–18 …, 2004
42004
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
42003
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
3*2016
Considerações sobre reuso de software aviônico
ÍR de Oliveira
32008
The system can't perform the operation now. Try again later.
Articles 1–20