11 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
Zhendong Ang, Umang Mathur
In this paper, we focus on the problem of dynamically analysing concurrent software against high-level temporal specifications. Existing techniques for runtime monitoring against s…