E-LIB Suche - Ergebnisse für: Tuncali, Cumhur Erkan

1

Rapidly-exploring Random Trees for Testing Automated Vehicl..:

, In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC),

Tuncali, Cumhur Erkan ; Fainekos, Georgios - p. 661-666 , 2019

Link: https://doi.org/10.1109/..

2

Sim-ATAV : Simulation-Based Adversarial Testing Framewor..:

, In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week),

Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Ito, Hisahiro. - p. 283-284 , 2018

Link: https://dl.acm.org/doi/1..

3

Reasoning about safety of learning-enabled components in au..:

, In: Proceedings of the 55th Annual Design Automation Conference,

Tuncali, Cumhur Erkan ; Kapinski, James ; Ito, Hisahiro. - p. 1-6 , 2018

Link: https://dl.acm.org/doi/1..

4

Automatic Parallelization of Multirate Block Diagrams of Co..:

Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Lee, Yann-Hang
ACM Transactions on Embedded Computing Systems. 16 (2016) 1 - p. 1-26 , 2016

Link: https://doi.org/10.1145/..

5

Automatic Parallelization of Multirate Block Diagrams of Co..:

Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Lee, Yann-Hang
ACM Transactions on Embedded Computing Systems (TECS). 16 (2016) 1 - p. 1-26 , 2016

Link: https://dl.acm.org/doi/1..

6

An efficient algorithm for monitoring practical TPTL specif..:

, In: Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design,

Dokhanchi, Adel ; Hoxha, Bardh ; Tuncali, Cumhur Erkan. - p. 184-193 , 2016

Link: https://dl.acm.org/doi/1..

7

A Tutorial on Sim-ATAV: Simulation-based Adversarial Testin..:

Tuncali, Cumhur Erkan
http://arxiv.org/abs/1903.10637. , 2019

Link: http://arxiv.org/abs/190..

8

Requirements-driven Test Generation for Autonomous Vehicles..:

Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Prokhorov, Danil..
http://arxiv.org/abs/1908.01094. , 2019

Link: http://arxiv.org/abs/190..

9

Rapidly-exploring Random Trees-based Test Generation for Au..:

Tuncali, Cumhur Erkan ; Fainekos, Georgios
http://arxiv.org/abs/1903.10629. , 2019

Link: http://arxiv.org/abs/190..

10

Reasoning about Safety of Learning-Enabled Components in Au..:

Tuncali, Cumhur Erkan ; Kapinski, James ; Ito, Hisahiro.
http://arxiv.org/abs/1804.03973. , 2018

Link: http://arxiv.org/abs/180..

11

Simulation-based Adversarial Test Generation for Autonomous..:

Tuncali, Cumhur Erkan ; Fainekos, Georgios ; Ito, Hisahiro.
http://arxiv.org/abs/1804.06760. , 2018

Link: http://arxiv.org/abs/180..

12

An Efficient Algorithm for Monitoring Practical TPTL Specif..:

Dokhanchi, Adel ; Hoxha, Bardh ; Tuncali, Cumhur Erkan.
http://arxiv.org/abs/1612.03140. , 2016

Link: http://arxiv.org/abs/161..

13

Modeling Concurrency and Reconfiguration in Vehicular Syste..:

Campbell, Joseph ; Tuncali, Cumhur Erkan ; Pavlic, Theodore P.
http://arxiv.org/abs/1604.02122. , 2016

Link: http://arxiv.org/abs/160..