Tie-Cheng Wang

According to our database, Tie-Cheng Wang authored at least 15 papers between 1985 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

1995

A Typed Resolution Principle for Deduction with Conditional Typing Theory.

Tie-Cheng Wang

Artif. Intell., 1995

1994

Applications of Feasible Path Analysis to Program Testing.

Allen Goldberg, Tie-Cheng Wang, David Zimmerman

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

KITP-93: An Automated Inference System for Program Analysis.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.

Tie-Cheng Wang

J. ACM, 1993

1992

RVF: An Automated Formal Verification System.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Automated Deduction, 1992

1991

A mechanical verifier for supporting the design of reliable reactive systems.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

1989

Solving Open Problems in Right Alternative Rings with Z-Module Reasoning.

Tie-Cheng Wang, Rick Stevens

J. Autom. Reason., 1989

Toward reliable reactive systems.

Limei Gilham, Allen Goldberg, Tie-Cheng Wang

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1988

Elements of Z-Module Reasoning.

Tie-Cheng Wang

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Hierarchical Deduction.

Tie-Cheng Wang, W. W. Bledsoe

J. Autom. Reason., 1987

Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory.

Tie-Cheng Wang

J. Autom. Reason., 1987

1986

SHD-Prover at University of Texas at Austin.

Tie-Cheng Wang

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

ECR: An Equality Conditional Resolution Proof Procedure.

Tie-Cheng Wang

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Designing Examples for Semantically Guided Hierarchical Deduction.

Tie-Cheng Wang

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985