| The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015 | 217 | 2015 |
| TRACER: a symbolic execution tool for verification J Jaffar, V Murali, JA Navas, AE Santosa Computer Aided Verification, 758-766, 2012 | 124 | 2012 |
| User-definable resource bounds analysis for logic programs J Navas, E Mera, P López-García, MV Hermenegildo International Conference on Logic Programming, 348-363, 2007 | 107 | 2007 |
| A flexible,(C) LP-based approach to the analysis of object-oriented programs M Méndez-Lojo, J Navas, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2007 | 79 | 2007 |
| Boosting concolic testing via interpolation J Jaffar, V Murali, JA Navas Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 64 | 2013 |
| Unbounded symbolic execution for program verification J Jaffar, JA Navas, AE Santosa International Conference on Runtime Verification, 396-411, 2011 | 53 | 2011 |
| SeaHorn: A framework for verifying C programs (competition contribution) A Gurfinkel, T Kahsai, JA Navas International Conference on Tools and Algorithms for the Construction and …, 2015 | 50 | 2015 |
| User-definable resource usage bounds analysis for Java bytecode J Navas, M Méndez-Lojo, MV Hermenegildo Electronic Notes in Theoretical Computer Science 253 (5), 65-82, 2009 | 43 | 2009 |
| IKOS: A framework for static analysis based on abstract interpretation G Brat, JA Navas, N Shi, A Venet International Conference on Software Engineering and Formal Methods, 271-277, 2014 | 39 | 2014 |
| Safe upper-bounds inference of energy consumption for Java bytecode applications J Navas, M Méndez-Lojo, MV Hermenegildo | 30 | 2008 |
| Abstract interpretation over non-lattice abstract domains G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey International Static Analysis Symposium, 6-24, 2013 | 27 | 2013 |
| Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code JA Navas, P Schachte, H Søndergaard, PJ Stuckey Programming Languages and Systems, 115-130, 2012 | 24 | 2012 |
| An abstract domain of uninterpreted functions G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey International Conference on Verification, Model Checking, and Abstract …, 2016 | 22 | 2016 |
| An efficient, parametric fixpoint algorithm for analysis of Java bytecode M Méndez, J Navas, MV Hermenegildo Electronic Notes in Theoretical Computer Science 190 (1), 51-66, 2007 | 21 | 2007 |
| Unbounded model-checking with interpolation for regular language constraints G Gange, JA Navas, PJ Stuckey, H Søndergaard, P Schachte International Conference on Tools and Algorithms for the Construction and …, 2013 | 20 | 2013 |
| Failure tabled constraint logic programming by interpolation. G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Theory Pract. Log. Program. 13 (4-5), 593-607, 2013 | 19 | 2013 |
| Exploiting sparsity in difference-bound matrices G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey International Static Analysis Symposium, 189-211, 2016 | 18 | 2016 |
| Horn clauses as an intermediate representation for program analysis and transformation G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey Theory and Practice of Logic Programming 15 (4-5), 526-542, 2015 | 18 | 2015 |
| Path-sensitive backward slicing J Jaffar, V Murali, JA Navas, AE Santosa International Static Analysis Symposium, 231-247, 2012 | 17 | 2012 |
| Efficient top-down set-sharing analysis using cliques J Navas, F Bueno, M Hermenegildo International Symposium on Practical Aspects of Declarative Languages, 183-198, 2006 | 17 | 2006 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
