Bingtian Xue

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