Natasha Sharygina - Google Scholar

Cited by

	All	Since 2015
Citations	3139	1195
h-index	31	21
i10-index	67	42

280

140

210

2004200520062007200820092010201120122013201420152016201720182019202040 85 102 184 159 185 191 206 220 258 262 246 260 214 214 173 83

Co-authors

Daniel KroeningProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
Antti E. J. HyvärinenPostdoc, Università della Svizzera italianaVerified email at usi.ch
Aliaksei TsitovichSoftware Engineer, Sonova AGVerified email at sonova.com
Francesco AlbertiEolo SpAVerified email at eolo.it
Roberto BruttomessoExpert Researcher and Software EngineerVerified email at atrenta.com
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Nishant SinhaResearch Staff Member, IBM Research LabsVerified email at in.ibm.com
Simone Fulvio RolliniUniversity of LuganoVerified email at usi.ch
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Matteo MarescottiUSI LuganoVerified email at usi.ch
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Christoph M. WintersteigerMicrosoft ResearchVerified email at microsoft.com
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Hana ChocklerKing's College LondonVerified email at kcl.ac.uk
Silvio RaniseFBKVerified email at fbk.eu
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch

Natasha Sharygina

Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland

Verified email at usi.ch - Homepage

Program Verification Model Checking Decision Procedures


Title Sort by citations Sort by year Sort by 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	363	2005
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	252	2004
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	209	2004
The opensmt solver R Bruttomesso, E Pek, N Sharygina, A Tsitovich International Conference on Tools and Algorithms for the Construction and …, 2010	134	2010
Formal verification of SystemC by automatic hardware/software partitioning D Kroening, N Sharygina Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005	126	2005
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	95	2005
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	82	2005
Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger International Conference on Computer Aided Verification, 89-103, 2010	78	2010
Cogent: Accurate theorem proving for program verification B Cook, D Kroening, N Sharygina International Conference on Computer Aided Verification, 296-300, 2005	62	2005
Symbolic model checking for asynchronous boolean programs B Cook, D Kroening, N Sharygina International SPIN Workshop on Model Checking of Software, 75-90, 2005	61	2005
Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha International Symposium on Formal Methods, 512-528, 2005	61	2005
Loop summarization and termination analysis A Tsitovich, N Sharygina, CM Wintersteiger, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2011	57	2011
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	56	2012
Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011	50	2011
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	50	2008
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	49	2012
Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008	48	2008
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	45	2001
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	43	2008
The ComFoRT reasoning framework S Chaki, J Ivers, N Sharygina, K Wallnau International Conference on Computer Aided Verification, 164-169, 2005	41	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors