Bingtian Xue

According to our database, Bingtian Xue authored at least 11 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

On decidability of recursive weighted logics.

Kim G. Larsen, Radu Mardare, Bingtian Xue

Soft Comput., 2018

2017

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

CoRR, 2017

2016

A Complete Approximation Theory for Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

WNetKAT: A Weighted SDN Programming and Verification Language.

Kim G. Larsen, Stefan Schmid, Bingtian Xue

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.

Kim G. Larsen, Radu Mardare, Bingtian Xue

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

2015

Concurrent weighted logic.

Kim G. Larsen, Radu Mardare, Bingtian Xue

J. Log. Algebraic Methods Program., 2015

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.

Kim G. Larsen, Radu Mardare, Bingtian Xue

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2014

Adequacy and Complete Axiomatization for Timed Modal Logic.

Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

A Decidable Recursive Logic for Weighted Transition Systems.

Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Decidability and Expressiveness of Recursive Weighted Logic.

Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue

Proceedings of the Perspectives of System Informatics, 2014

2012

Specification in PDL with Recursion.

Xinxin Liu, Bingtian Xue

Proceedings of the NASA Formal Methods, 2012