Elaine R. Palmer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

3EESam 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
2EEDavid 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)
1EESean W. Smith, Elaine R. Palmer, Steve Weingart: Using a High-Performance, Programmable Secure Coprocessor. Financial Cryptography 1998: 73-89

Coauthor Index

1Matthew Kaplan [3]
2Paul A. Karger [2] [3]
3Suzanne McIntosh [2] [3]
4Amitkumar Paradkar [3]
5Sean W. Smith [1]
6David C. Toll [2] [3]
7Sam Weber [2] [3]
8Steve Weingart [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)