Showing results 1 to 20 of 37
next >
| Preview | Authors / Editors | Title | Type | Issue Date |
 | Dureja, Rohit ; Baumgartner, Jason ; Kanzelman, Robert ; Williams, Mark ; Rozier, Kristin Y. ; Ivrii, Alexander ; Strichman, Ofer | Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration | Inproceedings   | 2020 |
 | Lahiri, 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) cost | Inproceedings | 2020 |
 | Nadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer | Anytime Algorithms for MaxSAT and Beyond | Inproceedings | 2020 |
 | Lin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ; Ivrii, Alexander ; Strichman, Ofer | ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks | Inproceedings | 2020 |
 | Zhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. ; Ivrii, Alexander ; Strichman, Ofer | Automating Compositional Analysis of Authentication Protocols | Inproceedings | 2020 |
 | Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti ; Ivrii, Alexander ; Strichman, Ofer | Automating Modular Verification of Secure Information Flow | Inproceedings | 2020 |
 | Chatterje, Prantik ; Roy, Subhajit ; Phi Diep, Bui ; Lal, Akash ; Ivrii, Alexander ; Strichman, Ofer | Distributed Bounded Model Checking | Inproceedings | 2020 |
 | Fedotov, Alexander ; Keiren, Jeroen J.A. ; Schmaltz, Julien ; Ivrii, Alexander ; Strichman, Ofer | Effective System Level Liveness Verification | Inproceedings | 2020 |
 | Bueno, Denis ; Cox, Arlen ; Sakallah, Karem ; Ivrii, Alexander ; Strichman, Ofer | EUFicient Reachability for Software with Arrays | Inproceedings | 2020 |
 | Ivrii, Alexander ; Strichman, Ofer | Exploiting Isomorphic Subgraphs in SAT | Inproceedings  | Oct-2021 |
 | Schrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer | The FMCAD 2020 Student Forum | Inproceedings | 2020 |
 | Alamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer | Formal Methods with a Touch of Magic | Inproceedings | 2020 |
 | Kugler, Hillel ; Ivrii, Alexander ; Strichman, Ofer | Formal Verification for Natural and Engineered Biological Systems | Inproceedings | 2020 |
 | Kupferman, Orna ; Ivrii, Alexander ; Strichman, Ofer | From Correctness to High Quality | Inproceedings | 2020 |
 | Schrammel, Peter ; Ivrii, Alexander ; Strichman, Ofer | How testable is business software? | Inproceedings | 2020 |
 | Dureja, Rohit ; Gurfinkel, Arie  ; Ivrii, Alexander ; Vizel, Yakir | IC3 with Internal Signals | Inproceedings Konferenzbeitrag | Oct-2021 |
 | Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer | Incremental Verification by SMT-based Summary Repair | Inproceedings | 2020 |
 | Ehlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel ; Ivrii, Alexander ; Strichman, Ofer | Learning Properties in LTL ∩ ACTL from Positive Examples Only | Inproceedings | 2020 |
 | Klimis, Vasileios ; Parisis, Georg ; Reus, Bernhard ; Ivrii, Alexander ; Strichman, Ofer | Model Checking Software-Defined Networks with Flow Entries that Time Out | Inproceedings | 2020 |
 | Nadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer | On Optimizing a Generic Function in SAT | Inproceedings | 2020 |
