Follow
Cumhur Erkan Tuncali
Cumhur Erkan Tuncali
Amazon.com
Verified email at asu.edu - Homepage
Title
Cited by
Cited by
Year
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
2542018
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
1072019
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
942016
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
682018
Rapidly-exploring random trees for testing automated vehicles
CE Tuncali, G Fainekos
2019 IEEE Intelligent Transportation Systems Conference (ITSC), 661-666, 2019
67*2019
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
322018
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
192017
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
152016
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
152015
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
142018
Search-based test generation for automated driving systems: From perception to control logic
CE Tuncali
Arizona State University, 2019
132019
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
122016
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
62020
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
32016
IMPLEMENTATION AND SIMULATION OF MC68HC11 MICROCONTROLLER UNIT USING SYSTEMC FOR CO-DESIGN STUDIES
CE Tuncali
MIDDLE EAST TECHNICAL UNIVERSITY, 2007
12007
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
The system can't perform the operation now. Try again later.
Articles 1–17