| |
| 2008 | ||
|---|---|---|
| 5 | EE | Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-Foss: Formal Verification and Visualization of Security Policies. JCP 3(6): 22-31 (2008) |
| 2007 | ||
| 4 | EE | Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman: Implementation-Oriented Secure Architectures. HICSS 2007: 278 |
| 2006 | ||
| 3 | EE | Daniel Conte de Leon, Jim Alves-Foss: Hidden Implementation Dependencies in High Assurance and Critical Computing Systems. IEEE Trans. Software Eng. 32(10): 790-811 (2006) |
| 2004 | ||
| 2 | EE | Daniel Conte de Leon, Jim Alves-Foss: Experiments on Processing and Linking Semantically Augmented Requirement Specifications. HICSS 2004 |
| 2002 | ||
| 1 | EE | Jim Alves-Foss, Daniel Conte de Leon, Paul W. Oman: Experiments in the Use of XML to Enhance Traceability between Object-Oriented Design Specifications and Source Code. HICSS 2002: 276 |
| 1 | Jim Alves-Foss | [1] [2] [3] [4] [5] |
| 2 | Paul W. Oman | [1] [4] |
| 3 | Luay A. Wahsheh (Lu'ay A. Wahsheh) | [5] |