伊夫·邦坦普斯
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2011 【c9】 萨布里·斯基里 , 马克·德尔巴雷 , 伊夫·邦坦普斯 , Gregoire de Hemptinne公司 , Nam-Luc Tran公司 :
产业背景下重型模型的治理问题。 ER研讨会 2011 : 377-382
2000 – 2009
2008 [j7] 帕特里克·海曼斯 , 皮埃尔·伊夫·肖本斯 , Jean-Christophe三角 , 伊夫·邦坦普斯 , 雷蒙达斯·马图列维修斯 , 安德烈亚斯·克莱森 :
评估特征图语言的形式属性。 IET软件。 2 ( 三 ) : 281-302 ( 2008 ) 【c8】 塞斯·范·胡兰 , 伊夫·邦坦普斯 , 塞思考夫曼 :
回应更多责任的呼吁:将数据分析应用于博物馆元数据。 都柏林核心会议 2008 : 93-103 2007 [j6] 皮埃尔·伊夫·肖本斯 , 帕特里克·海曼斯 , Jean-Christophe三角 , 伊夫·邦坦普斯 :
特征图的通用语义。 计算。 网络 51 ( 2 ) : 456-479 ( 2007 ) [j5] 伊夫·邦坦普斯 , 皮埃尔·伊夫·肖本斯 :
基于场景的代理验证和设计的计算复杂性。 J.应用。 日志。 5 ( 2 ) : 252-276 ( 2007 ) 【j4】 伊夫·邦坦普斯 , 热尔曼·萨瓦尔 , 皮埃尔·伊夫·肖本斯 , 帕特里克·海曼斯 :
图的合成是序列图的一部分。 技术科学。 信息类 26 ( 7 ) : 797-817 ( 2007 ) 2006 【c7】 皮埃尔·伊夫·肖本斯 , 帕特里克·海曼斯 , Jean-Christophe三角 , 伊夫·邦坦普斯 :
特征图的比较语义。 EVOL公司 2006 : 181-186 2005 【b1】 伊夫·邦坦普斯 :
关联代理间和代理内规范(实时序列图的情况)。 比利时卢浮天主教大学, 2005 [j3] 伊夫·邦坦普斯 , 亚历山大·埃吉德 :
场景和状态机:模型、算法和工具:4个概要 第个 研讨会。 ACM SIGSOFT软件。 工程注释 30 ( 5 ) : 1-4 ( 2005 ) [注2] 伊夫·邦坦普斯 , 帕特里克·海曼斯 , 皮埃尔·伊夫·肖本斯 :
从实时序列图到状态机再到后台:一次有导游的旅行。 IEEE传输。 软件工程。 31 ( 12 ) : 999-1014 ( 2005 ) 【c6】 伊夫·邦坦普斯 , 帕特里克·海曼斯 , 皮埃尔·伊夫·肖本斯 , 让-克里斯托弗·特里戈 :
特征图变体的通用语义。 FIW公司 2005 : 58-77 【c5】 伊夫·邦坦普斯 , 皮埃尔·伊夫·肖本斯 :
实时序列图的复杂性。 FoSSaCS公司 2005 : 364-378 【c4】 伊夫·邦坦普斯 , 亚历山大·埃吉德 :
第四届场景和状态机国际研讨会:模型、算法和工具(SCESM'05)。 ICSE公司 2005 : 697 【c3】 希勒尔·库格勒 , 哈雷尔 , 阿米尔·普努利 , 袁璐 , 伊夫·邦坦普斯 :
基于场景的规范的时间逻辑。 TACAS公司 2005 : 445-460 2004 [j1] 伊夫·邦坦普斯 , 皮埃尔·伊夫·肖本斯 , 克里斯托夫·洛丁 :
根据基于场景的规范合成开放式反应系统。 芬丹。 信息学 62 ( 2 ) : 139-169 ( 2004 ) 2003 【c2】 伊夫·邦坦普斯 , 皮埃尔·伊夫·肖本斯 :
根据基于场景的规范合成开放式反应系统。 ACSD系统 2003 : 41-50 [c1] 伊夫·邦坦普斯 , 帕特里克·海曼斯 , 皮埃尔·伊夫·肖本斯 :
基于场景的软件工程的轻量级形式化方法。 场景:模型、转换和工具 2003 : 174-192
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)