Natasha Sharygina
Università della Svizzera Italiana
H-index: 34
Europe-Switzerland
Top articles of Natasha Sharygina
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and … | Susanne Graf Michael Schwartzbach | 2000/3/15 | |
CHC Model Validation with Proof Guarantees | Rodrigo Otoni Martin Blicha Patrick Eugster Natasha Sharygina | 2023/11/6 | |
The Golem Horn Solver | Martin Blicha Konstantin Britikov Natasha Sharygina | 2023/7/17 | |
Symbolic Model Checking for TLA+ Made Faster | Rodrigo Otoni Igor Konnov Jure Kukovec Patrick Eugster Natasha Sharygina | 2023/4/22 | |
A Solicitous Approach to Smart Contract Verification | ACM Transactions on Privacy and Security | Rodrigo Otoni Matteo Marescotti Leonardo Alt Patrick Eugster Antti Hyvärinen | 2023/3/13 |
Using linear algebra in decomposition of Farkas interpolants | International journal on software tools for technology transfer | Martin Blicha Antti EJ Hyvärinen Jan Kofroň Natasha Sharygina | 2022/2/1 |
Split Transition Power Abstraction for Unbounded Safety | Martin Blicha Grigory Fedyukovich Antti EJ Hyvärinen Natasha Sharygina | 2022/10/17 | |
SolCMC: Solidity compiler’s model checker | Leonardo Alt Martin Blicha Antti EJ Hyvärinen Natasha Sharygina | 2022/8/7 | |
SMT-based verification of program changes through summary repair | Formal Methods in System Design | Sepideh Asadi Martin Blicha Antti EJ Hyvärinen Grigory Fedyukovich Natasha Sharygina | 2022/6 |
Transition power abstractions for deep counterexample detection | Martin Blicha Grigory Fedyukovich Antti EJ Hyvärinen Natasha Sharygina | 2022/3/30 | |
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July … | Roderick Bloem Rayna Dimitrova Chuchu Fan Natasha Sharygina | 2022/2/21 | |
Theory-specific proof steps witnessing correctness of SMT executions | Rodrigo Otoni Martin Blicha Patrick Eugster Antti EJ Hyvärinen Natasha Sharygina | 2021/12/5 | |
Lookahead in partitioning SMT | Antti EJ Hyvärinen Matteo Marescotti Natasha Sharygina | 2021/10/19 | |
The opensmt solver in SMT-COMP 2021 | 16th International Satisfiability Modulo Theories Competition (SMT-COMP 2021) | Masoud Asadzade Martin Blicha AE Hyvärinen Natasha Sharygina | 2021 |
The opensmt solver in smt-comp 2020 | Martin Blicha AE Hyvärinen Matteo Marescotti Natasha Sharygina | 2021 | |
Farkas-based tree interpolation | Sepideh Asadi Martin Blicha Antti Hyvärinen Grigory Fedyukovich Natasha Sharygina | 2020/11/18 | |
Incremental verification by SMT-based summary repair | Sepideh Asadi Martin Blicha Antti Hyvärinen Grigory Fedyukovich Natasha Sharygina | 2020 | |
Accurate smart contract verification through direct modelling | Matteo Marescotti Rodrigo Otoni Leonardo Alt Patrick Eugster Antti EJ Hyvärinen | 2020 | |
A cooperative parallelization approach for property-directed k-induction | Martin Blicha Antti EJ Hyvärinen Matteo Marescotti Natasha Sharygina | 2020 |