Lei Song

According to our database1, Lei Song authored at least 17 papers between 2010 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018

2016
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

2015
Probabilistic Bisimulation for Realistic Schedulers.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Incremental Bisimulation Abstraction Refinement.
ACM Trans. Embedded Comput. Syst., 2014

Probably Safe or Live.
CoRR, 2014

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

2013
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

2012
The Branching Time Spectrum for Continuous-time MDPs
CoRR, 2012

Late Weak Bisimulation for Markov Automata
CoRR, 2012

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.
Proceedings of the Theoretical Computer Science, 2012

2011
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

2010
Probabilistic Mobility Models for Mobile and Wireless Networks.
Proceedings of the Theoretical Computer Science, 2010


  Loading...