Publications

Export 81 results:
Author Title Type [ Year(Asc)]
Filters: Filter is   [Clear All Filters]
2015
Automated Discovery of Simulation Between Programs, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , LPAR, (2015)
Decision Procedures for Flat Array Properties, Alberti, Francesco, Ghilardi S., and Sharygina Natasha , J. Autom. Reasoning, 04/2015, Volume 54, Issue 4, p.352, (2015)
A new Acceleration-based Combination Framework for Array Properties, Alberti, Francesco, Ghilardi Silvio, and Sharygina Natasha , FROCOS 2015, (2015)
A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)
Search-Space Partitioning for Parallelizing SMT Solvers, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , MEMICS2015, (2015)
Search-Space Partitioning for Parallelizing SMT Solvers, Hyvärinen, Antti E. J., Marescotti Matteo, and Sharygina Natasha , SAT 2015, (2015)
An SMT-based verification framework for software systems handling arrays, Alberti, Francesco , Faculty of Informatics of the Università della Svizzera Italiana, 02/2015, Volume PhD, Lugano, p.188, (2015)
Symbolic Detection of Assertion Dependencies for Bounded Model Checking, Fedyukovich, Grigory, A. D'Iddio Callia, Hyvärinen Antti E. J., and Sharygina Natasha , 18th International Conference on Fundamental Approaches to Software Engineering (FASE), (2015)
2013
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs, Alberti, Francesco, Ghilardi S., and Sharygina Natasha , CoRR, Volume April 2013, (2013)
Definability of Accelerated Relations in a Theory of Arrays and Its Applications, Alberti, Francesco, Ghilardi S., and Sharygina Natasha , Frontiers of Combining Systems, (2013)
eVolCheck: Incremental Upgrade Checker for C, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2013)
Interpolation Properties and SAT-based Model Checking, Gurfinkel, A., Rollini S. F., and Sharygina Natasha , 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)

Pages