Cumhur Erkan Tuncali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DAC | Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. | Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh |
| 2016 | MEMOCODE | An efficient algorithm for monitoring practical TPTL specifications. | Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos |
| 2015 | HPCC | Automatic Parallelization of Simulink Models for Multi-core Architectures. | Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee |