Ivrii, Alexander

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Ivrii, Alexander
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dureja-2021-IC3 with Internal Signals-vor.pdf.jpgDureja, Rohit ; Gurfinkel, Arie ; Ivrii, Alexander ; Vizel, Yakir IC3 with Internal SignalsInproceedings Konferenzbeitrag Oct-2021
2Ivrii-2021-Exploiting Isomorphic Subgraphs in SAT-vor.pdf.jpgIvrii, Alexander ; Strichman, Ofer Exploiting Isomorphic Subgraphs in SATInproceedings Konferenzbeitrag Oct-2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 27 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
213_Thread-modular Counter Abstraction for Parameterized Program Safety.pdf.jpgPani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
306_The FMCAD 2020 Student Forum.pdf.jpgSchrammel, Peter The FMCAD 2020 Student ForumKonferenzbeitrag Inproceedings 2020
405_From Correctness to High Quality.pdf.jpgKupferman, Orna From Correctness to High QualityKonferenzbeitrag Inproceedings 2020
504_How testable is business software.pdf.jpgSchrammel, Peter How testable is business software?Konferenzbeitrag Inproceedings 2020
617_Learning Properties in LTL ∩ ACTL from Positive Examples Only.pdf.jpgEhlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel Learning Properties in LTL ∩ ACTL from Positive Examples OnlyKonferenzbeitrag Inproceedings 2020
703_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin Tutorial on World-Level Model CheckingKonferenzbeitrag Inproceedings 2020
818_Automating Compositional Analysis of Authentication Protocols.pdf.jpgZhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. Automating Compositional Analysis of Authentication ProtocolsKonferenzbeitrag Inproceedings 2020
934_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusKonferenzbeitrag Inproceedings 2020
1030_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
1129_Ternary Propagation-Based Local Search for More Bit_Precise Reasoning.pdf.jpgNiemetz, Aina ; Preiner, Mathias Ternary Propagation-Based Local Search for More Bit-Precise ReasoningKonferenzbeitrag Inproceedings 2020
1232_Smart Induction for Isabelle_HOL (Tool Paper).pdf.jpgNagashima, Yutaka Smart Induction for Isabelle/HOL (Tool Paper)Konferenzbeitrag Inproceedings 2020
1331_SWITSS Computing Small Witnessing Subsystems.pdf.jpgJantsch, Simon ; Harder, Hans ; Funke, Florian ; Baier, Christel SWITSS: Computing Small Witnessing SubsystemsKonferenzbeitrag Inproceedings 2020
1420_Parallelization Techniques for Verifying Neural Networks.pdf.jpgWu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020
1523_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti Automating Modular Verification of Secure Information FlowKonferenzbeitrag Inproceedings 2020
1622_ART Abstraction Refinement_Guided Training for Provably Correct Neural Networks.pdf.jpgLin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksKonferenzbeitrag Inproceedings 2020
1724_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 Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costKonferenzbeitrag Inproceedings 2020
1827_Verifying Properties of Bit_vector Multiplication Using Cutting Planes Reasoning.pdf.jpgLiew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob Verifying Properties of Bit-vector Multiplication Using Cutting Planes ReasoningKonferenzbeitrag Inproceedings 2020
1926_Using model checking tools to triage the severity of security bugs in the Xen hypervisor.pdf.jpgCook, Byron ; Döbel, Björn ; Kroening, Daniel ; Manthey, Norbert ; Pohlack, Martin ; Polgreen, Elizabeth ; Tautschnig, Michael ; Wieczorkiewicz, Pawel Using model checking tools to triage the severity of security bugs in the Xen hypervisorKonferenzbeitrag Inproceedings 2020
2028_On Optimizing a Generic Function in SAT.pdf.jpgNadel, Alexander On Optimizing a Generic Function in SATKonferenzbeitrag Inproceedings 2020