Showing results 1 to 20 of 35
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 |
 | 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 |
 | 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 |
 | Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark ; Ivrii, Alexander ; Strichman, Ofer | Parallelization Techniques for Verifying Neural Networks | Inproceedings  | 2020 |
 | Ivrii, Alexander ; Strichman, Ofer | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 | Proceedings  | 2020 |