Cumhur Erkan Tuncali

According to our database, Cumhur Erkan Tuncali authored at least 15 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski

IEEE Trans. Intell. Veh., 2020

2019

A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework for Autonomous Vehicles.

Cumhur Erkan Tuncali

CoRR, 2019

Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos

CoRR, 2019

Rapidly-exploring Random Trees for Testing Automated Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2018

Experience Report: Application of Falsification Methods on the UxAS System.

Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.

Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Functional gradient descent optimization for automatic test case generation for vehicle controllers.

Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms.

Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee

ACM Trans. Embed. Comput. Syst., 2016

Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach.

Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos

CoRR, 2016

An efficient algorithm for monitoring practical TPTL specifications.

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles.

Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach.

Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Ümit Özgüner, Georgios Fainekos

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Automatic Parallelization of Simulink Models for Multi-core Architectures.

Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015