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: Fraer:Ranan
Contributed to:
2008
2003
200120012000
1995Wrote 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.