| Simulation-based adversarial test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, H Ito, J Kapinski 2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018 | 266 | 2018 |
| Requirements-driven test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, D Prokhorov, H Ito, J Kapinski IEEE Transactions on Intelligent Vehicles 5 (2), 265-280, 2019 | 118 | 2019 |
| Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles CE Tuncali, TP Pavlic, G Fainekos 2016 ieee 19th international conference on intelligent transportation …, 2016 | 95 | 2016 |
| Rapidly-exploring random trees for testing automated vehicles CE Tuncali, G Fainekos 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 661-666, 2019 | 70* | 2019 |
| Reasoning about safety of learning-enabled components in autonomous cyber-physical systems CE Tuncali, J Kapinski, H Ito, JV Deshmukh Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 69 | 2018 |
| Sim-atav: Simulation-based adversarial testing framework for autonomous vehicles CE Tuncali, G Fainekos, H Ito, J Kapinski Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 33 | 2018 |
| Functional gradient descent optimization for automatic test case generation for vehicle controllers CE Tuncali, S Yaghoubi, TP Pavlic, G Fainekos 2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1059 …, 2017 | 19 | 2017 |
| An efficient algorithm for monitoring practical TPTL specifications A Dokhanchi, B Hoxha, CE Tuncali, G Fainekos 2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016 | 16 | 2016 |
| Automatic parallelization of simulink models for multi-core architectures CE Tuncali, G Fainekos, YH Lee 2015 IEEE 17th International Conference on High Performance Computing and …, 2015 | 15 | 2015 |
| Experience report: Application of falsification methods on the UxAS system CE Tuncali, B Hoxha, G Ding, G Fainekos, S Sankaranarayanan NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018 | 14 | 2018 |
| Search-based test generation for automated driving systems: From perception to control logic CE Tuncali Arizona State University, 2019 | 13 | 2019 |
| Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach J Campbell, CE Tuncali, P Liu, TP Pavlic, U Ozguner, G Fainekos 2016 IEEE International Conference on Automation Science and Engineering …, 2016 | 13 | 2016 |
| Model predictive adaptive cruise control for reducing rear-end collision risk with follower vehicles CE Tuncali, T Pavlic, G Fainekos US Patent 10,766,489, 2020 | 7 | 2020 |
| Automatic parallelization of multirate block diagrams of control systems on multicore platforms CE Tuncali, G Fainekos, YH Lee ACM Transactions on Embedded Computing Systems (TECS) 16 (1), 1-26, 2016 | 3 | 2016 |
| IMPLEMENTATION AND SIMULATION OF MC68HC11 MICROCONTROLLER UNIT USING SYSTEMC FOR CO-DESIGN STUDIES CE Tuncali MIDDLE EAST TECHNICAL UNIVERSITY, 2007 | 1 | 2007 |
| A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework for Autonomous Vehicles CE Tuncali arXiv preprint arXiv:1903.10637, 2019 | | 2019 |
| Automatic Parallelization of Multi-rate Simulink Control Models for Multi-core Architectures CE TUNCALI, G FAINEKOS, YH LEE | | |
Georgios FainekosToyota Research Institute of North America在 toyota.com 的电子邮件经过验证
