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.