Sharygina, Natasha

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Sharygina, Natasha
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Blicha-2022-Split Transition Power Abstraction for Unbounded Safety-vor.pdf.jpgBlicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti ; Sharygina, Natasha ; Griggio, Alberto ; Rungta, Neha Split Transition Power Abstraction for Unbounded SafetyInproceedings Konferenzbeitrag Oct-2022
2Hyvaerinen-2021-Lookahead in Partitioning SMT-vor.pdf.jpgHyvärinen, Antti ; Marescotti, Matteo ; Sharygina, Natasha Lookahead in Partitioning SMTKonferenzbeitrag Inproceedings Oct-2021
314_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha ; Ivrii, Alexander ; Strichman, Ofer Incremental Verification by SMT-based Summary RepairKonferenzbeitrag Inproceedings 2020
4Kovacs, Laura ; Sharygina, Natasha ; Rollini, Simone Fulvio ; Castro, Felix ; Gelbukh, Alexander ; Gonzalez, Miguel A Parametric Interpolation Framework for First-Order TheoriesKonferenzbeitrag Inproceedings2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kovács, Laura ; Voronkov, Andrei ; Sharygina, Natasha ; Veith, Helmut First-Order Theorem Proving and VampireKonferenzbeitrag Inproceedings2013
2Sharygina, Natasha ; Veith, Helmut CAVBuch Book2013