According to our database1, Lei Song authored at least 13 papers between 2010 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Compositional Bisimulation Minimization for Interval Markov Decision Processes.
Proceedings of the Language and Automata Theory and Applications, 2016
Probabilistic Bisimulation for Realistic Schedulers.
Proceedings of the FM 2015: Formal Methods, 2015
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Probably safe or live.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Logical Methods in Computer Science, 2013
Revisiting Weak Simulation for Substochastic Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Incremental Bisimulation Abstraction Refinement.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.
Proceedings of the Theoretical Computer Science, 2012
A Stochastic Broadcast Pi-Calculus
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
Bisimulations Meet PCTL Equivalences for Probabilistic Automata.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Probabilistic Mobility Models for Mobile and Wireless Networks.
Proceedings of the Theoretical Computer Science, 2010