Beyazit Yalcinkaya公司
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2023 [注2] Beyazit Yalcinkaya公司 , 哈泽姆·托法 , Ankush Desai公司 , 桑吉特·塞希亚 :
Ulgen:编程安全网络物理系统的运行时保证框架。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 42 ( 11 ) : 3679-3692 ( 2023 ) 【c4】 Beyazit Yalcinkaya公司 , 哈泽姆·托法 , 丹尼尔·弗雷蒙特 , 桑吉特·塞希亚 :
基于AI的马尔科夫规范自治系统的合成仿真分析。 RV汽车 2023 : 191-212 [i3] 阿梅什·沙阿 , 乔纳森·德卡斯特罗 , 约翰·吉迪恩 , Beyazit Yalcinkaya公司 , 盖·罗斯曼 , 桑吉特·塞希亚 :
规范-语义感知模拟学习的引导数据聚合。 CoRR公司 abs/2303.17010 ( 2023 ) 2022 [j1] 默特·埃尔古图纳 , Beyazit Yalcinkaya公司 , 埃布鲁·艾丁·戈尔 :
带有信号时序逻辑的自动系统修复框架。 信息学报 59 ( 2-3 ) : 183-209 ( 2022 ) 【c3】 尼古拉斯·劳弗 , Beyazit Yalcinkaya公司 , 马塞尔·巴斯奎兹·香拉特(Marcell Vazquez-Chanlatte) , 阿梅什·沙阿 , 桑吉特·塞希亚 :
从示例和演示中学习确定性有限自动机分解。 FMCAD公司 2022 : 1-6 [i2] 尼古拉斯·劳弗 , Beyazit Yalcinkaya公司 , 马塞尔·巴斯奎兹·香拉特(Marcell Vazquez-Chanlatte) , 阿梅什·沙阿 , 桑吉特·塞希亚 :
从示例和演示中学习确定性有限自动机分解。 CoRR公司 abs/2205.13013 ( 2022 )
2010 – 2019
2019 【c2】 Beyazit Yalcinkaya公司 , 米特拉·纳斯里 , 比约恩·勃兰登堡 :
非主动自暂停实时任务的精确可调度性测试。 日期 2019 : 1228-1233 【c1】 Beyazit Yalcinkaya公司 , 埃布鲁·艾丁·戈尔 :
在保留设计参数的同时减少时间自动机中的时钟。 FormaliSE@ICSE 2019 : 11-20 [i1] Beyazit Yalcinkaya公司 , 埃布鲁·艾丁·戈尔 :
ATAC:一种自动化时间自动机构建的工具。 CoRR公司 abs/1905.08169 ( 2019 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)