Bingtian Xue

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 6

Top Topics

Scripting Language

Transition Systems

Top Venues

Ershov Memorial Conference

Publications

Kim G. Larsen, Radu Mardare, Bingtian Xue
On decidability of recursive weighted logics. Soft Comput. 22 (4) (2018)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Reasoning About Bounds in Weighted Transition Systems. CoRR (2017)
Bingtian Xue, Stefan Schmid, Kim G. Larsen
WNetKAT: A Weighted SDN Programming and Verification Language. CoRR (2016)
Kim G. Larsen, Stefan Schmid, Bingtian Xue
WNetKAT: A Weighted SDN Programming and Verification Language. OPODIS (2016)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
A Complete Approximation Theory for Weighted Transition Systems. SETTA (2016)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. FSTTCS (2016)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. MFPS (2015)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Concurrent weighted logic. J. Log. Algebraic Methods Program. 84 (6) (2015)
Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
Adequacy and Complete Axiomatization for Timed Modal Logic. MFPS (2014)
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
Decidability and Expressiveness of Recursive Weighted Logic. Ershov Memorial Conference (2014)
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
A Decidable Recursive Logic for Weighted Transition Systems. ICTAC (2014)
Xinxin Liu, Bingtian Xue
Specification in PDL with Recursion. NASA Formal Methods (2012)