Bingtian Xue
I am working in the Distributed and Embedded Systems group, Department of Computer Science at Aalborg University in Aalborg, Denmark. I am currently working on the IDEAS4CPS project.
I'm a Postdoc Researcher under the joint supervision of Prof. Kim G. Larsen and Radu Mardare. I was a Ph.D. student under the supervision of Prof. Xinxin Liu, in the Institute of Software, Chinese Academy of Science (ISCAS). I got my Ph.D. degree in Computer Science from ISCAS in July, 2012.
Research Interests
- Modal Logics, Mu-Calculus, Temporal Logics
- Formal Specification and Verification
- Quantitative (weight, time) Systems
- Concurrency Theory
Publications
My list of publications can be seen below, at VBN, or at DBLP.
- Probabilistic Mu-Calculus: Decidability and Complete Axiomatization
- Kim G. Larsen, Radu Mardare, Bingtian Xue. The 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016.
- A Complete Approximation Theory for Weighted Transition Systems
- Mikkel Hansen, Kim G. Larsen, Radu Mardare, Mathias R. Pedersen, Bingtian Xue. Symposium on Dependable Software Engineering: Theories, Tools and Applications, 2016.
- Logical Characterization and Complexity of Weighted Branching Preorders and Distances
- Louise Foshammer, Kim G. Larsen, Radu Mardare, Bingtian Xue. The 7th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, 2016.
- On decidability of recursive weighted logics
- Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. Soft Computing, 2016.
- Alternation-Free Weighted Mu-Calculus: Decidability and Completeness
- Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. Mathematical Foundations of Programming Semantics, 2015.
- Concurrent Weighted Logic
- Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. Journal of Logical and Algebraic Methods, 2015.
- A Decidable Recursive Logic for Weighted Transition Systems
- Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. International Colloquium on Theoretical Aspects of Computing, 2014
- Decidability and Expressiveness of Recursive Weighted Logic
- Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. Perspectives of System Informatics - International Ershov Informatics Conference, 2014
- Adequacy and Complete Axiomatization for Timed Modal Logic
- Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue. Mathematical Foundations of Programming Semantics, 2014.
- Decomposition of Automata PDL and its Extension
- Xinxin Liu, Bingtian Xue. International Conference on Communication Systems, 2012
- Specification in PDL with Recursion
- Xinxin Liu, Bingtian Xue. NASA Formal Methods, 2012
- WNetKAT: A Weighted SDN Programming and Verification Language
- Kim G. Larsen, Stefan Schmid, Bingtian Xue. Under submission, .
- Meta-theory for Weighted Logics with Recursion
- Kim G. Larsen, Radu Mardare, Bingtian Xue. Under submission, .
- Meta-theory for Real-Timed Systems
- Kim G. Larsen, Radu Mardare, Bingtian Xue. Under submission, .
- Completeness of PDL through Algorithmic Proof Construction
- Xinxin Liu, Bingtian Xue. Under submission, .
Contact Information
Email: bingt cs.aau.dk
Postal address:
Department of Computer Science
Aalborg University
Selma Lagerlöfs Vej 300
DK-9220 Aalborg Ø
Denmark
Office: 1.2.59