坦尼娅·辛德勒
坦尼娅·辛德勒
|
研究兴趣
出版物
使用电子匹配增量搜索量化公式的冲突和单位实例 VMCAI 2021年 ,与Jochen Hoenike一起[ 国防部 ]
阵列理论的有效插值 2018年国际JCAR 和Jochen Hoenicke一起。 [ 国防部 ][ 扩展版本 ] 带动态块编码的终极大班(竞争贡献),单位: 2018年TACAS 与丹尼尔·迪特施、马吕斯·格雷楚斯、马蒂亚斯·海兹曼、乔森·霍尼克、亚历山大·纳茨、安德烈亚斯·波德尔斯基和克里斯蒂安·席林一起。 [ 国防部 ] 终极Automizer和寻找完美插值-(竞争贡献),in 2018年TACAS 与马蒂亚斯·海兹曼、陈玉芳、丹尼尔·迪特施、马吕斯·格雷楚斯、乔森·霍尼克、李勇、亚历山大·纳茨、贝蒂姆·穆萨、克里斯蒂安·席林和安德烈亚斯·波德尔斯基一起。 [ 国防部 ] 无限状态模型检查的Selfles插值,in 2018年VMCAI ,以及德扬·约万诺维奇。 [ 国防部 ]
实习
纽约SRI国际有限公司。使用 德扬·约瓦诺维奇 .