( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Precise and efficient static array bound checking for large embedded C programs.

, и . PLDI, стр. 231-242. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pierre Venet

Joachim Venettisch

Hermann-Josef Venetz

Konstantin Venetikidis

Martin Venetz

 

Другие публикации лиц с тем же именем

Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs.. SAS, том 1145 из Lecture Notes in Computer Science, стр. 366-382. Springer, (1996)Static analysis for software assurance: soundness, scalability and adaptiveness., и . FoSER, стр. 393-396. ACM, (2010)Nonuniform Alias Analysis of Recursive Data Structures and Arrays.. SAS, том 2477 из Lecture Notes in Computer Science, стр. 36-51. Springer, (2002)A Scalable Nonuniform Pointer Analysis for Embedded Programs.. SAS, том 3148 из Lecture Notes in Computer Science, стр. 149-164. Springer, (2004)IKOS: A Framework for Static Analysis Based on Abstract Interpretation., , , и . SEFM, том 8702 из Lecture Notes in Computer Science, стр. 271-277. Springer, (2014)The Gauge Domain: Scalable Analysis of Linear Inequality Invariants.. CAV, том 7358 из Lecture Notes in Computer Science, стр. 139-154. Springer, (2012)Automatic Determination of Communication Topologies in Mobile Systems.. SAS, том 1503 из Lecture Notes in Computer Science, стр. 152-167. Springer, (1998)Precise and efficient static array bound checking for large embedded C programs., и . PLDI, стр. 231-242. ACM, (2004)F3: A Compiler for Feature Engineering., , , , , , , и . FUNARCH, стр. 3-9. ACM, (2024)Software Model Checking of ARINC-653 Flight Code with MCP., , и . NASA Formal Methods, том NASA/CP-2010-216215 из NASA Conference Proceedings, стр. 171-181. (2010)