Publications

Export 30 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is B  [Clear All Filters]
2020
A Cooperative Parallelization Approach for Property-Directed k-Induction, Blicha, Martin, Hyvärinen Antti E. J., Marescotti Matteo, and Sharygina Natasha , VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, USA, 19-25 January 2020, (2020)
Farkas-Based Tree Interpolation, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti, Fedyukovich Grigory, and Sharygina Natasha , SAS 2020 - 27th Static Analysis Symposium, Online Conference, (2020)
Incremental Verification by SMT-based Summary Repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , 20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN – FMCAD 2020, (2020)
2018
Computing Exact Worst-Case Gas Consumption for Smart Contracts, Marescotti, Matteo, Blicha Martin, Hyvärinen Antti E. J., Asadi Sepideh, and Sharygina Natasha , International Symposium on Leveraging Applications of Formal Methods ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice , Cyprus, (2018)
Function Summarization Modulo Theories, Asadi, Sepideh, Blicha Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., Even-Mendoza Karine, Sharygina Natasha, and Chockler Hana , 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)
2012
Lazy Abstraction with Interpolation for Arrays, Alberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha , 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Mérida, Venezuela, (2012)
SAFARI: SMT-based Abstraction For Arrays with Interpolants, Alberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha , 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)

Pages