Selected Publications:
under construction......


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.
(full version)

Nina Saxena, Jason BaumGartner, Avijit Saha, Jacob A Abraham. To model check or not to model check. International Conference on Computer Design, 1998
(full version)

Nina Saxena, Jacob A Abraham, Avijit Saha. Causality based Generation of Test cases. In the proceedings of 2000 Asia South Pacific Design Automation (ASPDAC)
(full version)

Nina Saxena, Sudeep Sarkar, N Ranganathan. Mapping and Parallel Implementation of Bayesian Belief Networks. 8th IEEE Symposium on Parallel and Distributed Processing, 1996
(full version)

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