![]() | ![]() |
2002 | ||
---|---|---|
5 | EE | Howard F. Lipson, Nancy R. Mead, Andrew P. Moore: Can We Ever Build Survivable Systems from COTS Components? CAiSE 2002: 216-229 |
1998 | ||
4 | Myong H. Kang, Andrew P. Moore, Ira S. Moskowitz: Design and Assurance Strategy for the NRL Pump. IEEE Computer 31(4): 56-64 (1998) | |
1996 | ||
3 | Leslie Pack Kaelbling, Michael L. Littman, Andrew P. Moore: Reinforcement Learning: A Survey. J. Artif. Intell. Res. (JAIR) 4: 237-285 (1996) | |
1990 | ||
2 | EE | Andrew P. Moore: The Specification and Verified Decomposition of System Requirements Using CSP. IEEE Trans. Software Eng. 16(9): 932-948 (1990) |
1986 | ||
1 | John McHugh, Andrew P. Moore: A Security Policy and Formal Top Level Specification for a Multi-Level Secure Local Area Network. IEEE Symposium on Security and Privacy 1986: 34-39 |
1 | Leslie Pack Kaelbling | [3] |
2 | Myong H. Kang | [4] |
3 | Howard F. Lipson | [5] |
4 | Michael L. Littman | [3] |
5 | John McHugh | [1] |
6 | Nancy R. Mead | [5] |
7 | Ira S. Moskowitz | [4] |