| 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 | 366 | 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 | 257 | 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 | 212 | 2004 |
| The opensmt solver R Bruttomesso, E Pek, N Sharygina, A Tsitovich International Conference on Tools and Algorithms for the Construction and …, 2010 | 136 | 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 | 130 | 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 | 96 | 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 | 80 | 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 | 58 | 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 |
| Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011 | 53 | 2011 |
| Loop summarization using abstract transformers D Kroening, N Sharygina, S Tonetta, A Tsitovich, CM Wintersteiger International Symposium on Automated Technology for Verification and …, 2008 | 52 | 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 | 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 | 50 | 2008 |
| 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 | 45 | 2012 |
| 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 | 45 | 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 |
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
