Follow
Natasha Sharygina
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Verified email at usi.ch - Homepage
Title
Cited by
Cited by
Year
SATABS: SAT-based predicate abstraction for ANSI-C
E Clarke, D Kroening, N Sharygina, K Yorav
International Conference on Tools and Algorithms for the Construction and …, 2005
3902005
Predicate abstraction of ANSI-C programs using SAT
E Clarke, D Kroening, N Sharygina, K Yorav
Formal Methods in System Design 25 (2), 105-127, 2004
2742004
State/event-based software model checking
S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha
International Conference on Integrated Formal Methods, 128-147, 2004
2212004
The opensmt solver
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
International Conference on Tools and Algorithms for the Construction and …, 2010
1552010
Formal verification of SystemC by automatic hardware/software partitioning
D Kroening, N Sharygina
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
1422005
Word level predicate abstraction and refinement for verifying RTL verilog
H Jain, D Kroening, N Sharygina, E Clarke
Proceedings of the 42nd annual Design Automation Conference, 445-450, 2005
1042005
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
912010
Concurrent software verification with states, events, and deadlocks
S Chaki, E Clarke, J Ouaknine, N Sharygina, N Sinha
Formal Aspects of Computing 17 (4), 461-483, 2005
852005
Cogent: Accurate theorem proving for program verification
B Cook, D Kroening, N Sharygina
International Conference on Computer Aided Verification, 296-300, 2005
682005
Dynamic component substitutability analysis
N Sharygina, S Chaki, E Clarke, N Sinha
International Symposium on Formal Methods, 512-528, 2005
652005
SAFARI: SMT-based abstraction for arrays with interpolants
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
International Conference on Computer Aided Verification, 679-685, 2012
642012
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Haifa verification conference, 160-175, 2011
642011
Symbolic model checking for asynchronous boolean programs
B Cook, D Kroening, N Sharygina
International SPIN Workshop on Model Checking of Software, 75-90, 2005
642005
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
632011
Incremental upgrade checking by means of interpolation-based function summaries
O Sery, G Fedyukovich, N Sharygina
2012 Formal Methods in Computer-Aided Design (FMCAD), 114-121, 2012
622012
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
612008
Scoot: A Tool for the Analysis of SystemC Models
N Blanc, D Kroening, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2008
552008
Lazy abstraction with interpolants for arrays
F Alberti, R Bruttomesso, S Ghilardi, S Ranise, N Sharygina
International Conference on Logic for Programming Artificial Intelligence …, 2012
532012
Computing exact worst-case gas consumption for smart contracts
M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina
International Symposium on Leveraging Applications of Formal Methods, 450-465, 2018
522018
Verification of evolving software via component substitutability analysis
S Chaki, E Clarke, N Sharygina, N Sinha
Formal Methods in System Design 32 (3), 235-266, 2008
502008
The system can't perform the operation now. Try again later.
Articles 1–20