Folgen
Lei Song
Titel
Zitiert von
Zitiert von
Jahr
Probabilistic mobility models for mobile and wireless networks
L Song, JC Godskesen
IFIP International Conference on Theoretical Computer Science, 86-100, 2010
352010
Bisimulations meet PCTL equivalences for probabilistic automata
F Nielson, JC Godskesen, L Zhang, L Song
Logical Methods in Computer Science 9, 2013
252013
A simple probabilistic extension of modal mu-calculus
W Liu, L Song, J Wang, L Zhang
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
202015
A simple probabilistic extension of modal mu-calculus
W Liu, L Song, J Wang, L Zhang
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
202015
Late weak bisimulation for Markov automata
L Song, L Zhang, JC Godskesen, H Hermanns, C Eisentraut
CoRR, abs/1202.4116, 2012
132012
Probably safe or live
JP Katoen, L Song, L Zhang
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
102014
Broadcast abstraction in a stochastic calculus for mobile networks
L Song, JC Godskesen
IFIP International Conference on Theoretical Computer Science, 342-356, 2012
92012
Bisimulations and logical characterizations on continuous-time Markov decision processes
L Song, L Zhang, JC Godskesen
International Conference on Verification, Model Checking, and Abstract …, 2014
82014
Probabilistic bisimulation for realistic schedulers
C Eisentraut, JC Godskesen, H Hermanns, L Song, L Zhang
International Symposium on Formal Methods, 248-264, 2015
72015
Probabilistic models and process calculi for mobile ad hoc networks
L Song
IT University of Copenhagen, Programming, Logic and Semantics, 2012
62012
Incremental bisimulation abstraction refinement
L Song, L Zhang, H Hermanns, JC Godskesen
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-23, 2014
52014
Revisiting weak simulation for substochastic Markov chains
DN Jansen, L Song, L Zhang
International Conference on Quantitative Evaluation of Systems, 209-224, 2013
42013
Decentralized bisimulation for multiagent systems
L Song, Y Feng, L Zhang
Proceedings of the International Joint Conference on Autonomous Agents and …, 2015
32015
Late weak bisimulation for Markov automata
C Eisentraut, JC Godskesen, H Hermanns, L Song, L Zhang
arXiv preprint arXiv:1202.4116, 2012
32012
The branching time spectrum for continuous-time mdps
L Song, L Zhang, JC Godskesen
CoRR, abs/1204.1848, 2012
12012
A Stochastic Broadcast Pi-Calculus
L Song, F Nielson, BF Nielsen
arXiv preprint arXiv:1107.1202, 2011
12011
A Probabilistic Calculus for Mobile and Ad Hoc Networks
L Song, JC Godskesen
NWPT 2009, 2009
2009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17