ITU
Lei Song

Lei Song

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2015
  2. Published

    Probabilistic Bisimulation for Realistic Schedulers

    Eisentraut, C., Godskesen, J. C., Hermanns, H., Song, L. & Zhang, L., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Vol. 9109. p. 248-264 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. 2014
  4. Published

    Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    Song, L., Zhang, L. & Godskesen, J. C., 2014, In: Lecture Notes in Computer Science. 8318, p. 98-117

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  5. Incremental Bisimulation Abstraction Refinement

    Song, L., Hermanns, H. & Zhang, L., 2014, In: A C M Transactions on Embedded Computing Systems. 13, 4s

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. 2013
  7. Published

    Incremental Bisimulation Abstraction Refinement

    Godskesen, J. C., Song, L. & Zhang, L., 8 Jul 2013, In: Proceedings of the International Conference on Application of Concurrency to System Design. p. 11-20

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. Published

    Bisimulation Meet PCTL Equivalences for Probabilistic Automata (Journal Version)

    Song, L., Zhang, L. & Godskesen, J. C., 2013, In: Logical Methods in Computer Science. 9, 2, 34 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  9. 2012
  10. Published

    Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

    Song, L. & Godskesen, J. C., Sep 2012, Theoretical Computer Science: Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Springer, Vol. 4604. p. 342-356 15 p. (Lecture Notes in Computer Science, Vol. 4604).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  11. Published

    Probabilistic Models and Process Calculi for Mobile Ad Hoc Networks

    Song, L., 2012, IT-Universitetet i København. 251 p. (ITU-DS; No. 76).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  12. 2011
  13. Published

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata

    Song, L., Zhang, L. & Godskesen, J. C., 5 Sep 2011, CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory . Springer, p. 108-123 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  14. Published

    A Stochastic Broadcast Pi-Calculus

    Song, L., Nielson, F. & Nielsen, B. F., 6 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science. 57, p. 74-88 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  15. 2010
  16. Published

    Probabilistic Mobility Models for Mobile and Wireless Networks

    Song, L. & Godskesen, J. C., 2010, IFIP Advances in Information and Communication Technology . Springer, Vol. 2010. 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 973175