Publications

Accepted Papers

J. Lach, S. Bingham, T. Lenhart, T. Nguyen, P. Salaun, “RAFFIA – Reliable ASIC/FPGA-based Solutions For I&C Applications,” American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human Machine Interface Technology, accepted for publication, 2006
S. Bingham, J. Knight, J. Lach, E. Strunk, “Verification & Validation: What Can We Learn From Software Engineers?” International Conference on Military and Aerospace Applications of Programmable Devices and Technologies, accepted for publication, 2006
J. Lach, S. Bingham, C. Elks, T. Lenhart, T. Nguyen, P. Salaun, “Accessible Formal Verification for Safety-Critical Hardware Design,” Annual Reliability and Maintainability Symposium, accepted for publication, 2006
J. Lach, S. Bingham, C. Elks, T. Lenhart, T. Nguyen, P. Salaun, “Accessible Formal Verification for Safety-Critical Hardware Design,” International Conference on Dependable Systems and Networks, 54-55, 2005