Ramin Hojati

According to our database, Ramin Hojati authored at least 15 papers between 1990 and 2000.

Collaborative distances:

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

2000

Environment modeling and language universality.

Richard Raimi, Ramin Hojati, Kedar S. Namjoshi

ACM Trans. Design Autom. Electr. Syst., 2000

1998

Structural Symmetry and Model Checking.

Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.

Adrian J. Isles, Ramin Hojati, Robert K. Brayton

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

Early Quantification and Partitioned Transition Relations.

Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Verification Using Uninterpreted Functions and Finite Instantiations.

Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

An Environment for Formal Verification Based on Symbolic Computations.

Ramin Hojati, Robert K. Brayton

Formal Methods Syst. Des., 1995

Language containment of non-deterministic <i>omega</i>-automata.

Serdar Tasiran, Ramin Hojati, Robert K. Brayton

Proceedings of the Correct Hardware Design and Verification Methods, 1995

Automatic Datapath Abstraction In Hardware Systems.

Ramin Hojati, Robert K. Brayton

Proceedings of the Computer Aided Verification, 1995

1994

Heuristic Minimization of BDDs Using Don't Cares.

Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Proceedings of the 31st Conference on Design Automation, 1994

HSIS: A BDD-Based Environment for Formal Verification.

Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 31st Conference on Design Automation, 1994

Improving Language Containment Using Fairness Graphs.

Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

A Unified Approach to Language Containment and Fair CTL Model Checking.

Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan

Proceedings of the 30th Design Automation Conference. Dallas, 1993

BDD-Based Debugging Of Design Using Language Containment and Fair CTL.

Ramin Hojati, Robert K. Brayton, Robert P. Kurshan

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Efficient <i>omega</i>-Regular Language Containment.

Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1990

Layout Optimization by Pattern Modification.

Ramin Hojati

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990