T.A. Henzinger, S. Qadeer, S.K. Rajamani. Assume-Guarantee Refinement Between Different Time Scales. Submitted to the Conference on Computer-Aided Verification, 1999.

T.A. Henzinger, X. Liu, S. Qadeer, S.K. Rajamani. Formal Specification and Verification of a Dataflow Processor Array. Submitted to the Design Automation Conderence, 1999.

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