雷布
优化列表
2020年–今天
2024 [公元20年] 陈伯川 , 小郭 , 陈玉亭 , 余晓峰 , 雷布 :
构建异常处理链以测试Java虚拟机实现。 J.软件。 进化。 过程。 36 ( 4 ) ( 2024 ) [公元57年] 王家婉 , 刘文霞 , 张慕子庙 , 贾其伟 , 史玉辉 , 雷布 , 李宣东 :
可重构消费品安全的基于场景的柔性建模和可扩展伪造。 CAV(3) 2024 : 329-355 [公元56年] 小郭 , 赵建华 , 雷布 :
验证数字滤波器BIBO稳定性的基于极点的不变量生成。 高速列车控制中心 2024 : 3:1-3:12 [电子2] 霍尔格·赫尔曼斯 , 孙军(Jun Sun) , 雷布 :
可靠软件工程。理论、工具和应用——第九届国际研讨会,2023年11月27日至29日,中国南京,SETTA 2023,会议记录。 计算机科学课堂讲稿 14464, 施普林格 2024 ,国际标准图书编号 978-981-99-8663-7 [目录] [i5] 马乐之 , 刘尚清 , 李毅 , 谢晓飞 , 雷布 :
SpecGen:通过大型语言模型自动生成正式程序规范。 CoRR公司 腹肌/2401.08807 ( 2024 ) [i4] 齐国 , 李晓红 , 谢晓飞 , 刘尚清 , 泽唐 , 冯瑞涛 , 王俊杰 , 冀东阁 , 雷布 :
FT2Ra:一种受微调启发的检索增强代码完成方法。 CoRR公司 abs/2404.01554 ( 2024 ) [i3] 李素万 , 雷布 , 广东白族 , 谢福满 , 陈凯(Kai Chen) , 常悦 :
VPA应用程序的模型增强LLM-Driven VUI测试。 CoRR公司 abs/2407.02791 ( 2024 ) 2023 [公元19年] 泾阳 , 雷布 :
高等学校环境AR构建技术中的混合英语教学模式。 国际游戏计算杂志。 调解。 仿真 15 ( 1 ) : 1-15 ( 2023 ) [公元55年] 王丽敏 , 雷布 , 傅松 :
SCAGuard:通过攻击行为建模和相似性比较检测和分类缓存侧通道攻击。 数模转换器 2023 : 1-6 [c54] 王希早 , 左志强 , 雷布 , 赵建华 :
DStream:基于流的高度并行IFDS框架。 ICSE公司 2023 : 2488-2500 [公元53年] 雷布 , 张秋平 , 李素万 , 戴静林 , 广东白族 , 陈凯(Kai Chen) , 李宣东 :
触发-操作-编程智能家居集成的安全检查。 ISSTA公司 2023 : 639-651 [第52条] 王子涵 , 聂鹏波 , 新源苗族 , 陈玉亭 , 澄城湾 , 雷布 , 赵建军 :
GenCoG:一种基于DSL的生成TVM测试计算图的方法。 ISSTA公司 2023 : 904-916 [第51条] 张世玉(Shiyu Zhang) , 刘文霞 , 王琦欣(Qixin Wang) , 雷布 , 于培 :
Control-CPS软件故障定位中变压器和AR-SI Oracle的比较。 RTCSA公司 2023 : 95-100 2022 [公元18年] 陶雪 , 秦胜超 , 张文辉 , 孙军(Jun Sun) , 雷布 , 葛丽 :
前言。 J.计算。 科学。 Technol公司。 37 ( 1 ) : 1-3 ( 2022 ) [公元17年] 王佳万 , 雷布 , 邢绍鹏 , 李宣东 :
PDF:非线性和非确定性CPS安全伪造的面向路径、无导数方法。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 41 ( 2 ) : 238-251 ( 2022 ) [公元16年] 雷布 , Zhe Zhao(赵哲) , 段玉超 , 傅松 :
关注离散化问题:对离散化问题和离散整数域中的黑盒对手攻击的综合研究。 IEEE传输。 可靠的安全。 计算。 19 ( 5 ) : 3200-3217 ( 2022 ) [公元50年] 雷布 , 戈兰·弗雷斯 , 阿塔努·昆都 , 拉贾什·雷 , 史玉辉 , 埃娜·扎法内拉 :
ARCH-COMP22类别报告:具有分段恒定动力学和有界模型检查的混合系统。 拱@SAFECOMP 2022 : 44-57 [公元49年] 谢福满 , 张彦军(Yanjun Zhang) , 川岩 , 李素万 , 雷布 , 陈凯(Kai Chen) , 子黄 , 广东白族 :
审查虚拟个人助理应用程序的隐私政策合规性。 ASE公司 2022 : 90:1-90:13 [c48] 李素万 , 雷布 , 广东白族 , 郭志秀 , 陈凯(Kai Chen) , 韩林伟(Hanlin Wei) :
VITAS:VPA应用程序的基于模型的VUI引导测试。 ASE公司 2022 : 115:1-115:12 [公元47年] 雷布 , 准一解 , 乐成柳 , 李一超 , 小郭 , 赵建华 , 李宣东 :
BRICK:基于路径枚举的C程序有界可达性检查(竞争贡献)。 TACAS(2) 2022 : 408-412 [公元46年] 吴玉明 , 雷布 , 王家婉 , 任心悦 , 文雄 , 李宣东 :
混合语义指导下的组合线性混合自动机分层有界可达性分析。 VMCAI公司 2022 : 473-495 2021 [公元15年] 雷布 , 梁永娟 , 准一解 , 洪谦(音) , 胡一齐 , 杨瑜 , Xin Chen(新晨) , 李宣东 :
机器学习引导复杂软件代码的符号执行框架。 形式方面计算。 33 ( 三 ) : 301-323 ( 2021 ) [公元45年] 博高 , 沈思源 , 凌石 , 李嘉英 , 孙军(Jun Sun) , 雷布 :
智能合约的验证辅助天然气减排。 后堂 2021 : 264-274 [c44] 王家婉 , 雷布 , 邢绍鹏 , 吴玉明 , 李宣东 :
在线检测与控制综合相结合:车辆排试验台的研究。 FM公司 2021 : 752-762 [公元43年] 邢绍鹏 , 王家婉 , 雷布 , Xin Chen(新晨) , 李宣东 :
基于分类的无导数优化的近似最优混合控制综合。 高速列车控制中心 2021 : 7:1-7:11 [公元42年] 库拉尼·马哈杜瓦 , 张彦军(Yanjun Zhang) , 广东白族 , 雷布 , 左志强 , 迪利帕·费尔南多 , 梁振凯 , 金松洞 :
识别多方触发操作集成平台的隐私弱点。 ISSTA公司 2021 : 2-15 2020 [公元14年] 雷布 , 王启新 , 任心悦 , 邢绍鹏 , 李宣东 :
基于场景的CPS故障预测在线可达性验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 10 ) : 2081-2094 ( 2020 ) [公元41年] 雷布 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 穆罕默德·赛义法·穆菲德 , 拉贾什·雷 , 吴玉明 , 埃娜·扎法内拉 :
ARCH-COMP20类别报告:具有分段恒定动力学和有界模型检查的混合系统。 建筑 2020 : 1-15 [公元40年] 张世玉(Shiyu Zhang) , 翟隽 , 雷布 , 陈明松 , 王林章(Linzhang Wang) , 李宣东 :
使用自然语言自动生成智能家居物联网的LTL规范。 日期 2020 : 622-625 [公元39年] 朝皇 , Xin Chen(新晨) , 恩义堂 , 蒙大河 , 雷布 , 秦盛超 , 曾一峰(Yifeng Zeng) :
虚拟线性先导引导HMPC控制的WMR离散差分方程导航。 ICRA公司 2020 : 151-157
2010 – 2019
2019 [j13] 凤潭 , 刘连胜 , 史蒂芬温特 , 王琦欣(Qixin Wang) , 内拉杰·苏里 , 雷布 , 于鹏 , 薛柳 , 西元彭 :
黑盒两级控制CPS的跨域噪声影响评估。 ACM事务处理。 网络物理。 系统。 三 ( 1 ) : 2:1-2:25 ( 2019 ) [公元38年] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 安娜·贝基 , 雷布 , 亚历山德罗·西马蒂 , 米尔科·贾科布 , 阿尔贝托·格里乔 , 塞尔吉奥·莫弗 , 穆罕默德·赛义法·穆菲德 , 伊德里斯·里奥亚克 , 斯特凡诺·托内塔 , 埃娜·扎法内拉 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统。 建筑@CPSIoTWeek 2019 : 1-13 [公元37年] 雷布 , 拉贾什·雷 , 斯特凡·舒普 :
ARCH-COMP19类别报告:具有分段恒定动力学的混合系统的有界模型检验。 建筑@CPSIoTWeek 2019 : 120-128 [c36] 雷布 , 邢绍鹏 , 任心悦 , 杨扬 , 王琦欣(Qixin Wang) , 李宣东 :
动态网络物理系统的增量在线验证。 日期 2019 : 782-787 [公元35年] 雷布 , 王佳万 , 吴玉明 , 李宣东 :
从线性混合自动机的有界可达性分析到工业CPS和物联网的验证。 SETSS(设置) 2019 : 10-43 [i2] 段玉超 , Zhe Zhao(赵哲) , 雷布 , 傅松 :
你可能不知道的对手示例:黑匣子对手图像攻击。 CoRR公司 abs/1905.07672 ( 2019 ) 2018 [公元12年] 雷布 , 张田 , Xin Chen(新晨) , 王林章 , 赵建华 , 李宣东 :
基于模型的网络物理系统构建和验证。 ACM SIGSOFT软件。 工程注释 43 ( 三 ) : 6-10 ( 2018 ) [公元11年] 雷布 , 文雄 , Chieh-Jan迈克·梁 , 史涵 , 张冬梅 , 单琳 , 李宣东 :
系统地确保实时家庭自动化物联网系统的可靠性。 ACM事务处理。 网络物理。 系统。 2 ( 三 ) : 22:1-22:23 ( 2018 ) [公元34年] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 , 穆罕默德·赛义法·穆菲德 , 埃娜·扎法内拉 :
ARCH-COMP18类别报告:具有分段恒定动力学的混合系统。 ADHS建筑 2018 : 1-13 [c33] 雷布 , 拉贾什·雷 , 斯特凡·舒普 :
ARCH-COMP18类别报告:具有分段恒定动力学的混合系统的有界模型检验。 ADHS建筑 2018 : 14-22 [公元32年] 雷布 , 多伦·贝利德 , 大树神 , 耶尔·齐鲁尼科夫 :
使用偏置自动机追踪错误。 ISoLA(2) 2018 : 271-286 [公元31年] 雷布 , 多伦·贝利德 , 大川沈 , 袁庄 :
使用模型检查和统计模型检查的并发代码的遗传合成。 自旋蛋白 2018 : 275-291 [第1页] 雷布 , 汇江 , Xin Chen(新晨) , 恩义堂 , 李宣东 :
HAT:将线性混合自动机分析为标记转换系统。 实时与混合系统研讨会 2018 : 85-104 [e1] 雷布 , 熊英飞 :
软件分析、测试和进化——第八届国际会议,2018年SATE,中国广东深圳,2018年11月23日至24日,会议记录。 计算机科学课堂讲稿 11293, 施普林格 2018 ,国际标准图书编号 978-3-030-04271-4 [目录] 2017 [公元10年] 谢定宝 , 文雄 , 雷布 , 李宣东 :
在有界检查过程中推导线性混合自动机的无界可达性证明。 IEEE传输。 计算机 66 ( 三 ) : 416-430 ( 2017 ) [公元30年] 戈兰·弗雷斯 , 亚历山德罗·阿巴特 , 迪基·阿兹基亚 , 雷布 , 米尔科·贾科布 :
ARCH-COMP17类别报告:具有分段恒定动力学的混合系统。 建筑@CPSWeek 2017 : 124-133 [公元29年] 雷布 , 拉贾什·雷 , 斯特凡·舒普 :
ARCH-COMP17类别报告:具有分段恒定动力学的混合系统的有界模型检验。 建筑@CPSWeek 2017 : 134-142 [公元28年] 张楚成 , 程浩良 , 恩义堂 , Xin Chen(新晨) , 雷布 , 李宣东 :
移动应用程序的草图引导GUI测试生成。 ASE公司 2017 : 38-43 2016 [公元27年] 凌云司徒 , Yu Wang(王宇) , 高凤娟 , 王林章(Linzhang Wang) , 雷布 , 赵建华 , 李宣东 :
ACSPChecker:一个基于ASP的CSP模型检查工具。 网构 2016 : 99-102 [公元26年] 辛莉(Xin Li) , 梁永娟 , 洪谦(音) , 胡一齐 , 雷布 , 杨瑜 , Xin Chen(新晨) , 李宣东 :
基于机器学习的约束求解驱动的复杂程序的符号执行。 ASE公司 2016 : 554-559 [公元25年] Chieh-Jan迈克·梁 , 雷布 , 赵丽 , 张俊北 , 史涵 , 伯杰·卡尔森 , 张冬梅 , 冯照 :
系统调试楼宇自动化物联网控制系统的正确性。 BuildSys@SenSys 2016 : 133-142 2015 [公元9年] 凤潭 , 王玉菲 , 王琦欣(Qixin Wang) , 雷布 , 内拉杰·苏里 :
一种基于租约的无线CPS联锁适时嵌入混合设计模式。 IEEE传输。 并行分布式系统。 26 ( 10 ) : 2630-2642 ( 2015 ) 2014 [j8] 谢定宝 , 雷布 , 赵建华 , 李宣东 :
线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 形式方法系统。 设计。 45 ( 1 ) : 42-62 ( 2014 ) [j7] 奥尔法·卡农 , 克里斯蒂安·米勒 , 阿卜杜拉赫曼·本奇鲁夫 , 阿卜杜勒卡迪尔·桑利 , Nghia Trong Dinh村 , 弹药Al-Hamry , 雷布 , 卡琳娜·格拉赫 , 艾达·布哈米德 :
高性能应变传感器用柔性碳纳米管薄膜。 传感器 14 ( 6 ) : 10042-10071 ( 2014 ) [j6] 陶莉 , 凤潭 , 王琦欣(Qixin Wang) , 雷布 , 曹建农 , 薛柳 :
从离线到实时:医疗设备即插即用协作的混合系统模型检查和CPS协同设计方法。 IEEE传输。 并行分布式系统。 25 ( 三 ) : 642-652 ( 2014 ) [公元24年] 凤潭 , 刘连胜 , 史蒂芬温特 , 王琦欣(Qixin Wang) , 内拉杰·苏里 , 雷布 , 于鹏 , 薛柳 , 西元彭 :
WiP摘要:控制CPS中跨域噪声传播剖析框架。 ICCPS公司 2014 : 224 【c23】 谢定宝 , 雷布 , 李宣东 :
从有界验证导出线性混合自动机的无界证明。 RTSS系统 2014 : 128-137 2013 [j5] 崔占奇 , 王林章(Linzhang Wang) , 西刘 , 雷布 , 赵建华 , 李宣东 :
根据横切属性验证面向方面的模型。 国际期刊软件。 工程知识。 工程师。 23 ( 5 ) : 655-676 ( 2013 ) [公元22年] 凤潭 , 王玉菲 , 王琦欣(Qixin Wang) , 雷布 , 容正 , 内拉杰·苏里 :
保证在无线CPS中正确临时嵌入安全规则:一种混合形式化建模方法。 DSN(DSN) 2013 : 1-12 2012 【j4】 潘敏雪 , 尤莉(You Li) , 雷布 , 李宣东 :
线性混合自动机可达性分析的循环约简技术。 科学。 中国信息科学。 55 ( 12 ) : 2663-2674 ( 2012 ) [j3] 李宣东 , 潘敏雪 , 雷布 , 王林章(Linzhang Wang) , 赵建华 :
使用线性规划对基于场景的规范进行时序分析。 柔和。 测试。 验证可靠性。 22 ( 2 ) : 121-143 ( 2012 ) 【c21】 雷布 , 马丁·巴尼曼 , 萨布丽娜·莫克尔 , 托马斯·科特尔 , 奥尔法·卡农 :
多壁碳纳米管薄膜应变仪在金属表面的应用。 固态硬盘 2012 : 1-5 [公元20年] 杨扬 , 雷布 , 李宣东 :
向前和向后:从两个方向检查线性混合自动机的有界模型。 FMCAD公司 2012 : 204-208 [第19条] 陶莉 , 凤潭 , 王琦欣(Qixin Wang) , 雷布 , 曹建农 , 薛柳 :
从离线到实时:医疗设备即插即用(MDPnP)的混合系统模型检查和CPS协同设计方法。 ICCPS公司 2012 : 13-22 [c18] 雷布 , 谢定宝 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 李宣东 :
演示摘要:BACHOL-网络物理系统在线建模与验证。 ICCPS公司 2012 : 222 [c17] 张凤玲 , 雷布 , 王林章 , 赵建华 , 李宣东 :
海报摘要:使用概率时间自动机对WSN协议进行数值分析。 ICCPS公司 2012 : 237 [第16条] 崔占奇 , 王林章(Linzhang Wang) , 西刘 , 雷布 , 赵建华 , 李宣东 :
使用Petri网分析器针对横切属性验证面向方面的活动图。 瑞典克朗 2012 : 369-374 [第15条] 丁文旭 , Xin Chen(新晨) , 彭江 , 楠叶 , 雷布 , 李宣东 :
组件线性拟合函数驱动的面向路径的测试数据生成。 SERE(伴侣) 2012 : 37-38 [第14条] 楠叶 , Xin Chen(新晨) , 丁文旭 , 彭江 , 雷布 , 李宣东 :
基于模型自动修正的回归测试用例生成。 TASE公司 2012 : 127-134 2011 [注2] 雷布 , 王启新 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 张田 , 赵建华 , 李宣东 :
面向网络物理系统有时间限制的短期行为的在线混合系统模型检查。 SIGBED版本。 8 ( 2 ) : 7-10 ( 2011 ) [j1] 雷布 , 李宣东 :
组合线性混合系统的路径定向有界可达性分析。 国际期刊软件。 技术工具。 变压器。 13 ( 4 ) : 307-317 ( 2011 ) [第13条] 雷布 , 杨扬 , 李宣东 :
IIS-引导DFS用于线性混合自动机的有效有界可达性分析。 海法核查会议 2011 : 35-49 [c12] Xin Chen(新晨) , 楠叶 , 彭江 , 雷布 , 李宣东 :
基于UML活动图的反馈式测试用例生成。 SSIRI(同伴) 2011 : 9-10 [第11条] 陈华杰 , 张田 , 雷布 , 李宣东 :
Java程序动态分析工具。 SSIRI(同伴) 2011 : 60-67 [i1] 雷布 , Xin Chen(新晨) , 王林章 , 李宣东 :
基于通信的列车控制系统中控制参数计算的在线验证。 CoRR公司 abs/1101.4271 ( 2011 ) 2010 [第10条] 雷布 , 尤莉(You Li) , 王林章(Linzhang Wang) , Xin Chen(新晨) , 李宣东 :
BACH 2:组合线性混合系统的有界可达性检查器。 日期 2010 : 1512-1517 【c9】 雷布 , 亚历山德罗·西马蒂 , 李宣东 , 塞尔吉奥·莫弗 , 斯特凡诺·托内塔 :
使用浅同步的混合系统的模型检查。 FMOODS/FORTE公司 2010 : 155-169 【c8】 林丹 , 雷布 , 赵建华 , 王林章(Linzhang Wang) :
用时间自动机分析FTSP的鲁棒性。 网构 2010 : 21 【c7】 尤莉(You Li) , 陆洋 , 雷布 , 王林章(Linzhang Wang) , 赵建华 , 李宣东 :
扩展Ada以支持基于多核的监控和容错。 SIGAda公司 2010 : 53-62 【c6】 雷布 , 赵建华 , 李宣东 :
一类非线性混合自动机的凸规划路径可达性验证。 VMCAI公司 2010 : 78-94
2000 – 2009
2009 【c5】 潘敏雪 , 雷布 , 李宣东 :
TASS:基于场景的规范的时间分析器。 CAV汽车 2009 : 689-695 2008 【c4】 雷布 , 尤莉(You Li) , 王林章(Linzhang Wang) , 李宣东 :
BACH:线性混合自动机的有界可复性CHecker。 FMCAD公司 2008 : 1-4 2006 【c3】 李宣东 , 雷布 , 胡军 , 赵建华 , 张涛 , 郑国良 :
基于场景的时间Petri网时间一致性检查。 复地 2006 : 388-403 【c2】 李宣东 , 苏米特·贾·阿纳德 , 雷布 :
使用线性规划实现线性混合系统有界可达性分析的高效路径导向工具。 FLoC下的BMC 2006 : 57-70 2005 【c1】 李宣东 , 胡军 , 雷布 , 赵建华 , 郑国亮 :
基于场景的规范并发模型的一致性检查。 SDL论坛 2005 : 298-312