| A survey of automated techniques for formal software verification V D'Silva, D Kroening, G Weissenbacher Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2008 | 619 | 2008 |
| Contextual Policy Enforcement in Android Applications with Permission Event Graphs KZ Chen, N Johnson, V D’Silva, S Dai, K MacNamara, T Magrino, E Wu, ... | 211* | |
| The correctness-security gap in compiler optimization V D'Silva, M Payer, D Song 2015 IEEE Security and Privacy Workshops, 73-87, 2015 | 137 | 2015 |
| Interpolant strength V D’Silva, D Kroening, M Purandare, G Weissenbacher Verification, Model Checking, and Abstract Interpretation, 129-145, 2010 | 129 | 2010 |
| Deciding floating-point logic with abstract conflict driven clause learning M Brain, V D’silva, A Griggio, L Haller, D Kroening Formal Methods in System Design 45 (2), 213-245, 2014 | 76 | 2014 |
| Synchronous protocol automata: A framework for modelling and verification of soc communication architectures V D'silva, S Ramesh, A Sowmya Proceedings of the conference on Design, automation and test in Europe …, 2004 | 64 | 2004 |
| Bridge over troubled wrappers: Automated interface synthesis V D'silva, S Ramesh, A Sowmya VLSI Design, 2004. Proceedings. 17th International Conference on, 189-194, 2004 | 55 | 2004 |
| Abstract conflict driven learning V D'Silva, L Haller, D Kroening Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 54 | 2013 |
| Numeric bounds analysis with conflict-driven learning V D’Silva, L Haller, D Kroening, M Tautschnig International Conference on Tools and Algorithms for the Construction and …, 2012 | 54 | 2012 |
| Blitz: Compositional bounded model checking for real-world programs CY Cho, V D'Silva, D Song 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 49 | 2013 |
| A toolset for modelling and verification of gals systems S Ramesh, S Sonalkar, V D’silva, N Chandra R, B Vijayalakshmi Computer Aided Verification, 385-387, 2004 | 34 | 2004 |
| Satisfiability solvers are static analysers V D’Silva, L Haller, D Kroening International Static Analysis Symposium, 317-333, 2012 | 32 | 2012 |
| Interpolation-based verification of floating-point programs with abstract CDCL M Brain, V D’Silva, A Griggio, L Haller, D Kroening Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 26 | 2013 |
| Widening for automata V D’silva Diploma Thesis, Institut Fur Informatick, Universitat Zurich, 2006 | 25 | 2006 |
| Approximation refinement for interpolation-based model checking V D’Silva, M Purandare, D Kroening Verification, Model Checking, and Abstract Interpretation, 68-82, 2008 | 23 | 2008 |
| Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis K Avnit, V D'silva, A Sowmya, S Ramesh, S Parameswaran ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (2 …, 2009 | 21 | 2009 |
| Abstract satisfaction V D'Silva, L Haller, D Kroening Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 20 | 2014 |
| A formal approach to the protocol converter problem K Avnit, V D'Silva, A Sowmya, S Ramesh, S Parameswaran Proceedings of the conference on Design, automation and test in Europe, 294-299, 2008 | 20 | 2008 |
| An abstract interpretation of DPLL (T) M Brain, V D’Silva, L Haller, A Griggio, D Kroening Verification, Model Checking, and Abstract Interpretation, 455-475, 2013 | 19 | 2013 |
| Propositional interpolation and abstract interpretation V D’Silva European Symposium on Programming, 185-204, 2010 | 18 | 2010 |
Daniel KroeningAmazonVerified email at amazon.com
