乔里·杜布罗文
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 [j3] 香甘 , 乔里·杜布罗文 , 凯霍·赫尔扬科 :
一种验证卫星机载软件的符号模型检查方法。 科学。 计算。 程序。 82 : 44-55 ( 2014 ) 2012 [注2] 乔里·杜布罗文 , 汤米·A·琼蒂拉 , 凯霍·赫尔扬科 :
利用步骤语义对异步系统进行有效的有界模型检查。 科学。 计算。 程序。 77 ( 10-11 ) : 1095-1121 ( 2012 ) 2011 【b1】 乔里·杜布罗文 :
并发系统的高效符号模型检查。 芬兰赫尔辛基阿尔托大学, 2011 [j1] 香甘 , 乔里·杜布罗文 , 凯霍·赫尔扬科 :
验证星载软件的符号模型检查方法。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 46 ( 2011 ) 2010 【c5】 乔里·杜布罗文 :
通过符号事件跟踪检查异步系统中的有界可达性。 VMCAI公司 2010 : 146-162
2000 – 2009
2009 【c4】 亚历山德罗·西马蒂 , 乔里·杜布罗文 , 汤米·A·琼蒂拉 , 马可·罗维里 :
谓词抽象的结构感知计算。 FMCAD公司 2009 : 9-16 2008 【c3】 乔里·杜布罗文 , 汤米·A·琼蒂拉 :
分层UML状态机的符号模型检查。 ACSD系统 2008 : 108-117 【c2】 乔里·杜布罗文 , 汤米·A·琼蒂拉 , 凯霍·赫尔扬科 :
基于对象的通信状态机的符号步骤编码。 FMOODS公司 2008 : 96-112 【c1】 汤米·A·琼蒂拉 , 乔里·杜布罗文 :
基于可满足模理论的有界模型检验中的编码队列。 LPAR公司 2008 : 290-304
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)