Publications

Export 7 results:
Author Title Type [ Year(Desc)]
Filters: Author is Natasha Sharygina and First Letter Of Title is P  [Clear All Filters]
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)
2015
A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)
2016
Property Directed Equivalence via Abstract Simulation, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , CAV 2016, (2016)
PVAIR: Partial Variable Assignment InterpolatoR, Jančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , FASE2016, (2016)
2023
Picky CDCL: SMT-solving With Flexible Literal Selection, Britikov, Konstantin I., Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE, (2023)