Följ
Bingtian Xue
Bingtian Xue
Distributed and Embedded Systems Unit, Department of Computer Science, Aalborg University
Verifierad e-postadress på cs.aau.dk - Startsida
Titel
Citeras av
Citeras av
År
WNetKAT: A weighted SDN programming and verification language
KG Larsen, S Schmid, B Xue
arXiv preprint arXiv:1608.08483, 2016
132016
Probabilistic mu-calculus: decidability and complete axiomatization
KG Larsen, R Mardare, B Xue
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
122016
Alternation-free weighted mu-calculus: Decidability and completeness
KG Larsen, R Mardare, B Xue
Electronic Notes in Theoretical Computer Science 319, 289-313, 2015
102015
Adequacy and complete axiomatization for timed modal logic
S Jaziri, KG Larsen, R Mardare, B Xue
Electronic Notes in Theoretical Computer Science 308, 183-210, 2014
82014
On decidability of recursive weighted logics
KG Larsen, R Mardare, B Xue
Soft Computing 22 (4), 1085-1102, 2018
62018
Decidability and expressiveness of recursive weighted logic
KG Larsen, R Mardare, B Xue
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
62014
Decidability and expressiveness of recursive weighted logic
KG Larsen, R Mardare, B Xue
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
62014
A complete approximation theory for weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen, B Xue
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
52016
Concurrent weighted logic
KG Larsen, R Mardare, B Xue
Journal of Logical and Algebraic Methods in Programming 84 (6), 884-897, 2015
52015
Concurrent weighted logic
KG Larsen, R Mardare, B Xue
Journal of Logical and Algebraic Methods in Programming 84 (6), 884-897, 2015
52015
A decidable recursive logic for weighted transition systems
KG Larsen, R Mardare, B Xue
International Colloquium on Theoretical Aspects of Computing, 460-476, 2014
42014
A decidable recursive logic for weighted transition systems
KG Larsen, R Mardare, B Xue
International Colloquium on Theoretical Aspects of Computing, 460-476, 2014
42014
WNetKAT: Programming and Verifying Weighted Software-Defined Networks
KG Larsen, S Schmid, B Xue
22016
Specification in PDL with Recursion
X Liu, B Xue
NASA Formal Methods Symposium, 181-194, 2012
12012
Verification Language
KG Larsen, S Schmid, B Xue
Weighted Branching Preorders and Distances: Logical Characterization and Complexity
L Foshammer, KG Larsen, R Mardare, B Xue
Adequacy and Complete Axiomatization for Timed Modal Logic
B Xue
Decomposition of Automata PDL and its Extension
X Liu, B Xue
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18