Jorge A Navas
Titel
Zitiert von
Zitiert von
Jahr
The SeaHorn verification framework
A Gurfinkel, T Kahsai, A Komuravelli, JA Navas
International Conference on Computer Aided Verification, 343-361, 2015
2232015
TRACER: a symbolic execution tool for verification
J Jaffar, V Murali, JA Navas, AE Santosa
Computer Aided Verification, 758-766, 2012
1232012
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
1082007
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
802007
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
662013
Unbounded symbolic execution for program verification
J Jaffar, JA Navas, AE Santosa
International Conference on Runtime Verification, 396-411, 2011
532011
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
512015
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
452009
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
402014
Safe upper-bounds inference of energy consumption for Java bytecode applications
J Navas, M Méndez-Lojo, M Hermenegildo
The Sixth NASA Langley Formal Methods Workshop (LFM 08), 29-32, 2008
312008
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
262013
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
242012
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
222016
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
212013
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
212007
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
192013
Exploiting sparsity in difference-bound matrices
G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey
International Static Analysis Symposium, 189-211, 2016
182016
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
182015
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
International Static Analysis Symposium, 231-247, 2012
172012
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
172006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20