Natasha Sharygina
http://usi.to/fqf
Projects
In progress (2)
- Sharygina N., Hyvärinen A. (2023) Formal Reasoning on Neural Networks
- Sharygina N. (2019) Beyond Symbolic Model Checking through Deep Modelling
Completed (10)
- Sharygina N. (2018) Towards secure and trustful cryptographic currencies and consensus ledgers
- Sharygina N. (2017) From Parallel SMT to Parallel Software Verification
- Sharygina N. (2016) Guiding SMT-Based Interpolation for Program Verification
- Sharygina N. (2014) ARVI - Runtime Verification beyond Monitoring
- Sharygina N. (2014) Harnessing Parallel Computing for Model Checking
- Sharygina N. (2013) Quality of Interpolants in Model Checking
- Sharygina N. (2010) PINCETTE - Validating Changes and Upgrades in Networked Software
- Sharygina N. (2009) Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
- Sharygina N., Gross C. (2008) Detection of Security Flaws and Vulnerabilities by Guided Model Checking - extension
- Sharygina N. (2006) Detection of Security Flaws and Vulnerabilities by Guided Model Checking