BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hojati:Ramin

Contributed to:

CAV 19981998
CAV 19951995
CAV 19941994
DAC 19941994
CAV 19931993
DAC 19931993
CAV 19921992
DAC 19901990

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.