25 citations · 27 across the 2 of their papers we have counts for
3 papers
cs.FL2020
Four-valued monitorability of -regular languages
Zhe Chen, Yunyun Chen, Robert M. Hierons +1
Runtime Verification (RV) is a lightweight formal technique in which program or system execution is monitored and analyzed, to check whether certain properties are satisfied or vio…
cs.FL2013★ 2 cited
On the Generative Power of Omega-Grammars and Omega-Automata
Zhe Chen
An ω-grammar is a formal grammar used to generate ω-words (i.e. infinite length words), while an ω-automaton is an automaton used to recognize ω-words. This paper gives clean and u…
cs.NI2013★ 25 cited
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
Zhe Chen, Daqiang Zhang, Rongbo Zhu +3
This paper surveys how formal verification can be used to prove the correctness of ad hoc routing protocols, which are fundamental infrastructure of wireless sensor networks. The e…