Cumhur Erkan Tuncali

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.
IEEE Trans. Intell. Veh., 2020

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

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

Rapidly-exploring Random Trees for Testing Automated Vehicles.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

2018
Experience Report: Application of Falsification Methods on the UxAS System.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.
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.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Functional gradient descent optimization for automatic test case generation for vehicle controllers.
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.
ACM Trans. Embed. Comput. Syst., 2016

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

An efficient algorithm for monitoring practical TPTL specifications.
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.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Automatic Parallelization of Simulink Models for Multi-core Architectures.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015


  Loading...