中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [15]
作者
Content Type
会议论文 [12]
期刊论文 [3]
Issued Date
Language
英语 [15]
Source
informatio... [2]
logical me... [1]
proceeding... [1]
Project
Indexed
EI [14]
SCI [3]
CPCI [1]
Spnsorship
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 15)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
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)
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm
[会议论文]
25th International Conference on Concurrency Theory, CONCUR 2014, Rome, Italy, September 2, 2014 - September 5, 2014
Feng, Yuan (1)
;
Zhang, Lijun (3)
When equivalence and bisimulation join forces in probabilistic automata
[会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Feng, Yuan (1)
;
Zhang, Lijun (3)
IscasMc: A web-based probabilistic model checker
[会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1)
;
Li, Yi (2)
;
Schewe, Sven (3)
;
Turrini, Andrea (1)
;
Zhang, Lijun (1)
A tighter bound for the self-stabilization time in Herman's algorithm
[期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 13, 页码: 486-488
Feng, Yuan (1)
;
Zhang, Lijun (2)
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
Model repair for Markov decision processes
[会议论文]
2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013
Chen, Taolue (1)
;
Hahn, Ernst Moritz (1)
;
Han, Tingting (1)
;
Kwiatkowska, Marta (1)
;
Qu, Hongyang (2)
;
Zhang, Lijun (3)
CCMC: A conditional CSL model checker for continuous-time Markov chains
[会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1)
;
Hahn, Ernst Moritz (1)
;
Zhan, Naijun (1)
;
Zhang, Lijun (1)
LTL satisfiability checking revisited
[会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1)
;
Zhang, Lijun (2)
;
Pu, Geguang (1)
;
Vardi, Moshe Y. (3)
;
He, Jifeng (1)
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace