弗雷迪·Y.C.芒
人员信息
优化列表
2010 – 2019
2019 [第14条] Chak-Wa Pui公司 , 吴刚 , 弗雷迪·Y·C·芒 , 伊万杰琳·F·Y·杨 :
基于多FPGA的系统中时分复用优化的一种分析方法。 滑倒 2019 : 1-8
2000 – 2009
2007 [第13条] 弗雷迪·Y.C.芒 , 侯文亭 , 裴勇浩 :
有效分布式物理合成技术。 数模转换器 2007 : 859-864 2006 [j1] 弗雷迪·Y.C.芒 , 裴勇浩 :
自动抽象精化的可控性与协同性分析。 发现的国际期刊。 计算。 科学。 17 ( 4 ) : 763-774 ( 2006 ) 2004 [第12条] 弗雷迪·Y.C.芒 , 裴勇浩 :
通过可控性和协同性分析进行抽象细化。 数模转换器 2004 : 224-229 2002 [第11条] 阿林达姆·查克拉巴蒂 , 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 :
同步和双向组件接口。 CAV汽车 2002 : 414-427 [第10条] 阿林达姆·查克拉巴蒂 , 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 马金·尤金斯基(Marcin Jurdzinski) , 弗雷迪·Y.C.芒 :
软件模块的接口兼容性检查。 CAV汽车 2002 : 428-441 【c9】 托马斯·汉津格 , 斯里拉姆·克里希南 , 奥尔娜·库普夫曼 , 弗雷迪·Y.C.芒 :
未初始化系统的合成。 ICALP公司 2002 : 644-656 2001 【c8】 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 :
同步系统的控制,第二部分。 CONCUR公司 2001 : 566-582 [c7] 拉杰夫·阿鲁尔 , 卢卡·德·阿尔法罗 , 拉杜·格罗苏 , 托马斯·汉津格 , M.Kang先生 , 克里斯托夫·基尔希 , 鲁帕克·马朱姆达尔 , 弗雷迪·Y.C.芒 , 王朝霞(Bow-Yaw Wang) :
JMOCHA:一个利用设计结构的模型检查工具。 ICSE公司 2001 : 835-836 【c6】 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 :
MCWEB:一个用于网站调试的模型检查工具。 WWW海报 2001 2000 【c5】 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 :
在到达错误之前检测错误。 CAV汽车 2000 : 186-201 【c4】 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 :
同步系统的控制。 CONCUR公司 2000 : 458-473 [c3] 托马斯·汉津格 , 鲁帕克·马朱姆达尔 , 弗雷迪·Y.C.芒 , Jean-François Raskin女士 :
游戏属性的抽象解释。 SAS公司 2000 : 220-239
1990 – 1999
1999 【c2】 拉杰夫·阿鲁尔 , 卢卡·德·阿尔法罗 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 :
自动化模块验证。 CONCUR公司 1999 : 82-97 1998 【c1】 拉杰夫·阿鲁尔 , 托马斯·汉津格 , 弗雷迪·Y.C.芒 , 沙兹·卡迪尔 , 斯里拉姆·拉贾马尼 , 塞尔达尔·塔西兰 :
MOCHA:模型检查中的模块化。 CAV汽车 1998 : 521-525