| 2008 | ||
|---|---|---|
| j2 | Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-Foss: Formal Verification and Visualization of Security Policies. JCP 3(6): 22-31 (2008) | |
| 2007 | ||
| c3 | Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman: Implementation-Oriented Secure Architectures. HICSS 2007: 278 | |
| 2006 | ||
| j1 | 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 | ||
| c2 | Daniel Conte de Leon, Jim Alves-Foss: Experiments on Processing and Linking Semantically Augmented Requirement Specifications. HICSS 2004 | |
| 2002 | ||
| c1 | 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 | |
| 2 | Paul W. Oman | |
| 3 | Luay A. Wahsheh (Lu'ay A. Wahsheh) |
Data released under the ODC-BY 1.0 license — See also our legal information page