You are here

Publications

Export 3 results:

BibTeX

Author Title [ Type

] Year

Filters: First Letter Of Last Name is L [Clear All Filters]

Conference Paper

VERIGE: Verification with Invariant Generation Engine, Latorre, N., Alberti Francesco, and Sharygina Natasha , SPIN, (2014)

Space Explanations of Neural Network Classification, Labbaf, Faezeh, Kolárik Tomáš, Blicha Martin, Fedyukovich Grigory, Wand Michael, and Sharygina Natasha , 37th CAV 2025, (2025)

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)