基本信息
浏览量:69
职业迁徙
个人简介
Conference Program Committees:
CAV'18 -30th International Conerence on Computer Aided Verification
CAV'16 - 28th International Conerence on Computer Aided Verification
VSTTE'14 -6th Working Conference on Verified Software: Theories, Tools, and Experiments
NFM'14 - NASA Formal Methods 2014
CAV'12 - 24th International Conference on Computer Aided Verification
FMCAD'11 - Formal Methods in Computer Aided Design 2011
HWVW'10 - 1st Hardware Verification Workshop 2010 (co-chair)
FMCAD'10 - Formal Methods in Computer Aided Design 2010
CAV'10 - 22nd International Conference on Computer Aided Verification
HVC'09 - 5th Haifa Verification Conference 2009
ICCD'09 - International Conference on Computer Design 2009
FMCAD'09 - Formal Methods in Computer Aided Design 2009
FMCAD'08 - Formal Methods in Computer Aided Design 2008
HVC'08 - Haifa Verification Conference 2008
BPR'08 - 1st International Workshop on Bit-Precise Reasoning
CAV'08 - 20th International Conference on Computer Aided Verification, 2008
HVC'07 - Haifa Verification Conference 2007 (Chair)
DATE'07 - Design Automation and Test in Europe 2007
HVC'06 - Haifa Verification Conference 2006 (Hardware Verification track co-chair)
The British Israeli Workshop on Semantics and its Applications 2005
CAV'18 -30th International Conerence on Computer Aided Verification
CAV'16 - 28th International Conerence on Computer Aided Verification
VSTTE'14 -6th Working Conference on Verified Software: Theories, Tools, and Experiments
NFM'14 - NASA Formal Methods 2014
CAV'12 - 24th International Conference on Computer Aided Verification
FMCAD'11 - Formal Methods in Computer Aided Design 2011
HWVW'10 - 1st Hardware Verification Workshop 2010 (co-chair)
FMCAD'10 - Formal Methods in Computer Aided Design 2010
CAV'10 - 22nd International Conference on Computer Aided Verification
HVC'09 - 5th Haifa Verification Conference 2009
ICCD'09 - International Conference on Computer Design 2009
FMCAD'09 - Formal Methods in Computer Aided Design 2009
FMCAD'08 - Formal Methods in Computer Aided Design 2008
HVC'08 - Haifa Verification Conference 2008
BPR'08 - 1st International Workshop on Bit-Precise Reasoning
CAV'08 - 20th International Conference on Computer Aided Verification, 2008
HVC'07 - Haifa Verification Conference 2007 (Chair)
DATE'07 - Design Automation and Test in Europe 2007
HVC'06 - Haifa Verification Conference 2006 (Hardware Verification track co-chair)
The British Israeli Workshop on Semantics and its Applications 2005
研究兴趣
论文共 32 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
mag(2011)
引用24浏览0引用
24
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn