| 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 |
