Publications

Export 10 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is P  [Clear All Filters]
Thesis
Parallelization and modelling techniques for scalable SMT-based verification, Marescotti, Matteo , Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
Conference Proceedings
Property Directed Equivalence via Abstract Simulation, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , CAV 2016, (2016)
Conference Paper
PyCHC: a Framework for Certified Horn Solving and CHC-based Design, Becchi, Anna, Blicha Martin, Otoni Rodrigo, and Sharygina Natasha , CAV 2026, (2026)
PVAIR: Partial Variable Assignment InterpolatoR, Jančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , FASE2016, (2016)
A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)
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)
Picky CDCL: SMT-solving With Flexible Literal Selection, Britikov, Konstantin I., Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE, (2023)
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)
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)
Parallel SMT Solving via Iterative Tree Partitioning, Kolárik, Tomáš, Hyvärinen Antti E. J., Asadzadeh Seyedmasoud, and Sharygina Natasha , TACAS 2026, (2026)