The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Arnaud Venet Arnaud J. Venet ( http://dblp.L3S.de/Authors/Arnaud_Venet )

Publication years (Num. hits)
1996-2014 (15) 2015-2019 (3)
Publication types (Num. hits)
article(5) inproceedings(12) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur Deterministic Parallel Fixpoint Computation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mendes Oulamara, Arnaud J. Venet Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mendes Oulamara, Arnaud Venet Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Axel Simon, Arnaud Venet Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. 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
1Guillaume Brat, Neha Rungta, Arnaud Venet (eds.) NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings Search on Bibsonomy NASA Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Arnaud Venet The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Arnaud Venet, Michael R. Lowry Static analysis for software assurance: soundness, scalability and adaptiveness. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sarah Thompson, Guillaume P. Brat, Arnaud Venet Software Model Checking of ARINC-653 Flight Code with MCP. Search on Bibsonomy NASA Formal Methods The full citation details ... 2010 DBLP  BibTeX  RDF
1Arnaud Venet Towards the Integration of Symbolic and Numerical Static Analysis. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mars flight software, model checking, testing, static analysis, runtime analysis
1Arnaud Venet, Guillaume P. Brat Precise and efficient static array bound checking for large embedded C programs. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF difference-bound matrices, abstract interpretation, program verification, pointer analysis, array-bound checking
1Arnaud Venet A Scalable Nonuniform Pointer Analysis for Embedded Programs. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Arnaud Venet Nonuniform Alias Analysis of Recursive Data Structures and Arrays. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Arnaud Venet Automatic Analysis of Pointer Aliasing for Untyped Programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1999 DBLP  BibTeX  RDF
1Arnaud Venet Automatic Determination of Communication Topologies in Mobile Systems. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF nonstandard semantics, abstract interpretation, calculus
1Arnaud Venet Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Arnaud Venet Abstract Interpretation of the pi-Calculus. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (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