BibTeX records: Cumhur Erkan Tuncali

download as .bib file

@article{DBLP:journals/tiv/TuncaliFPIK20,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Danil V. Prokhorov and
                  Hisahiro Ito and
                  James Kapinski},
  title        = {Requirements-Driven Test Generation for Autonomous Vehicles With Machine
                  Learning Components},
  journal      = {{IEEE} Trans. Intell. Veh.},
  volume       = {5},
  number       = {2},
  pages        = {265--280},
  year         = {2020},
  url          = {https://doi.org/10.1109/TIV.2019.2955903},
  doi          = {10.1109/TIV.2019.2955903},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tiv/TuncaliFPIK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/TuncaliF19,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos},
  title        = {Rapidly-exploring Random Trees for Testing Automated Vehicles},
  booktitle    = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
                  2019, Auckland, New Zealand, October 27-30, 2019},
  pages        = {661--666},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ITSC.2019.8917375},
  doi          = {10.1109/ITSC.2019.8917375},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/TuncaliF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1903-10629,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos},
  title        = {Rapidly-exploring Random Trees-based Test Generation for Autonomous
                  Vehicles},
  journal      = {CoRR},
  volume       = {abs/1903.10629},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.10629},
  eprinttype    = {arXiv},
  eprint       = {1903.10629},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-10629.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1903-10637,
  author       = {Cumhur Erkan Tuncali},
  title        = {A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework
                  for Autonomous Vehicles},
  journal      = {CoRR},
  volume       = {abs/1903.10637},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.10637},
  eprinttype    = {arXiv},
  eprint       = {1903.10637},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-10637.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1908-01094,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Danil V. Prokhorov and
                  Hisahiro Ito and
                  James Kapinski},
  title        = {Requirements-driven Test Generation for Autonomous Vehicles with Machine
                  Learning Components},
  journal      = {CoRR},
  volume       = {abs/1908.01094},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.01094},
  eprinttype    = {arXiv},
  eprint       = {1908.01094},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-01094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/TuncaliKID18,
  author       = {Cumhur Erkan Tuncali and
                  James Kapinski and
                  Hisahiro Ito and
                  Jyotirmoy V. Deshmukh},
  title        = {Reasoning about safety of learning-enabled components in autonomous
                  cyber-physical systems},
  booktitle    = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
                  2018, San Francisco, CA, USA, June 24-29, 2018},
  pages        = {30:1--30:6},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3195970.3199852},
  doi          = {10.1145/3195970.3199852},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/TuncaliKID18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/TuncaliFIK18,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Hisahiro Ito and
                  James Kapinski},
  editor       = {Maria Prandini and
                  Jyotirmoy V. Deshmukh},
  title        = {Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous
                  Vehicles},
  booktitle    = {Proceedings of the 21st International Conference on Hybrid Systems:
                  Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
                  Portugal, April 11-13, 2018},
  pages        = {283--284},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178126.3187004},
  doi          = {10.1145/3178126.3187004},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/TuncaliFIK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ivs/TuncaliFIK18,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Hisahiro Ito and
                  James Kapinski},
  title        = {Simulation-based Adversarial Test Generation for Autonomous Vehicles
                  with Machine Learning Components},
  booktitle    = {2018 {IEEE} Intelligent Vehicles Symposium, {IV} 2018, Changshu, Suzhou,
                  China, June 26-30, 2018},
  pages        = {1555--1562},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/IVS.2018.8500421},
  doi          = {10.1109/IVS.2018.8500421},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/TuncaliFIK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/TuncaliHDFS18,
  author       = {Cumhur Erkan Tuncali and
                  Bardh Hoxha and
                  Guohui Ding and
                  Georgios Fainekos and
                  Sriram Sankaranarayanan},
  editor       = {Aaron Dutle and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Anthony Narkawicz},
  title        = {Experience Report: Application of Falsification Methods on the UxAS
                  System},
  booktitle    = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
                  Newport News, VA, USA, April 17-19, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10811},
  pages        = {452--459},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-77935-5\_30},
  doi          = {10.1007/978-3-319-77935-5\_30},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/TuncaliHDFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1804-03973,
  author       = {Cumhur Erkan Tuncali and
                  James Kapinski and
                  Hisahiro Ito and
                  Jyotirmoy V. Deshmukh},
  title        = {Reasoning about Safety of Learning-Enabled Components in Autonomous
                  Cyber-physical Systems},
  journal      = {CoRR},
  volume       = {abs/1804.03973},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.03973},
  eprinttype    = {arXiv},
  eprint       = {1804.03973},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-03973.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1804-06760,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Hisahiro Ito and
                  James Kapinski},
  title        = {Simulation-based Adversarial Test Generation for Autonomous Vehicles
                  with Machine Learning Components},
  journal      = {CoRR},
  volume       = {abs/1804.06760},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.06760},
  eprinttype    = {arXiv},
  eprint       = {1804.06760},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-06760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/case/TuncaliYPF17,
  author       = {Cumhur Erkan Tuncali and
                  Shakiba Yaghoubi and
                  Theodore P. Pavlic and
                  Georgios Fainekos},
  title        = {Functional gradient descent optimization for automatic test case generation
                  for vehicle controllers},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {1059--1064},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256245},
  doi          = {10.1109/COASE.2017.8256245},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/TuncaliYPF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tecs/TuncaliFL16,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Yann{-}Hang Lee},
  title        = {Automatic Parallelization of Multirate Block Diagrams of Control Systems
                  on Multicore Platforms},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {16},
  number       = {1},
  pages        = {15:1--15:26},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2950055},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/TuncaliFL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/case/CampbellTLPOF16,
  author       = {Joseph Campbell and
                  Cumhur Erkan Tuncali and
                  Peng Liu and
                  Theodore P. Pavlic and
                  {\"{U}}mit {\"{O}}zg{\"{u}}ner and
                  Georgios Fainekos},
  title        = {Modeling concurrency and reconfiguration in vehicular systems: {A}
                  {\(\pi\)}-calculus approach},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2016, Fort Worth, TX, USA, August 21-25, 2016},
  pages        = {523--530},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/COASE.2016.7743450},
  doi          = {10.1109/COASE.2016.7743450},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/CampbellTLPOF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/TuncaliPF16,
  author       = {Cumhur Erkan Tuncali and
                  Theodore P. Pavlic and
                  Georgios Fainekos},
  title        = {Utilizing S-TaLiRo as an automatic test generation framework for autonomous
                  vehicles},
  booktitle    = {19th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016},
  pages        = {1470--1475},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ITSC.2016.7795751},
  doi          = {10.1109/ITSC.2016.7795751},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/TuncaliPF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/DokhanchiHTF16,
  author       = {Adel Dokhanchi and
                  Bardh Hoxha and
                  Cumhur Erkan Tuncali and
                  Georgios Fainekos},
  title        = {An efficient algorithm for monitoring practical {TPTL} specifications},
  booktitle    = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
                  for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
                  2016},
  pages        = {184--193},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/MEMCOD.2016.7797763},
  doi          = {10.1109/MEMCOD.2016.7797763},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/DokhanchiHTF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/CampbellTPF16,
  author       = {Joseph Campbell and
                  Cumhur Erkan Tuncali and
                  Theodore P. Pavlic and
                  Georgios Fainekos},
  title        = {Modeling Concurrency and Reconfiguration in Vehicular Systems: {A}
                  {\textdollar}{\(\pi\)}{\textdollar}-calculus Approach},
  journal      = {CoRR},
  volume       = {abs/1604.02122},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.02122},
  eprinttype    = {arXiv},
  eprint       = {1604.02122},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CampbellTPF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DokhanchiHTF16,
  author       = {Adel Dokhanchi and
                  Bardh Hoxha and
                  Cumhur Erkan Tuncali and
                  Georgios Fainekos},
  title        = {An Efficient Algorithm for Monitoring Practical {TPTL} Specifications},
  journal      = {CoRR},
  volume       = {abs/1612.03140},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.03140},
  eprinttype    = {arXiv},
  eprint       = {1612.03140},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DokhanchiHTF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hpcc/TuncaliFL15,
  author       = {Cumhur Erkan Tuncali and
                  Georgios Fainekos and
                  Yann{-}Hang Lee},
  title        = {Automatic Parallelization of Simulink Models for Multi-core Architectures},
  booktitle    = {17th {IEEE} International Conference on High Performance Computing
                  and Communications, {HPCC} 2015, 7th {IEEE} International Symposium
                  on Cyberspace Safety and Security, {CSS} 2015, and 12th {IEEE} International
                  Conference on Embedded Software and Systems, {ICESS} 2015, New York,
                  NY, USA, August 24-26, 2015},
  pages        = {964--971},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/HPCC-CSS-ICESS.2015.232},
  doi          = {10.1109/HPCC-CSS-ICESS.2015.232},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hpcc/TuncaliFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.