2008 |
3 | EE | Sam Weber,
Amitkumar Paradkar,
Suzanne McIntosh,
David C. Toll,
Paul A. Karger,
Matthew Kaplan,
Elaine R. Palmer:
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.
ISSRE 2008: 229-238 |
2 | EE | David C. Toll,
Paul A. Karger,
Elaine R. Palmer,
Suzanne McIntosh,
Sam Weber:
The Caernarvon secure embedded operating system.
Operating Systems Review 42(1): 32-39 (2008) |
2007 |
1 | EE | Xiaolan Zhang,
Suzanne McIntosh,
Pankaj Rohatgi,
John Linwood Griffin:
XenSocket: A High-Throughput Interdomain Transport for Virtual Machines.
Middleware 2007: 184-203 |