Visible to the public Biblio

Filters: Author is Cumhur Erkan Tuncali  [Clear All Filters]
2018-05-15
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee.  2015.  Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee.  2016.  Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms. ACM Transactions on Embedded Computing Systems. 16:ArticleNo15.
Joseph Campbell, Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos.  2016.  Toward Modeling Concurrency and Reconfiguration in Vehicular Systems. 9th Interaction and Concurrency Experience.
Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore P. Pavlic, Umit Ozguner, Georgios Fainekos.  2016.  Modeling Concurrency and Reconfiguration in Vehicular Systems: A $π$-calculus Approach. IEEE International Conference on Automation Science and Engineering.
Cumhur Erkan Tuncali, Theodore P. Pavlic, Georgios Fainekos.  2016.  Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles. IEEE Intelligent Transportation Systems Conference.
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos.  2016.  An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.
Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos.  2017.  Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers. IEEE International Conference on Automation Science and Engineering.