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
3562005
Predicate abstraction of ANSI-C programs using SAT
E Clarke, D Kroening, N Sharygina, K Yorav
Formal Methods in System Design 25 (2-3), 105-127, 2004
2502004
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
2082004
The opensmt solver
R Bruttomesso, E Pek, N Sharygina, A Tsitovich
International Conference on Tools and Algorithms for the Construction and …, 2010
1322010
Formal verification of SystemC by automatic hardware/software partitioning
D Kroening, N Sharygina
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
1232005
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
912005
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
802005
Termination analysis with compositional transition invariants
D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger
International Conference on Computer Aided Verification, 89-103, 2010
782010
Dynamic component substitutability analysis
N Sharygina, S Chaki, E Clarke, N Sinha
International Symposium on Formal Methods, 512-528, 2005
622005
Cogent: Accurate theorem proving for program verification
B Cook, D Kroening, N Sharygina
International Conference on Computer Aided Verification, 296-300, 2005
622005
Symbolic model checking for asynchronous boolean programs
B Cook, D Kroening, N Sharygina
International SPIN Workshop on Model Checking of Software, 75-90, 2005
612005
Loop summarization and termination analysis
A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening
International Conference on Tools and Algorithms for the Construction and …, 2011
582011
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
562012
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Haifa verification conference, 160-175, 2011
492011
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
482012
Loop summarization using abstract transformers
D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger
International Symposium on Automated Technology for Verification and …, 2008
462008
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
462008
A formal object-oriented analysis for software reliability: Design for verification
N Sharygina, JC Browne, RP Kurshan
International Conference on Fundamental Approaches to Software Engineering …, 2001
462001
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
432008
The ComFoRT reasoning framework
S Chaki, J Ivers, N Sharygina, K Wallnau
International Conference on Computer Aided Verification, 164-169, 2005
412005
The system can't perform the operation now. Try again later.
Articles 1–20