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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
Probably safe or live [会议论文]
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)

 
Bisimulations and logical characterizations on continuous-time markov decision processes [会议论文]
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)

 
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA [期刊论文]
LOGICAL METHODS IN COMPUTER SCIENCE, 2013-01-01, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming

 
Revisiting weak simulation for substochastic Markov chains [会议论文]
10th International Conference on Quantitative Evaluation of Systems, QEST 2013, Buenos Aires, Argentina, August 27, 2013 - August 30, 2013
Jansen, David N. (1); Song, Lei (2); Zhang, Lijun (3)

 
Incremental bisimulation abstraction refinement [会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)

 
context-aware service ranking in wireless sensor networks [期刊论文]
Journal of Network and Systems Management, 2013-01-01, 页码: 1-25
Niu Wenjia; Lei Jun; Tong Endong; Li Gang; Chang Liang; Shi Zhongzhi; Ci Song

 
multi-link cooperative data forwarding protocol based on fine-grain gradient strategy [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 11, 页码: 3045-3059
Zhu Hong-Song; Zhao Lei; Xu Yong-Jun; Li Xiao-Wei; Sun Li-Min

 

1

 

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