Cumhur Erkan Tuncali

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 19

Top Topics

Machine Learning

Obstacle Avoidance

Structured Environments

Autonomous Vehicles

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. 5 (2) (2020)
Cumhur Erkan Tuncali
A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework for Autonomous Vehicles. CoRR (2019)
Cumhur Erkan Tuncali, Georgios Fainekos
Rapidly-exploring Random Trees-based Test Generation for Autonomous Vehicles. CoRR (2019)
Cumhur Erkan Tuncali, Georgios Fainekos
Rapidly-exploring Random Trees for Testing Automated Vehicles. ITSC (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2019)
Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
Experience Report: Application of Falsification Methods on the UxAS System. NFM (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems. CoRR (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. Intelligent Vehicles Symposium (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. HSCC (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. DAC (2018)
Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos
Functional gradient descent optimization for automatic test case generation for vehicle controllers. CASE (2017)
Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos
Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. ITSC (2016)
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An Efficient Algorithm for Monitoring Practical TPTL Specifications. CoRR (2016)
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee
Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms. ACM Trans. Embed. Comput. Syst. 16 (1) (2016)
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos
An efficient algorithm for monitoring practical TPTL specifications. MEMOCODE (2016)
Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Ümit Özgüner, Georgios Fainekos
Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. CASE (2016)
Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos
Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. CoRR (2016)
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee
Automatic Parallelization of Simulink Models for Multi-core Architectures. HPCC/CSS/ICESS (2015)