Publications

Export 86 results:
Author Title Type [ Year(Desc)]
Filters: Bruttomesso-rollini-sharygina-tsitovich-2010-flexible-interpolation-with-local-proof-transformations.html is   [Clear All Filters]
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)
Interpolation-based model checking for efficient incremental analysis of software, Fedyukovich, Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, (2013)
Loop summarization using state and transition invariants, Kroening, D., Sharygina Natasha, Tonetta S., Tsitovich A., and Wintersteiger C.M. , Formal Methods in System Design, Volume 42, (2013)
A Parametric Interpolation Framework for First-Order Theories, Kovacs, L., Rollini S.F., and Sharygina Natasha , 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification, Rollini, S.F., Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)
PINCETTE - Validating Changes and Upgrades in Networked Software, Chockler, H., Denaro G., Ling M., Fedyukovich Grigory, Hyvärinen Antti E. J., Mariani L., Muhammad A., Oriol M., Rajan A., Sery O., et al. , 17th European Conference on Software Maintenance and Reengineering, (2013)
Resolution Proof Transformation for Compression and Interpolation, Rollini, S.F., Bruttomesso R., Sharygina Natasha, and Tsitovich A. , CoRR, Volume July 2013, (2013)
Using Cross-Entropy for Satisfiability, Chockler, H., Ivrii A., Matsliah A., Rollini S.F., and Sharygina Natasha , ACM Symposium on Applied Computing (SAC), (2013)
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, Hyvärinen, Antti E. J., Marescotti Matteo, and Sharygina Natasha , SAT 2015, (2015)
Search-Space Partitioning for Parallelizing SMT Solvers, Marescotti, Matteo, Hyvärinen Antti E. J., and Sharygina Natasha , MEMICS2015, (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)

Pages