Formal Verification

• T.A. Henzinger, S. Qadeer, S.K. Rajamani. Verifying Sequential Consistency on Shared-memory Multiprocessor Systems. Proceedings of the 11th International Conference on Computer-Aided Verification, 1999. Postscript.
• T.A. Henzinger, S. Qadeer, S.K. Rajamani. Assume-Guarantee Refinement between Different Time Scales. Proceedings of the 11th International Conference on Computer-Aided Verification, 1999. Postscript.
• T.A. Henzinger, S. Qadeer, S.K. Rajamani, S. Tasiran. An Assume-Guarantee Rule for Checking Simulation. Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design, 1998. Postscript.
• T. A. Henzinger, O. Kupferman, S. Qadeer. From Pre-historic to Post-modern Symbolic Model Checking. Proceedings of the 10th International Conference on Computer-Aided Verification, 1998. Postscript.
• T. A. Henzinger, S. Qadeer, S. K. Rajamani You Assume, We Guarantee: Methodology and Case Studies. Proceedings of the 10th International Conference on Computer-Aided Verification, 1998. Postscript.
• R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, S. Tasiran. MOCHA: Modularity in Model Checking. Proceedings of the 10th International Conference on Computer-Aided Verification, 1998. Postscript.
• S. Qadeer, N. Shankar. Verifying a Self-Stabilizing Mutual Exclusion Algorithm. Proceedings of the IFIP Working Conference on Programming Concepts and Methods, 1998. Postscript.
• R. Alur, R. K. Brayton, T. A. Henzinger, S. Qadeer, S. Rajamani. Partial Order Reduction in Symbolic State Space Exploration. Proceedings of the 9th International Conference on Computer-Aided Verification, 1997. Postscript.
• J.-Y. Jang, S. Qadeer, C. Pixley, M. Kaufmann. Formal Verification of FIRE: A Case Study. Proceedings of the 34th Design Automation Conference, 1997. Postscript.
• R. K. Brayton et al. VIS: A System for Verification and Synthesis. Proceedings of the 8th International Conference on Computer-Aided Verification, 1996. Postscript.
• R. K. Brayton et al. VIS. Proceedings of the 1st International Conference on Formal Methods in Computer-Aided Design, 1996. Postscript.

Logic Synthesis

• A. Mehrotra, S. Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli. Sequential Optimisation without State Space Exploration. Proceedings of the International Conference on Computer-Aided Design, 1997. Postscript.
• S. Qadeer, V. Singhal, C. Pixley, R. K. Brayton. Latch Redundancy Removal without Global Reset. Proceedings of the International Conference on Computer Design, 1996. Postscript.

Miscellaneous

• A. Mehrotra, S. Qadeer, R. K. Ranjan, R. Katz. Benchmarking and Analysis of Architectures for CAD Applications. Proceedings of the International Conference on Computer Design, 1997. Postscript.. Outstanding Paper Award.