尤里·瓦因
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元42年] 坦维尔·艾哈迈德 , Dragos Truscan公司 , 朱里·瓦恩 :
使用注意力提高攻击识别效率的初步结果。 ICSTW公司 2023 : 159-164 2022 [公元11年] 吉须归 , 朱里·瓦恩 , 利奥尼达斯·齐奥普洛斯 , 格特·瓦尔德克 :
临时多视图合同有助于开发高效的测试模型。 巴尔特。 J.修订版。 计算。 10 ( 4 ) ( 2022 ) [公元41年] 吉舒吉尼 , 朱里·瓦恩 , 利奥尼达斯·齐奥普洛斯 , 格特·瓦尔德克 :
高效测试模型的时间多视图契约。 数据库和信息系统 2022 : 136-151 [c40] 加达·苏德赫巴布 , 坦维尔·艾哈迈德 , 菲利普·塞贝克 , Dragos Truscan公司 , 尤里·瓦因 , 伊凡·波雷斯 :
用于测试工业控制系统的两阶段变形方法。 ETFA公司 2022 : 1-4 [公元39年] 坦维尔·艾哈迈德 , Dragos Truscan公司 , 朱里·瓦恩 , 伊凡·波雷斯 :
使用深度学习早期检测网络攻击。 ICST研讨会 2022 : 30-39 [i3] 坦维尔·艾哈迈德 , Dragos Truscan公司 , 尤里·瓦恩 , 伊凡·波雷斯 :
使用深度学习早期检测网络攻击。 CoRR公司 abs/2201.11628 ( 2022 ) [i2] Gaadha Sudheerbabu公司 , 坦维尔·艾哈迈德 , 菲利普·塞贝克 , Dragos Truscan公司 , 朱里·瓦恩 , 伊凡·波雷斯 :
用于测试工业控制系统的两阶段变形方法。 CoRR公司 腹肌/2208.09261 ( 2022 ) 2021 [公元38年] 朱里·瓦恩 , 利奥尼达斯·齐奥普洛斯 , 格特·坎特 :
使用UPPAAL时间自动机进行面向方面的基于模型的测试。 媒体 2021 : 117-124 [电子2] 拉杰尔·贝拉特雷切 , 乔治·A·切尔尼舍夫 , 安东尼奥·科拉尔 , 萨米尔·欧沙尼 , 朱里·瓦恩 :
数字化时代的模型和数据工程进展——MEDI 2021国际研讨会:DETECT、SIAS、CSMML、BIOC、HEDA、爱沙尼亚塔林,2021年6月21日至23日,会议记录。 计算机与信息科学中的通信 1481, 施普林格 2021 ,国际标准图书编号 978-3-030-87656-2 【内容】 2020 [公元10年] 格特·坎特 , 朱里·瓦恩 :
使用TestIt对自主机器人进行基于模型的测试。 J.Reliab公司。 智力。 环境。 6 ( 1 ) : 15-30 ( 2020 ) [公元37年] 法蒂玛·肖克里·曼尼宁 , 利奥尼达斯·齐奥普洛斯 , 朱里·瓦恩 , 玛丽娜·瓦尔登 :
集成iUML-B和UPPAAL时间自动机以开发具有并发进程的实时系统。 ABZ公司 2020 : 186-202 [公元36年] 利奥尼达斯·齐奥普洛斯 , 阿拉尔·库西克 , 朱里·瓦恩 , Hayretdin Bahsi公司 :
基于模型的安全和患者依赖起搏器监测系统分析。 BODYNETS公司 2020 : 77-91 [公元35年] 朱乃德·伊克巴尔 , Dragos Truscan公司 , 朱里·瓦恩 :
相对化一致性测试的可执行活动图的时间语义。 MoDELS(伴侣) 2020 : 42:1-42:6 [公元34年] 法蒂玛·肖克里·曼尼宁 , 朱里·瓦恩 , 玛丽娜·瓦尔登 :
基于COLREG的海上自主导航系统的形式验证。 SEFM公司 2020 : 41-59
2010 – 2019
2019 [公元9年] 穆图库马尔·纳塔拉扬 , 塞沙赫里·斯里尼瓦桑 , 坎南·拉姆库马尔 , Deepak Pal公司 , 尤里·瓦恩 , 斯里尼·拉马斯瓦米 :
基于模型的工业物联网设计和验证方法。 未来一代。 计算。 系统。 95 : 354-363 ( 2019 ) [公元33年] 格特·坎特 , 朱里·瓦恩 :
TestIt:ROS的开放源代码可扩展长期自主测试工具包。 DESSERT公司 2019 : 45-50 [公元32年] 格特·坎特 , 尤里·瓦恩 , 塞沙赫里·斯里尼瓦桑 , 斯里尼·拉马斯瓦米 :
农业精确喂料的显著正确配置管理4.0。 SMC公司 2019 : 1631-1636 2018 [公元31年] Deepak Pal公司 , 朱里·瓦恩 :
基于模型的通信关键物联网系统测试框架。 数据库与信息系统(精选论文) 2018 : 79-94 [公元30年] Deepak Pal公司 , 朱里·瓦恩 :
基于模型的测试方法:使用在线监视器增强的分布式实时系统。 数据库和信息系统 2018 : 142-157 [公元29年] Faezeh Siavashi公司 , Dragos Truscan公司 , 尤里·瓦恩 :
基于模型变异测试的Web服务脆弱性评估。 QRS(QRS) 2018 : 301-312 2017 [公元28年] 朱乃德·伊克巴尔 , Dragos Truscan公司 , 朱里·瓦恩 , 伊凡·波雷斯 :
从中重建定时符号跟踪 rtioco公司 -基于后向诱导的定时测试序列。 欧洲商业银行 2017 : 6:1-6:10 [公元27年] Deepak Pal公司 , 朱里·瓦恩 , Seshadhri Srinivasan公司 , 斯里尼·拉马斯瓦米 :
柔性模块化自动化系统中基于模型的维护计划。 ETFA公司 2017 : 1-6 [公元26年] 朱里·瓦恩 , 利奥尼达斯·齐奥普洛斯 , 维亚切斯拉夫·S·哈尔琴科 , 阿普尼特·考尔 , 马克西姆·杰尼欣 , 贾恩·雷克 :
多片断马尔可夫模型指导MPSoC在线测试生成。 ICTERI公司 2017 : 594-607 2016 [j8] 塔尔莫·乌斯塔卢 , 朱里·瓦恩 :
客座编辑前言。 J.日志。 代数方法程序。 85 ( 6 ) : 1109 ( 2016 ) [j7] Sreram Balasubramaniyan公司 , 塞沙赫里·斯里尼瓦桑 , Furio Buonopane公司 , B.Subathra公司 , 尤里·瓦恩 , 斯里尼·拉马斯瓦米 :
使用TrueTime、进化优化和UPPAAL设计和验证网络物理系统。 微加工。 微系统 42 : 37-48 ( 2016 ) [公元25年] 朱里·瓦恩 , 伊夫林·哈林 , 格特·坎特 , 艾沃阿尼尔 , Deepak Pal公司 :
实时分布式系统的基于模型的测试。 数据库和信息系统 2016 : 272-286 [公元24年] 朱里·瓦恩 , 伊夫林·哈林 , 格特·坎特 , 艾沃·安尼尔 , Deepak Pal公司 :
测试分布式系统的本地测试仪的自动分发。 数据库与信息系统(精选论文) 2016 : 297-310 【c23】 朱里·瓦恩 , 利奥尼达斯·齐奥普洛斯 , 吉舒吉尼 :
使用Event-B和Uppaal Timed Automata开发多视图合同。 ICECCS公司 2016 : 126-134 [公元22年] 费泽·西瓦什 , Dragos Truscan公司 , 朱里·瓦恩 :
变异UPPAAL时间自动机以评估Web服务的健壮性。 ICSOFT-EA公司 2016 : 15-26 【c21】 费泽·西瓦什 , 朱乃德·伊克巴尔 , Dragos Truscan公司 , 朱里·瓦恩 :
使用基于模型的变体测试Web服务。 ICSOFT(论文集) 2016 : 45-67 [第2页] 朱里·瓦恩 , 列奥尼达斯·齐奥普洛斯 , 蓬图斯·博斯特罗姆 :
用于开发时间系统的基于改进的集成方法。 从行动系统到分布式系统 2016 : 171-185 2015 [j6] 塞沙赫里·斯里尼瓦桑 , Furio Buonopane公司 , 尤里·瓦恩 , 斯里尼·拉马斯瓦米 :
使用抖动界限对网络自动化系统中的响应时间进行模型检查。 计算。 印度。 74 : 186-200 ( 2015 ) [公元20年] Juhan P.Ernits公司 , 伊夫林·哈林 , 格特·坎特 , 朱里·瓦恩 :
ROS封装的基于模型的集成测试:一个移动机器人案例研究。 电子病历 2015 : 1-7 [i1] 塞沙赫里·斯里尼瓦桑 , Furio Buonopane公司 , 斯里尼·拉马斯瓦米 , 尤里·瓦恩 :
使用抖动界限验证网络化自动化系统中的响应时间。 CoRR公司 abs/1507.04300 ( 2015 ) 2014 [第19条] 朱里·瓦恩 , 艾沃·安尼尔 , 伊夫林·哈林 :
时间系统测试开发的正确性令人信服。 数据库和IS 2014 : 289-302 [第18条] 维亚切斯拉夫·S·哈尔琴科 , 奥列格·伊利亚申科 , 阿特姆·博亚祖克 , 克里斯·菲利浦 , 尤里·瓦恩 , 马德利·克里斯宾 :
基于FPGA的关键计算:TEMPUS和FP7项目问题。 EWME公司 2014 : 74-79 [第17条] Dragos Truscan公司 , 朱里·瓦恩 , 马丁·科斯基宁 :
将面向方面和UPPAAL时间自动机相结合。 ICSOFT PT公司 2014 : 159-164 [第16条] Dragos Truscan公司 , 朱里·瓦恩 , 马丁·科斯基宁 , 朱乃德·伊克巴尔 :
一种在UPPAAL时间自动机中引入方面的工具支持方法。 ICSOFT(论文选集) 2014 : 349-364 [第15条] 塞沙赫里·斯里尼瓦桑 , Furio Buonopane公司 , 斯里尼·拉马斯瓦米 , 尤里·瓦恩 :
使用抖动界限验证网络化自动化系统中的响应时间。 ISSRE研讨会 2014 : 47-50 2013 [第14条] 刘红艳 , 朱里·瓦恩 :
基于Agent的价格响应需求模拟建模。 冰岛(1) 2013 : 436-443 2012 [第13条] 库利·萨纳 , 朱里·瓦恩 :
在基于模型的测试中开发方面。 小马驹 2012 : 45-48 [第12条] 杰斯珀停泊 , 蓬图斯·博斯特罗姆 , 凯萨·塞雷 , 利奥尼达斯·齐奥普洛斯 , 朱里·瓦恩 :
基于改进的时间系统开发。 国际单项体育联合会 2012 : 69-83 2011 [第1页] 尤里·瓦恩 , 安德烈斯·库尔 , 马尔科·卡拉梅斯 , 梅利·马克瓦尔特 , Kullo Raiend公司 :
用测试目的导向测试仪对不确定性系统进行反应测试。 嵌入式系统的基于模型的测试 2011 2010 [j5] 塔尔莫·乌斯塔卢 , 朱里·瓦恩 :
特邀编辑前言。 J.日志。 代数方法课程。 79 ( 7 ) : 435 ( 2010 ) [第11条] 马尔科·卡拉梅斯 , 朱里·瓦恩 , Kullo Raiend公司 :
非确定性EFSM模型在线计划测试仪的合成。 TAIC零件 2010 : 147-154
2000 – 2009
2008 [第10条] 贾努斯·贾库比亚克 , 斯文·诺姆 , 尤里·瓦恩 , 宫崎富辅 :
基于多项式的外科医生运动分析和检测方法。 ICARCV公司 2008 : 611-616 【c9】 爱德华·佩特伦科夫 , 斯文·诺姆 , 尤里·瓦恩 , 宫崎富辅 :
应用自组织Kohonen图检测内窥镜手术期间的外科医生动作。 国际JCNN 2008 : 2806-2811 【c8】 塔内尔·塔米特 , 朱里·瓦恩 , 安德烈斯·普塞普 , Enar Reilent公司 , 阿拉尔·库西克 :
基于RFID的自组织机器人群通信。 萨索 2008 : 45-54 2007 【c7】 朱里·瓦恩 , Kullo Raiend公司 , 安德烈斯·库尔 , Juhan P.Ernits公司 :
非确定性系统的测试目的导向反应计划测试仪的合成。 ASE公司 2007 : 363-372 [电子1] 约翰·德里克 , 朱里·瓦恩 :
网络和分布式系统的形式化技术——FORTE 2007,第27届IFIP WG 6.1国际会议,爱沙尼亚塔林,2007年6月27日至29日,会议记录。 计算机科学课堂讲稿 4574, 施普林格 2007 ,国际标准图书编号 978-3-540-73195-5 [目录] 2006 【c6】 朱汉·佩普·厄尼茨 , 安德烈斯·库尔 , Kullo Raiend公司 , 尤里·瓦因 :
使用引导模型检查和迭代搜索优化从EFSM模型生成测试。 命运/RV 2006 : 85-99 【c5】 Juhan P.Ernits公司 , 安德烈斯·库尔 , Kullo Raiend公司 , 朱里·瓦恩 :
使用模型检查从反应式软件的EFSM模型生成TTCN-3测试用例。 GI Jahrestagung(2) 2006 : 241-248 2005 【j4】 宫和藤雄 , 肯·马斯穆尼 , 铃木佐藤 , 吉满北郎 , 尤里·瓦恩 :
擦洗护士机器人系统——擦洗护士的手术动作分析和基于时间自动机的手术模型。 IEEE传输。 Ind.Electron公司。 52 ( 5 ) : 1227-1235 ( 2005 ) 2003 [j3] Magne Haveraaen公司 , 朱里·瓦恩 :
特邀编辑前言。 Nord.J.计算。 10 ( 4 ) : 263-264 ( 2003 ) 2001 【c4】 艾纳·布罗赫·约翰森 , 奥拉夫·奥韦 , 埃伦·穆提-卡斯 , 朱里·瓦恩 :
面向对象设置中的增量容错设计。 亚太质量体系 2001 : 223-230
1990 – 1999
1996 [注2] 乔泽夫·胡曼 , 尤里·瓦因 :
实时系统设计的集成方法。 J.系统。 阿基特。 42 ( 6-7 ) : 489-502 ( 1996 ) 1995 【c3】 乔泽夫·胡曼 , 朱里·瓦恩 :
开发实时系统的集成技术。 实时战略 1995 : 236-243 1993 [j1] 雷诺·库尔基·索尼奥 , 卡里·西斯塔 , 朱里·瓦恩 :
使用联合动作进行实时规范和建模。 科学。 计算。 程序。 20 ( 1-2 ) : 113-140 ( 1993 ) 1992 【c2】 雷诺·库尔基·索尼奥 , 卡里·西斯塔 , 朱里·瓦恩 :
实时模型中的调度。 FTRTFT公司 1992 : 327-339 1991 【c1】 雷诺·库尔基·索尼奥 , 卡里·西斯塔 , 朱里·瓦恩 :
具有联合动作的实时规范和建模。 IWSSD系统 1991 : 84-91
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)