Publications

Export 7 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is P and Author is Natasha Sharygina  [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 
P
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)
Picky CDCL: SMT-solving With Flexible Literal Selection, Britikov, Konstantin I., Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE, (2023)
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)
A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)
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)