Travelled to:1 × Belgium
1 × Greece
2 × Canada
4 × USA
Collaborated with:R.K.Brayton R.P.Kurshan T.R.Shiple ∅ A.J.Isles G.S.Manku R.B.Mueller-Thuns A.L.Sangiovanni-Vincentelli H.J.Touati A.Aziz F.Balarin S.Cheng T.Kam S.C.Krishnan R.K.Ranjan V.Singhal S.Tasiran H.Wang
Talks about:languag (4) contain (4) model (3) fair (3) use (3) system (2) check (2) base (2) ctl (2) bdd (2)
Person: Ramin Hojati
DBLP: Hojati:Ramin
Contributed to:
199819951994
19941993199319921990Wrote 10 papers:
- CAV-1998-IslesHB #infinity #memory management
- Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory (AJI, RH, RKB), pp. 256–267.
- CAV-1998-MankuHB #model checking #symmetry
- Structural Symmetry and Model Checking (GSM, RH, RKB), pp. 159–171.
- CAV-1995-HojatiB #abstraction #automation #hardware
- Automatic Datapath Abstraction In Hardware Systems (RH, RKB), pp. 98–113.
- CAV-1994-HojatiMB #graph #using
- Improving Language Containment Using Fairness Graphs (RH, RBMT, RKB), pp. 391–403.
- DAC-1994-AzizBCHKKRSSTWBS #named #verification
- HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.
- DAC-1994-ShipleHSB #heuristic #using
- Heuristic Minimization of BDDs Using Don’t Cares (TRS, RH, ALSV, RKB), pp. 225–231.
- CAV-1993-HojatiBK #debugging #design #using
- BDD-Based Debugging Of Design Using Language Containment and Fair CTL (RH, RKB, RPK), pp. 41–58.
- DAC-1993-HojatiSBK #approach #model checking
- A Unified Approach to Language Containment and Fair CTL Model Checking (RH, TRS, RKB, RPK), pp. 475–481.
- CAV-1992-HojatiTKB #performance #regular expression
- Efficient ω-Regular Language Containment (RH, HJT, RPK, RKB), pp. 396–409.
- DAC-1990-Hojati #layout #optimisation
- Layout Optimization by Pattern Modification (RH), pp. 632–637.