Publications

Export 86 results:
[ Author(Asc)] Title Type Year
Filters: Sharygina-tonetta-tsitovich-2009-synergy.html is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
The OpenSMT Solver, Bruttomesso, R., Pek E., Sharygina Natasha, and Tsitovich A. , International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 6015, Paphos, Cyprus, p.150-153, (2010)
Flexible Interpolation with Local Proof Transformations, Bruttomesso, R., Rollini S.F., Sharygina Natasha, and Tsitovich A. , International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)
A Flexible Schema for Generating Explanations in Lazy Theory Propagation, Bruttomesso, R., Pek E., and Sharygina Natasha , International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)
An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT, Bruttomesso, R. , 7th International Workshop on Satisfiability Modulo Theories (SMT), Montreal, Canada, (2009)
A Scalable Decision Procedure for Fixed-Width Bit-Vectors, Bruttomesso, R., and Sharygina Natasha , International Conference of Computer Aided Design (ICCAD), San Jose (CA), (2009)
Picky CDCL: SMT-solving With Flexible Literal Selection, Britikov, Konstantin I., Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE, (2023)
A Model Checking-based Approach for Security Policy Verification of Mobile Systems, Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Formal Aspects of Computing Journal, (2010)
Automated Verification of Security Policies in Mobile Code., Braghin, C., Sharygina Natasha, and Barone Adesi Katerina , Integrated Formal Methods (IFM), (2007)
Transition Power Abstractions for Deep Counterexample Detection, Blicha, Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , TACAS, (2022)
Decomposing Farkas Interpolants, Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , TACAS, (2019)
Using linear algebra in decomposition of Farkas interpolants, Blicha, Martin, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , International Journal on Software Tools for Technology Transfer, (2021)
Split Transition Power Abstraction for Unbounded Safety, Blicha, Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , (2022)
The Golem Horn Solver, Blicha, Martin, Britikov Konstantin, and Sharygina Natasha , Computer Aided Verification, (2023)
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)
A
SMT‑based verification of program changes through summary repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , Formal Methods in System Design, 05/2023, (2023)
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)
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)
A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)
LRA Interpolants from No Man's Land, Alt, Leonardo, Hyvärinen Antti E. J., and Sharygina Natasha , Haifa Verification Conference (HVC), (2017)
Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions, Alt, Leonardo, Hyvärinen Antti, Asadi Sepideh, and Sharygina Natasha , 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) , TU Wien, Vienna, Austria,, (2017)

Pages