The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jorge A. Navas" ( http://dblp.L3S.de/Authors/Jorge_A._Navas )

URL (Homepage):  http://clip.dia.fi.upm.es/~jorge/  Author page on DBLP  Author page in RDF  Community of Jorge A. Navas in ASPL-2

Publication years (Num. hits)
2005-2012 (15) 2013-2015 (18) 2016-2019 (10)
Publication types (Num. hits)
article(14) inproceedings(29)
Venues (Conferences, Journals, ...)
CoRR(7) SAS(4) Electr. Notes Theor. Comput. S...(2) ICLP(2) LOPSTR(2) NFM(2) TACAS(2) TPLP(2) ACM Trans. Program. Lang. Syst...(1) APLAS(1) ATVA(1) CAV(1) CAV (1)(1) CP(1) ESEC/SIGSOFT FSE(1) FMCAD(1) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 44 publication records. Showing 43 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel Unification-based Pointer Analysis without Oversharing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv Simple and precise static analysis of untrusted Linux kernel extensions. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel Unification-based Pointer Analysis without Oversharing. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz Executable Counterexamples in Software Model Checking. Search on Bibsonomy VSTTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas Verification of Fault-Tolerant Protocols with Sally. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Jorge A. Navas A Context-Sensitive Memory Model for Verification of C/C++ Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A complete refinement procedure for regular separability of context-free languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Exploiting Sparsity in Difference-Bound Matrices. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An Abstract Domain of Uninterpreted Functions. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas Algorithmic logic-based verification. Search on Bibsonomy SIGLOG News The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Horn clauses as an intermediate representation for program analysis and transformation. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf Finding Inconsistencies in Programs with Loops. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas The SeaHorn Verification Framework. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas SeaHorn: A Framework for Verifying C Programs (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Tool for Intersecting Context-Free Grammars and Its Applications. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Complete Refinement Procedure for Regular Separability of Context-Free Languages. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti Verification of Programs by Combining Iterated Specialization with Interpolation. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey A Partial-Order Approach to Array Content Analysis. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Analyzing Array Manipulating Programs by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet IKOS: A Framework for Static Analysis Based on Abstract Interpretation. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Failure tabled constraint logic programming by interpolation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas Boosting concolic testing via interpolation. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Abstract Interpretation over Non-lattice Abstract Domains. Search on Bibsonomy SAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte Unbounded Model-Checking with Interpolation for Regular Language Constraints. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kathryn Francis, Jorge A. Navas, Peter J. Stuckey Modelling Destructive Assignments. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa TRACER: A Symbolic Execution Tool for Verification. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. Search on Bibsonomy APLAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa Path-Sensitive Backward Slicing. Search on Bibsonomy SAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa Symbolic Execution for Verification. Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa Unbounded Symbolic Execution for Program Verification. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo Towards Parameterized Regular Type Inference Using Set Constraints Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa Abstraction Learning. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo User-Definable Resource Usage Bounds Analysis for Java Bytecode. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo Negative Ternary Set-Sharing. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo User-Definable Resource Bounds Analysis for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. Search on Bibsonomy LOPSTR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo Efficient Top-Down Set-Sharing Analysis Using Cliques. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A study of set-sharing analysis via cliques. Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A Study of Set-Sharing Analysis via Clique. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license