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

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

PreviewAuthors / EditorsTitleTypeIssue 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 SATKonferenzbeitrag Inproceedings Oct-2021

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

PreviewAuthors / EditorsTitleTypeIssue Date
127_Verifying Properties of Bit_vector Multiplication Using Cutting Planes Reasoning.pdf.jpgLiew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob ; Ivrii, Alexander ; Strichman, Ofer Verifying Properties of Bit-vector Multiplication Using Cutting Planes ReasoningKonferenzbeitrag Inproceedings 2020
226_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 ; Ivrii, Alexander ; Strichman, Ofer Using model checking tools to triage the severity of security bugs in the Xen hypervisorKonferenzbeitrag Inproceedings 2020
303_Tutorial on World_Level Model Checking.pdf.jpgBiere, Armin ; Ivrii, Alexander ; Strichman, Ofer Tutorial on World-Level Model CheckingKonferenzbeitrag Inproceedings 2020
4Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
533_Trace Logic for Inductive Loop Reasoning.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningKonferenzbeitrag Inproceedings 2020
613_Thread-modular Counter Abstraction for Parameterized Program Safety.pdf.jpgPani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian ; Ivrii, Alexander ; Strichman, Ofer Thread-modular Counter Abstraction for Parameterized Program SafetyKonferenzbeitrag Inproceedings 2020
709_A Theoretical Framework for Symbolic Quick Error Detection.pdf.jpgLonsing, Florian ; Mitra, Subhasish ; Barrett, Clark ; Ivrii, Alexander ; Strichman, Ofer A Theoretical Framework for Symbolic Quick Error DetectionKonferenzbeitrag Inproceedings 2020
829_Ternary Propagation-Based Local Search for More Bit_Precise Reasoning.pdf.jpgNiemetz, Aina ; Preiner, Mathias ; Ivrii, Alexander ; Strichman, Ofer Ternary Propagation-Based Local Search for More Bit-Precise ReasoningKonferenzbeitrag Inproceedings 2020
916_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf.jpgArif, M. Fareed ; Larraz, Daniel ; Echeverria, Mitziu ; Reynolds, Andrew ; Chowdhury, Omar ; Tinelli, Cesare ; Ivrii, Alexander ; Strichman, Ofer SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite TracesKonferenzbeitrag Inproceedings 2020
1031_SWITSS Computing Small Witnessing Subsystems.pdf.jpgJantsch, Simon ; Harder, Hans ; Funke, Florian ; Baier, Christel ; Ivrii, Alexander ; Strichman, Ofer SWITSS: Computing Small Witnessing SubsystemsKonferenzbeitrag Inproceedings 2020
1132_Smart Induction for Isabelle_HOL (Tool Paper).pdf.jpgNagashima, Yutaka ; Ivrii, Alexander ; Strichman, Ofer Smart Induction for Isabelle/HOL (Tool Paper)Konferenzbeitrag Inproceedings 2020
1219_Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation.pdf.jpgBrauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin ; Ivrii, Alexander ; Strichman, Ofer Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU ActivationKonferenzbeitrag Inproceedings 2020
1310_Runtime Verification on FPGAs with LTLf Specifications.pdf.jpgTracy II, Tommy ; Tabajara, Lucas M. ; Vardi, Moshe ; Skadron, Kevin ; Ivrii, Alexander ; Strichman, Ofer Runtime Verification on FPGAs with LTLf SpecificationsKonferenzbeitrag Inproceedings 2020
1430_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare ; Ivrii, Alexander ; Strichman, Ofer Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
1515_Reactive Synthesis from Extended Bounded Response LTL Specifications.pdf.jpgCimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Tonetta, Stefano ; Ivrii, Alexander ; Strichman, Ofer Reactive Synthesis from Extended Bounded Response LTL SpecificationsKonferenzbeitrag Inproceedings 2020
1634_The Proof Checkers Pacheck and Past`eque for the Practical Algebraic Calculus.pdf.jpgKaufmann, Daniela ; Fleury, Mathias ; Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusKonferenzbeitrag Inproceedings 2020
17Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf.jpgIvrii, Alexander ; Strichman, Ofer Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020Proceedings Konferenzband 2020
1820_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 ; Ivrii, Alexander ; Strichman, Ofer Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020
1928_On Optimizing a Generic Function in SAT.pdf.jpgNadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer On Optimizing a Generic Function in SATKonferenzbeitrag Inproceedings 2020
2025_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 OutKonferenzbeitrag Inproceedings 2020