Nina Saxena, Jacob A Abraham, Avijit Saha. A Divide and Conquer Strategy for Consistency and Troubleshooting in Specifications of large Designs. In the proceedings of 29th Fault Tolerant Computing Symposium.
Nina Saxena, Jason BaumGartner, Avijit Saha, Jacob A Abraham. To model check or not to model check. International Conference on Computer Design, 1998
Nina Saxena, Jacob A Abraham, Avijit Saha. Causality based Generation of Test cases. In the proceedings of 2000 Asia South Pacific Design Automation (ASPDAC)
Nina Saxena, Sudeep Sarkar, N Ranganathan. Mapping and Parallel Implementation of Bayesian Belief Networks. 8th IEEE Symposium on Parallel and Distributed Processing, 1996
Greg Czajkowski, Dave LaFollette, Nina Saxena, Eric Schneider, Paul Zehr. Validating Multi-X Architectures. 4th IEEE International Workshop on Microprocessor Test and Verification. May 2003
Nina Saxena. Mapping and Parallel Implementation of Bayesian Belief Networks. masters Thesis
Nina Saxena. Scalable Solutions to Specification and Verifications of large designs. Ph.D Thesis
return to web site