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 × France
1 × Italy
1 × Poland
2 × USA
Collaborated with:
G.Kamhi M.Y.Vardi Y.Bertot L.Fix M.K.Mhameed M.Glusman S.Mador-Haim K.Fisler Z.Yang B.Ziv F.Copty E.Giunchiglia A.Tacchella
Talks about:
industri (2) counterexampl (1) algorithm (1) synthesi (1) reachabl (1) paradigm (1) abstract (1) travers (1) priorit (1) multipl (1)

Person: Ranan Fraer

DBLP DBLP: Fraer:Ranan

Contributed to:

DAC 20082008
TACAS 20032003
CAV 20012001
TACAS 20012001
CAV 20002000

Wrote 6 papers:

DAC-2008-FraerKM #paradigm #synthesis
A new paradigm for synthesis and propagation of clock gating conditions (RF, GK, MKM), pp. 658–663.
TACAS-2003-GlusmanKMFV #abstraction #evaluation #industrial #multi #refinement
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation (MG, GK, SMH, RF, MYV), pp. 176–191.
CAV-2001-CoptyFFGKTV #bound #industrial #model checking
Benefits of Bounded Model Checking at an Industrial Setting (FC, LF, RF, EG, GK, AT, MYV), pp. 436–453.
TACAS-2001-FislerFVY #algorithm #detection #question
Is There a Best Symbolic Cycle-Detection Algorithm? (KF, RF, GK, MYV, ZY), pp. 420–434.
CAV-2000-FraerKZVF #analysis #performance #reachability #traversal #verification
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification (RF, GK, BZ, MYV, LF), pp. 389–402.
TAPSOFT-1995-BertotF #execution #reasoning #specification
Reasoning with Executable Specifications (YB, RF), pp. 531–545.

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.