25 citations · 27 across the 2 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
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…