| 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 | 20 | 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 | 10 | 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 7th air traffic management (ATM) seminar, Barcelona, Spain, 137, 2007 | 9 | 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 | 8 | 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 | 8 | 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 |
| Checking safe trajectories of aircraft using hybrid automata ÍR de Oliveira, PS Cugnasca SAFECOMP, 224-235, 2002 | 5 | 2002 |
| 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 | 4 | 2021 |
| 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 |
| 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 | 4 | 2017 |
| 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 | 4 | 2014 |
| Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications L Weigang, A de Barros, ÍR de Oliveira IGI Global, 2009 | 4 | 2009 |
| 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 | 4 | 2004 |
| 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 | 4 | 2003 |
| 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 | 3 | 2008 |
Liria Matsumoto SatoUniversidade de São PauloVerified email at poli.usp.br
