Collection's Items (Sorted by Submit Date in Descending order): 21 to 40 of 318
Authors / EditorsTitleTypeIssue Date
Nagashima, Yutaka ; Ivrii, Alexander ; Strichman, Ofer Smart Induction for Isabelle/HOL (Tool Paper)Inproceedings 2020
Jantsch, Simon ; Harder, Hans ; Funke, Florian ; Baier, Christel ; Ivrii, Alexander ; Strichman, Ofer SWITSS: Computing Small Witnessing SubsystemsInproceedings 2020
Reynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare ; Ivrii, Alexander ; Strichman, Ofer Reductions for Strings and Regular Expressions RevisitedInproceedings 2020
Niemetz, Aina ; Preiner, Mathias ; Ivrii, Alexander ; Strichman, Ofer Ternary Propagation-Based Local Search for More Bit-Precise ReasoningInproceedings 2020
Nadel, Alexander ; Ivrii, Alexander ; Strichman, Ofer On Optimizing a Generic Function in SATInproceedings 2020
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob ; Ivrii, Alexander ; Strichman, Ofer Verifying Properties of Bit-vector Multiplication Using Cutting Planes ReasoningInproceedings 2020
Cook, 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 hypervisorInproceedings 2020
Klimis, Vasileios ; Parisis, Georg ; Reus, Bernhard ; Ivrii, Alexander ; Strichman, Ofer Model Checking Software-Defined Networks with Flow Entries that Time OutInproceedings 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) costInproceedings 2020
Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti ; Ivrii, Alexander ; Strichman, Ofer Automating Modular Verification of Secure Information FlowInproceedings 2020
Lin, Xuankang ; Zhu, He ; Samanta, Roopsha ; Jagannathan, Suresh ; Ivrii, Alexander ; Strichman, Ofer ART: Abstraction Refinement-Guided Training for Provably Correct Neural NetworksInproceedings 2020
Alamdari, Parand Alizadeh ; Avni, Guy ; Henzinger, Thomas A. ; Lukina, Anna ; Ivrii, Alexander ; Strichman, Ofer Formal Methods with a Touch of MagicInproceedings 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 NetworksInproceedings 2020
Brauße, Franz ; Khasidashvili, Zurab ; Korovin, Konstantin ; Ivrii, Alexander ; Strichman, Ofer Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU ActivationInproceedings 2020
Zhang, Zichao ; de Amorim, Arthur Azevedo ; Jia, Limin ; Pasareanu, Corina S. ; Ivrii, Alexander ; Strichman, Ofer Automating Compositional Analysis of Authentication ProtocolsInproceedings 2020
Ehlers, Rüdiger ; Gavran, Ivan ; Neider, Daniel ; Ivrii, Alexander ; Strichman, Ofer Learning Properties in LTL ∩ ACTL from Positive Examples OnlyInproceedings 2020
Arif, 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 TracesInproceedings 2020
Cimatti, Alessandro ; Geatti, Luca ; Gigante, Nicola ; Montanari, Angelo ; Tonetta, Stefano ; Ivrii, Alexander ; Strichman, Ofer Reactive Synthesis from Extended Bounded Response LTL SpecificationsInproceedings 2020
Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer Incremental Verification by SMT-based Summary RepairInproceedings 2020
Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian ; Ivrii, Alexander ; Strichman, Ofer Thread-modular Counter Abstraction for Parameterized Program SafetyInproceedings 2020
Collection's Items (Sorted by Submit Date in Descending order): 21 to 40 of 318
Subscribe to this collection to receive daily e-mail notification of new additions.