| 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 | 22 | 2008 |
| Analyzing the performance of distributed conflict resolution among autonomous vehicles ÍR de Oliveira Transportation Research Part B: Methodological 96, 92-112, 2017 | 21 | 2017 |
| Executing model checking counterexamples in Simulink J Barnat, L Brim, J Beran, ÍR Oliveira 2012 Sixth International Symposium on Theoretical Aspects of Software …, 2012 | 17 | 2012 |
| 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 | 11 | 2018 |
| 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 | 10 | 2010 |
| 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 | 10 | 2007 |
| 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 | 9 | 2017 |
| 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 | 9 | 2016 |
| 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 | 8 | 2014 |
| 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 | 8 | 2007 |
| 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 | 7 | 2021 |
| Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications L Weigang, A de Barros, ÍR de Oliveira IGI Global, 2009 | 6 | 2009 |
| 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 | 5 | 2017 |
| 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 | 5 | 2014 |
| 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 | 5 | 2003 |
| Checking safe trajectories of aircraft using hybrid automata ÍR de Oliveira, PS Cugnasca International Conference on Computer Safety, Reliability, and Security, 224-235, 2002 | 5 | 2002 |
| 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 | 4 | 2018 |
| Analysis of the impact of the use of the dynamic resectorization in air traffic control workload by computational simulations RJG Teixeira, ÍR ROMANI, PS Cugnasca Air Transport Research Society World Conference, 2007 | 4 | 2007 |
| 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 | 4 | 2006 |
Liria Matsumoto SatoUniversidade de São PauloVerified email at poli.usp.br
