Bingtian Xue

  1. 2017
  2. Published

    WNetKAT: A Weighted SDN Programming and Verification Language. / Larsen, Kim Guldstrand; Schmid, Stefan; Xue, Bingtian.

    20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2017.

    Research output: Research - peer-reviewArticle in proceeding

  3. 2016
  4. Published

    A Complete Approximation Theory for Weighted Transition Systems. / Hansen, Mikkel; Larsen, Kim Guldstrand; Mardare, Radu Iulian; Pedersen, Mathias Ruggaard; Xue, Bingtian.

    Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. ed. / Martin Fränzle; Deepak Kapur; Naijun Zhan. Springer, 2016. p. 213-228.

    Research output: Research - peer-reviewArticle in proceeding

  5. Published

    Probabilistic Mu-Calculus : Decidability and Complete Axiomatization. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Xue, Bingtian.

    36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. p. 25:1-25:18.

    Research output: Research - peer-reviewArticle in proceeding

  6. 2015
  7. Published
  8. Published

    Concurrent weighted logic. / Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 84, No. 6, 2015, p. 884–897.

    Research output: Research - peer-reviewJournal article

  9. Published

    Decidability and Expressiveness of Recursive Weighted Logic. / Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. ed. / Andrei Voronkov; Irina Virbitskaite. Springer, 2015. p. 216-231.

    Research output: Research - peer-reviewArticle in proceeding

  10. 2014
  11. Published

    A Decidable Recursive Logic for Weighted Transition Systems. / Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. ed. / Gabriel Ciobanu; Dominique Méry. Vol. 8687 Springer Publishing Company, 2014. p. 460-476.

    Research output: Research - peer-reviewArticle in proceeding

  12. Published

    A decidable recursive logic forweighted transition systems. / Larsen, Kim Guldstrand; Mardare, Radu; Xue, Bingtian.

    Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Vol. 8687 Springer, 2014. p. 460-476.

    Research output: Research - peer-reviewArticle in proceeding

  13. Published

    Adequacy and Complete Axiomatization for Timed Modal Logic. / Jaziri, Samy; Larsen, Kim Guldstrand; Mardare, Radu Iulian; Xue, Bingtian.

    Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). ed. / Bart Jacobs; Alexandra Silva; Sam Staton. Vol. 308 Ithaca, New York : Elsevier Science, 2014. p. 183-210.

    Research output: Research - peer-reviewArticle in proceeding