6 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 4 cited
Reasoning About Bounds in Weighted Transition Systems
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare +1
We propose a way of reasoning about minimal and maximal values of the weights of transitions in a weighted transition system (WTS). This perspective induces a notion of bisimulatio…
cs.NI2016★ 6 cited
WNetKAT: A Weighted SDN Programming and Verification Language
Kim G. Larsen, Stefan Schmid, Bingtian Xue
Programmability and verifiability lie at the heart of the software-defined networking paradigm. While OpenFlow and its match-action concept provide primitive operations to manipula…