5 papers:
ASE-2014-EllisHKLLLMM #analysis #automation #requirements- Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
CGO-2014-NagarakatteMZ #named #pointer- WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking (SN, MMKM, SZ), p. 175.
DAC-2012-Lauwereins #physics- Biomedical electronics serving as physical environmental and emotional watchdogs (RL), pp. 1–5.
CIKM-2009-HuC #monitoring #online- RSS watchdog: an instant event monitor on real online news streams (CLH, CKC), pp. 2097–2098.
FME-2003-GoldsmithMRWZ #model checking- Watchdog Transformations for Property-Oriented Model-Checking (MG, NM, BR, TW, IZ), pp. 600–616.
