( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Beyond Bug-Finding: Sound Program Analysis for Linux.

, , , , , , , и . HotOS, USENIX Association, (2007)

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.

George C Craig

George C Tiao

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

Guido C C Clinckspoor

Thomas C C Knöbig

 

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

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration., , , и . HotPar, USENIX Association, (2012)Data Structure Specifications via Local Equality Axioms., и . CAV, том 3576 из Lecture Notes in Computer Science, стр. 476-490. Springer, (2005)Temporal-Safety Proofs for Systems Code., , , , , и . CAV, том 2404 из Lecture Notes in Computer Science, стр. 526-538. Springer, (2002)Using Dependent Types to Certify the Safety of Assembly Code., и . SAS, том 3672 из Lecture Notes in Computer Science, стр. 155-170. Springer, (2005)Global value numbering using random interpretation., и . POPL, стр. 342-352. ACM, (2004)Discovering affine equalities using random interpretation., и . POPL, стр. 74-84. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.CCured: type-safe retrofitting of legacy code., , и . POPL, стр. 128-139. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Enforcing Resource Bounds via Static Verification of Dynamic Checks., , , , и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 311-325. Springer, (2005)Safe, Untrusted Agents Using Proof-Carrying Code., и . Mobile Agents and Security, том 1419 из Lecture Notes in Computer Science, стр. 61-91. Springer, (1998)The open verifier framework for foundational verifiers., , , и . TLDI, стр. 1-12. ACM, (2005)