Natasha Sharygina

Cited by

	All	Since 2016
Citations	3389	1129
h-index	32	20
i10-index	69	42

280

140

210

20042005200620072008200920102011201220132014201520162017201820192020202139 87 108 186 159 191 197 211 223 265 260 244 265 213 215 173 217 45

Public access

View all

35 articles

1 article

available

not available

Based on funding mandates

Co-authors

Daniel KroeningAmazonVerified email at amazon.com
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 SinhaFounder, Chief Scientist, OffNote LabsVerified email at in.ibm.com
Simone Fulvio RolliniUniversity of LuganoVerified email at usi.ch
Matteo MarescottiUSI LuganoVerified email at usi.ch
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Christoph M. WintersteigerMicrosoft ResearchVerified email at microsoft.com
Stefano TonettaFondazione Bruno KesslerVerified email at fbk.eu
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
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

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	372	2005
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	265	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	218	2004
The opensmt solver R Bruttomesso, E Pek, N Sharygina, A Tsitovich International Conference on Tools and Algorithms for the Construction and …, 2010	141	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	136	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	98	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	85	2005
Termination analysis with compositional transition invariants D Kroening, N Sharygina, A Tsitovich, CM Wintersteiger International Conference on Computer Aided Verification, 89-103, 2010	84	2010
Cogent: Accurate theorem proving for program verification B Cook, D Kroening, N Sharygina International Conference on Computer Aided Verification, 296-300, 2005	66	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	63	2005
Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha International Symposium on Formal Methods, 512-528, 2005	63	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	60	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	57	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	57	2008
Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011	56	2011
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	51	2012
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	51	2012
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	51	2008
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	47	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	44	2001

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