Name Card

Full name Familienname, Vorname
Gurfinkel, Arie
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023
2Priya-2022-Bounded Model Checking for LLVM-vor.pdf.jpgPriya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie Bounded Model Checking for LLVMKonferenzbeitrag Inproceedings Oct-2022
3Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
4Le-2021-Data-driven Optimization of Inductive Generalization-vor.pdf.jpgLe, Nham ; Si, Xujie ; Gurfinkel, Arie Data-driven Optimization of Inductive GeneralizationInproceedings Konferenzbeitrag Oct-2021
5Govind V K-2021-Logical Characterization of Coherent Uninterpreted Programs-vor.pdf.jpgGovind V K, Hari ; Shoham, Sharon ; Gurfinkel, Arie Logical Characterization of Coherent Uninterpreted ProgramsInproceedings Konferenzbeitrag Oct-2021