or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 37  next >
PreviewAuthors / EditorsTitleTypeIssue Date
08_Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.pdf.jpgDureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. ; Ivrii, Alexander ; Strichman, Ofer Accelerating Parallel Verification via Complementary Property Partitioning and Strategy ExplorationInproceedings 2020
24_Angelic Checking within Static Driver Verifier Towards high_precision defects without (modeling) cost.pdf.jpgLahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan ; Ivrii, Alexander ; Strichman, Ofer Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costInproceedings 2020
01_Anytime Algorithms for MaxSAT and Beyond.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer Anytime Algorithms for MaxSAT and BeyondInproceedings 2020
22_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdf.jpgLin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ; Ivrii, Alexander ; Strichman, Ofer ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksInproceedings 2020
18_Automating Compositional Analysis of Authentication Protocols.pdf.jpgZhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. ; Ivrii, Alexander ; Strichman, Ofer Automating Compositional Analysis of Authentication ProtocolsInproceedings 2020
23_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti ; Ivrii, Alexander ; Strichman, Ofer Automating Modular Verification of Secure Information FlowInproceedings 2020
11_Distributed Bounded Model Checking.pdf.jpgChatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash ; Ivrii, Alexander ; Strichman, Ofer Distributed Bounded Model CheckingInproceedings 2020
07_Effective System Level Liveness Verification.pdf.jpgFedotov, Alexander ; Keiren, Jeroen J.A. ; Schmaltz, Julien ; Ivrii, Alexander ; Strichman, Ofer Effective System Level Liveness VerificationInproceedings 2020
12_EUFicient Reachability for Software with Arrays.pdf.jpgBueno, Denis ; Cox, Arlen ; Sakallah, Karem ; Ivrii, Alexander ; Strichman, Ofer EUFicient Reachability for Software with ArraysInproceedings 2020
Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Oct-2021
06_The FMCAD 2020 Student Forum.pdf.jpgSchrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer The FMCAD 2020 Student ForumInproceedings 2020
21_Formal Methods with a Touch of Magic.pdf.jpgAlamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer Formal Methods with a Touch of MagicInproceedings 2020
02_Formal Verification for Natural and Engineered Biological Systems.pdf.jpgKugler, Hillel ; Ivrii, Alexander ; Strichman, Ofer Formal Verification for Natural and Engineered Biological SystemsInproceedings 2020
05_From Correctness to High Quality.pdf.jpgKupferman, Orna ; Ivrii, Alexander ; Strichman, Ofer From Correctness to High QualityInproceedings 2020
04_How testable is business software.pdf.jpgSchrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer How testable is business software?Inproceedings 2020
Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie  ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
14_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer Incremental Verification by SMT-based Summary RepairInproceedings 2020
17_Learning Properties in LTL ∩ ACTL from Positive Examples Only.pdf.jpgEhlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel ; Ivrii, Alexander ; Strichman, Ofer Learning Properties in LTL ∩ ACTL from Positive Examples OnlyInproceedings 2020
25_Model Checking Software_Defined Networks with Flow Entries that Time Out.pdf.jpgKlimis, Vasileios ; Parisis, Georg ; Reus, Bernhard ; Ivrii, Alexander ; Strichman, Ofer Model Checking Software-Defined Networks with Flow Entries that Time OutInproceedings 2020
28_On Optimizing a Generic Function in SAT.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer On Optimizing a Generic Function in SATInproceedings 2020