瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz)
人员信息
优化列表
2020年–今天
2024 [公元29年] 哈桑·费里特·恩塞尔 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
自动测试代码翻译模型的功能属性。 AAAI公司 2024 : 21055-21062 2023 [公元28年] 玛丽亚·克里斯塔基斯 , 哈桑·费里特·恩塞尔 , 约格·霍夫曼 , 阿迪什·辛拉 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
为机器学习模型指定和测试k安全性属性。 国际JCAI 2023 : 4748-4757 [公元27年] 穆罕默德·努迈尔·曼苏尔 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
数据日志引擎的依赖感知变形测试。 ISSTA公司 2023 : 236-247 [公元26年] Jiradet Ounjai先生 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
绿色Fuzzer基准。 ISSTA公司 2023 : 1396-1406 [第14条] 哈桑·费里特·恩塞尔 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
自动测试代码翻译模型的功能属性。 CoRR公司 abs/2309.12813 ( 2023 ) 2022 [公元25年] 马塞尔·斯坦梅茨 , 丹尼尔·费瑟 , Hasan Ferit Eniser公司 , 帕特里克·费伯 , 蒂莫·格罗斯 , 菲利普·海姆 , 丹尼尔·霍勒 , 桑德拉·舒勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 , 约格·霍夫曼 :
调试策略:AI规划中的自动操作策略测试。 ICAPS公司 2022 : 353-361 [c24] 哈桑·费里特·恩塞尔 , 蒂莫·格罗斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 约格·霍夫曼 , 玛丽亚·克里斯塔基斯 :
通过放松变形关系:一种获得行动政策测试预言的方法。 ISSTA公司 2022 : 52-63 【c23】 斯科特·韦斯利 , 玛丽亚·克里斯塔基斯 , 豪尔赫·纳瓦斯 , 理查德·特雷弗 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 阿里·古芬克尔 :
通过SmartACE中的通信抽象验证实体智能合同。 VMCAI公司 2022 : 425-449 [i13] 玛丽亚·克里斯塔基斯 , 哈桑·费里特·恩塞尔 , 约格·霍夫曼 , 阿迪什·辛拉 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
指定和测试机器学习模型的k安全属性。 CoRR公司 abs/2206.06054 ( 2022 ) 2021 [公元22年] 玛丽亚·克里斯塔基斯 , 哈桑·费里特·恩塞尔 , 霍尔格·赫尔曼斯 , 约格·霍夫曼 , 尤格什·科塔里 , 李建林 , 豪尔赫·纳瓦斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
调用神经网络程序的自动安全验证。 CAV(1) 2021 : 201-224 【c21】 穆罕默德·努迈尔·曼苏尔 , 本杰明·马里亚诺 , 玛丽亚·克里斯塔基斯 , 豪尔赫·纳瓦斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
根据自定义使用场景自动定制抽象解释。 CAV(2) 2021 : 777-800 [公元20年] 斯科特·卫斯理 , 玛丽亚·克里斯塔基斯 , 豪尔赫·纳瓦斯 , 理查德·特雷弗 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 阿里·古芬克尔 :
通过通信抽象实现智能合约的组合验证。 SAS公司 2021 : 429-452 [第19条] 马塞尔·伯默 , 达努什卡·利扬格 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
灰箱模糊化中剩余风险的估计。 ESEC/SIGSOFT FSE 2021 : 230-241 [第18条] 穆罕默德·努迈尔·曼苏尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
数据日志引擎的变形测试。 ESEC/SIGSOFT FSE 2021 : 639-650 [i12] 斯科特·卫斯理 , 玛丽亚·克里斯塔基斯 , 豪尔赫·纳瓦斯 , 理查德·特雷弗勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 阿里·古芬克尔 :
通过通信抽象对智能合约进行组合验证(扩展)。 CoRR公司 腹肌/2107.08583 ( 2021 ) 2020 [j1] Caterina城市 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 张福源 :
完美并行的神经网络公平性认证。 程序。 ACM计划。 语言。 4 ( OOPSLA公司 ) : 185:1-185:30 ( 2020 ) [第17条] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
使用静态前瞻分析进行目标灰盒模糊。 ICSE公司 2020 : 789-800 [第16条] 穆罕默德·努迈尔·曼苏尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 张福源 :
使用黑盒变异模糊检测SMT解算器中的关键错误。 ESEC/SIGSOFT FSE 2020 : 701-712 [第15条] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
哈维:智能合约的灰盒模糊器。 ESEC/SIGSOFT FSE 2020 : 1398-1409 [i11] 哈桑·费里特·恩塞尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
RAID:神经网络的随机对手输入检测。 CoRR公司 abs/2002.02776 ( 2020 ) [i10] 穆罕默德·努迈尔·曼苏尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 张福源 :
使用黑箱变异模糊检测SMT解算器中的关键错误。 CoRR公司 abs/2004.05934 ( 2020 ) [第九章] 穆罕默德·努迈尔·曼苏尔 , 本杰明·马里亚诺 , 玛丽亚·克里斯塔基斯 , 豪尔赫·纳瓦斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
根据自定义使用场景自动调整静态分析。 CoRR公司 abs/2009.13860 ( 2020 )
2010 – 2019
2019 [第14条] 克里斯蒂安·克林格尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
对程序分析器的可靠性和精度进行不同的测试。 ISSTA公司 2019 : 239-250 [c13] 玛丽亚·克里斯塔基斯 , 马蒂亚斯·海兹曼 , 穆罕默德·努迈尔·曼苏尔 , 克里斯蒂安·席林 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
语义错误定位和可疑度排序。 TACAS(1) 2019 : 226-243 [i8] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
哈维:智能合约的灰盒模糊器。 CoRR公司 abs/1905.06944 ( 2019 ) [i7] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
目标灰盒模糊与静态前瞻分析。 CoRR公司 abs/1905.07147 ( 2019 ) [i6] Caterina城市 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 张福源 :
神经网络的完全并行公平性证明。 CoRR公司 abs/1912.02499 ( 2019 ) 2018 [第12条] 亚历山大·布加鲁 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 , 彼得·米勒 :
自动测试数字抽象域的实现。 ASE公司 2018 : 768-778 [i5] 弗洛伦丁·古思 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 , 彼得·米勒 :
具有自动抽象调整的智能合约的规范挖掘。 CoRR公司 abs/1807.07822 ( 2018 ) [i4] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 :
学习灰盒模糊输入。 CoRR公司 abs/1807.07875 ( 2018 ) [i3] 克里斯蒂安·克林格尔 , 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
程序分析器的稳健性和精度差异测试。 CoRR公司 abs/1812.05033 ( 2018 ) 2017 [第11条] 科斯塔斯·费尔斯 , Valentin Wüstholz女士 , 玛丽亚·克里斯塔基斯 , 伊西尔·迪利格 :
故障导向程序微调。 ESEC/SIGSOFT FSE 2017 : 174-185 [第10条] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 奥斯瓦尔多·奥利沃 , Marijn J.H.鞋垫 , 伊西尔·迪利格 :
使用正则表达式的程序中DoS漏洞的静态检测。 TACAS(2) 2017 : 3-20 [i2] 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 奥斯瓦尔多·奥利沃 , Marijn J.H.鞋垫 , 伊西尔·迪利格 :
使用正则表达式的程序中DoS漏洞的静态检测(扩展版本)。 CoRR公司 abs/1701.04045 ( 2017 ) [i1] 科斯塔斯·费尔斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 玛丽亚·克里斯塔基斯 , 伊西尔·迪利格 :
故障导向程序微调(扩展版)。 CoRR公司 abs/1706.04468 ( 2017 ) 2016 【c9】 玛丽亚·克里斯塔基斯 , 彼得·米勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
将动态符号执行导向未验证的程序执行。 ICSE公司 2016 : 144-155 【c8】 玛丽亚·克里斯塔基斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
有限抽象解释。 SAS公司 2016 : 105-125 【c7】 玛丽亚·克里斯塔基斯 , K.鲁斯坦·莱诺 , 彼得·米勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
诊断验证错误的集成环境。 墨西哥玉米饼 2016 : 424-441 2015 【b1】 Valentin Wüstholz女士 :
部分验证结果。 苏黎世联邦理工学院,瑞士苏黎世, 2015 【c6】 K.鲁斯坦·莱诺 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
验证结果的细粒度缓存。 CAV(1) 2015 : 380-397 【c5】 玛丽亚·克里斯塔基斯 , 彼得·米勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
静态程序分析器中故意不健全的实验评估。 VMCAI公司 2015 : 336-354 2014 【c4】 玛丽亚·克里斯塔基斯 , 彼得·米勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
综合参数化单元测试来检测对象不变量违规。 SEFM公司 2014 : 65-80 【c3】 K.鲁斯坦M.莱诺 , Valentin Wüstholz女士 :
Dafny集成开发环境。 F侧 2014 : 3-15 2012 【c2】 玛丽亚·克里斯塔基斯 , 彼得·米勒 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) :
带有明确假设的协作验证和测试。 调频 2012 : 132-146 2011 【c1】 弗拉基米尔·克莱巴诺夫 , 彼得·米勒 , 纳塔拉詹·尚卡尔 , 加里·利文斯 , 瓦伦丁·瓦斯特霍尔茨(Valentin Wüstholz) , 埃亚德·阿尔卡萨 , 罗布·阿森 , 德里克·布朗什 , 罗德·查普曼 , 厄尼·科恩 , 马克·希莱布兰德 , 雅各布施 , K.鲁斯坦·莱诺 , 罗斯玛丽·莫纳汉 , 弗兰克·皮森斯 , 纳迪娅·波里卡波娃 , 汤姆·里奇 , 简·斯曼斯 , 斯蒂芬·托比 , 托马斯·图尔克 , 马蒂亚斯·乌尔布里奇 , Benjamin Weiß :
第一届验证软件竞赛:经验报告。 调频 2011 : 154-168