Results 1-20 of 34 (Search time: 0.0 seconds).

Authors / EditorsTitleTypeIssue Date
1Liew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob ; Ivrii, Alexander ; Strichman, Ofer Verifying Properties of Bit-vector Multiplication Using Cutting Planes ReasoningInproceedings2020
2Cook, 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 hypervisorInproceedings2020
3Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer Tutorial on World-Level Model CheckingInproceedings2020
4Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer Trace Logic for Inductive Loop ReasoningInproceedings2020
5Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian ; Ivrii, Alexander ; Strichman, Ofer Thread-modular Counter Abstraction for Parameterized Program SafetyInproceedings2020
6Lonsing, Florian ; Mitra, Subhasish ; Barrett, Clark ; Ivrii, Alexander ; Strichman, Ofer A Theoretical Framework for Symbolic Quick Error DetectionInproceedings2020
7Niemetz, Aina ; Preiner, Mathias ; Ivrii, Alexander ; Strichman, Ofer Ternary Propagation-Based Local Search for More Bit-Precise ReasoningInproceedings2020
8Arif, 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 TracesInproceedings2020
9Jantsch, Simon ; Harder, Hans ; Funke, Florian ; Baier, Christel ; Ivrii, Alexander ; Strichman, Ofer SWITSS: Computing Small Witnessing SubsystemsInproceedings2020
10Nagashima, Yutaka ; Ivrii, Alexander ; Strichman, Ofer Smart Induction for Isabelle/HOL (Tool Paper)Inproceedings2020
11Brauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin ; Ivrii, Alexander ; Strichman, Ofer Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU ActivationInproceedings2020
12Tracy II, Tommy ; Tabajara, Lucas M. ; Vardi, Moshe ; Skadron, Kevin ; Ivrii, Alexander ; Strichman, Ofer Runtime Verification on FPGAs with LTLf SpecificationsInproceedings2020
13Reynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare ; Ivrii, Alexander ; Strichman, Ofer Reductions for Strings and Regular Expressions RevisitedInproceedings2020
14Cimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Tonetta, Stefano ; Ivrii, Alexander ; Strichman, Ofer Reactive Synthesis from Extended Bounded Response LTL SpecificationsInproceedings2020
15Kaufmann, Daniela ; Fleury, Mathias ; Biere, Armin ; Ivrii, Alexander ; Strichman, Ofer The Proof Checkers Pacheck and Pastèque for the Practical Algebraic CalculusInproceedings2020
16Wu, 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 NetworksInproceedings2020
17Nadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer On Optimizing a Generic Function in SATInproceedings2020
18Klimis, Vasileios ; Parisis, Georg ; Reus, Bernhard ; Ivrii, Alexander ; Strichman, Ofer Model Checking Software-Defined Networks with Flow Entries that Time OutInproceedings2020
19Ehlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel ; Ivrii, Alexander ; Strichman, Ofer Learning Properties in LTL ∩ ACTL from Positive Examples OnlyInproceedings2020
20Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer Incremental Verification by SMT-based Summary RepairInproceedings2020