Cumhur Erkan Tuncali

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