| 2000 |
|---|
| 15 | EE | Richard Raimi,
Ramin Hojati,
Kedar S. Namjoshi:
Environment modeling and language universality.
ACM Trans. Design Autom. Electr. Syst. 5(3): 705-725 (2000) |
| 1998 |
|---|
| 14 | | Gurmeet Singh Manku,
Ramin Hojati,
Robert K. Brayton:
Structural Symmetry and Model Checking.
CAV 1998: 159-171 |
| 13 | | Adrian J. Isles,
Ramin Hojati,
Robert K. Brayton:
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.
CAV 1998: 256-267 |
| 1996 |
|---|
| 12 | | Ramin Hojati,
Adrian J. Isles,
Desmond Kirkpatrick,
Robert K. Brayton:
Verification Using Uninterpreted Functions and Finite Instantiations.
FMCAD 1996: 218-232 |
| 11 | EE | Ramin Hojati,
Sriram C. Krishnan,
Robert K. Brayton:
Early Quantification and Partitioned Transition Relations.
ICCD 1996: 12-19 |
| 1995 |
|---|
| 10 | | Ramin Hojati,
Robert K. Brayton:
Automatic Datapath Abstraction In Hardware Systems.
CAV 1995: 98-113 |
| 9 | | Serdar Tasiran,
Ramin Hojati,
Robert K. Brayton:
Language containment of non-deterministic omega-automata.
CHARME 1995: 261-277 |
| 8 | | Ramin Hojati,
Robert K. Brayton:
An Environment for Formal Verification Based on Symbolic Computations.
Formal Methods in System Design 6(2): 191-216 (1995) |
| 1994 |
|---|
| 7 | | Ramin Hojati,
Robert B. Mueller-Thuns,
Robert K. Brayton:
Improving Language Containment Using Fairness Graphs.
CAV 1994: 391-403 |
| 6 | EE | Thomas R. Shiple,
Ramin Hojati,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton:
Heuristic Minimization of BDDs Using Don't Cares.
DAC 1994: 225-231 |
| 5 | EE | 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:
HSIS: A BDD-Based Environment for Formal Verification.
DAC 1994: 454-459 |
| 1993 |
|---|
| 4 | | Ramin Hojati,
Robert K. Brayton,
Robert P. Kurshan:
BDD-Based Debugging Of Design Using Language Containment and Fair CTL.
CAV 1993: 41-58 |
| 3 | EE | Ramin Hojati,
Thomas R. Shiple,
Robert K. Brayton,
Robert P. Kurshan:
A Unified Approach to Language Containment and Fair CTL Model Checking.
DAC 1993: 475-481 |
| 1992 |
|---|
| 2 | | Ramin Hojati,
Hervé J. Touati,
Robert P. Kurshan,
Robert K. Brayton:
Efficient omega-Regular Language Containment.
CAV 1992: 396-409 |
| 1990 |
|---|
| 1 | EE | Ramin Hojati:
Layout Optimization by Pattern Modification.
DAC 1990: 632-637 |
