| 2009 | ||
|---|---|---|
| 2 | Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek: Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. SPIN 2009: 223-240 | |
| 2007 | ||
| 1 | Oliver Sharma, Mark Girolami, Joseph S. Sventek: Detecting worm variants using machine learning. CoNEXT 2007: 2 | |
| 1 | Dharini Balasubramaniam | [2] |
| 2 | Alan Dearle | [2] |
| 3 | Mark A. Girolami (Mark Girolami) | [1] |
| 4 | Jonathan Lewis | [2] |
| 5 | Alice Miller | [2] |
| 6 | Ronald Morrison | [2] |
| 7 | Joseph S. Sventek (Joe Sventek) | [1] [2] |