中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 20)

Filters    
Items/Page:    Sort:
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel [期刊论文]
Journal of Parallel and Distributed Computing, 2014-01-01, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)

 
assumption generation for asynchronous systems by abstraction refinement [会议论文]
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu

 
emerald: an automated modeling and verification tool for component-based real-time systems [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Zhang Yizhou; Lin Hao; Li Guoqiang

 
a probabilistic variant of projection temporal logic [会议论文]
Recent Advances in Computer Science and Information Engineering Volume 3, Changchun, China, June 17, 2011 - June 19, 2011
Yang Xiaoxiao

 
a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example [会议论文]
18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012
Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G.

 
a three-level verification approach on wireless communication controller system [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Fan Linlin; Liao Mingxue; He Xiaoxin

 
checking compatibility of context-aware service protocols [会议论文]
6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, Irvine, CA, United states, December 12, 2011 - December 14, 2011
Gao Chushu; Wei Jun

 
efficient loop-extended model checking of data structure methods [会议论文]
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Jeju Island, Korea, Republic of, FGIT 2011
Yi Qiuping; Liu Jian; Shen Wuwei

 
a method for detecting mismatch of time-aware web services based on smt [会议论文]
6th International Conference on Computer Science and Education, ICCSE 2011, Singapore, Singapore, August 3,
Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng

 
some improvements on model checking coreasm models of security protocols [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace