格雷戈伊尔·哈蒙
人员信息
优化列表
2010 – 2019
2013 [第11条] 西蒙·克鲁恩斯 , 格雷戈伊尔·哈蒙 , 山姆·奥威尔 , 纳塔拉詹·尚卡尔 :
工具与证据工具总线集成。 VMCAI公司 2013 : 275-294
2000 – 2009
2009 [第10条] 彼得·莫斯特曼 , 朱斯特娜·赞德 , 格雷戈伊尔·哈蒙 , 本·登克拉 :
面向基于时间的框图的计算混合系统语义。 ADHS公司 2009 : 376-385 2008 【c9】 Dariusz Biernacki先生 , Jean-Louis可乐 , 格雷戈伊尔·哈蒙 , 马克·普泽特 :
同步数据流语言的顺时针模块化代码生成。 LCTES公司 2008 : 121-130 2007 [j1] 格雷戈伊尔·哈蒙 , 约翰·拉什比 :
Stateflow的操作语义。 国际期刊软件。 技术工具。 Transf公司。 9 ( 5-6 ) : 447-456 ( 2007 ) 2006 【c8】 让-路易·科拉索 , 格雷戈伊尔·哈蒙 , 马克·普泽特 :
在同步数据流系统中混合信号和模式。 EMSOFT公司 2006 : 73-82 2005 【c7】 格雷戈伊尔·哈蒙 :
状态流的指称语义。 EMSOFT公司 2005 : 164-172 2004 【c6】 Jean-Louis可乐 , 阿兰·吉罗 , 格雷戈伊尔·哈蒙 , 马克·普泽特 :
迈向更高阶的同步数据流语言。 EMSOFT公司 2004 : 230-239 【c5】 格雷戈伊尔·哈蒙 , 约翰·拉什比 :
Stateflow的操作语义。 FASE公司 2004 : 229-243 【c4】 格雷戈伊尔·哈蒙 , 莱昂纳多·门登萨·德·莫拉 , 约翰·拉什比 :
使用模型检查器生成高效测试集。 SEFM公司 2004 : 261-270 【c3】 格雷戈伊尔·哈蒙 :
同步数据流模式匹配。 ETAPS时的SLAP 2004 : 37-54 2001 【c2】 西尔万·博尔梅 , 格雷戈伊尔·哈蒙 :
免费认证Synchrony。 LPAR公司 2001 : 495-506 2000 【c1】 格雷戈伊尔·哈蒙 , 马克·波泽 :
同步数据流程序的模块化重置。 PPDP(PPDP) 2000 : 289-300