Author:
Grigore Radu,Kiefer Stefan
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference23 articles.
1. QVM: an efficient runtime for detecting defects in deployed systems;Arnold;ACM Trans. Softw. Eng. Methodol.,2011
2. Adaptive runtime verification;Bartocci,2013
3. Runtime verification with state estimation;Stoller,2012
4. Runtime verification with particle filtering;Kalajdzic,2013
5. Diagnosability of discrete-event systems;Sampath;IEEE Trans. Autom. Control,1995