Publications

Export 82 results:
Author Title Type [ Year(Desc)]
Filters: Author is Natasha Sharygina  [Clear All Filters]
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)

Pages