Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Arnaud Venet
2010 – today
- 2013
[e1]Guillaume Brat, Neha Rungta, Arnaud Venet (Eds.): NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Lecture Notes in Computer Science 7871, Springer 2013, ISBN 978-3-642-38087-7- 2012
- [c10]Arnaud Venet: The Gauge Domain: Scalable Analysis of Linear Inequality Invariants. CAV 2012: 139-154
- 2010
- [c9]Sarah Thompson, Guillaume P. Brat, Arnaud Venet: Software Model Checking of ARINC-653 Flight Code with MCP. NASA Formal Methods 2010: 171-181
- [c8]Arnaud Venet, Michael R. Lowry: Static analysis for software assurance: soundness, scalability and adaptiveness. FoSER 2010: 393-396
2000 – 2009
- 2005
- [c7]Arnaud Venet: Towards the Integration of Symbolic and Numerical Static Analysis. VSTTE 2005: 227-236
- 2004
- [j2]Guillaume 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. Formal Methods in System Design 25(2-3): 167-198 (2004)
- [c6]Arnaud Venet, Guillaume P. Brat: Precise and efficient static array bound checking for large embedded C programs. PLDI 2004: 231-242
- [c5]
- 2002
- [c4]
1990 – 1999
- 1999
- [j1]Arnaud Venet: Automatic Analysis of Pointer Aliasing for Untyped Programs. Sci. Comput. Program. 35(2): 223-248 (1999)
- 1998
- [c3]Arnaud Venet: Automatic Determination of Communication Topologies in Mobile Systems. SAS 1998: 152-167
- 1996
- [c2]
- [c1]Arnaud Venet: Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs. SAS 1996: 366-382
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-25 21:23 CEST by the dblp team