( en | de | ru )

 

Disambiguation of "Necula, George C."

Author of the publication

copydeleteadd this publication to your clipboard
Temporal-Safety Proofs for Systems Code.

, , , , , and . CAV, volume 2404 of Lecture Notes in Computer Science, page 526-538. Springer, (2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

Dependent Types for Low-Level Programming., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 520-535. Springer, (2007)A model and framework for reliable build systems, , and . CoRR, (2012)A Scalable Architecture for Proof-Carrying Code.. FLOPS, volume 2024 of Lecture Notes in Computer Science, page 21-39. Springer, (2001)Analysis of Low-Level Code Using Cooperating Decompilers., , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 318-335. Springer, (2006)JVer: A Java Verifier., , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 144-147. Springer, (2005)Using Dependent Types to Port Type Systems to Low-Level Languages.. CC, volume 3923 of Lecture Notes in Computer Science, page 1. Springer, (2006)Proof-Carrying Code.. Encyclopedia of Cryptography and Security (2nd Ed.), Springer, (2011)NDetermin: inferring nondeterministic sequential specifications for parallelism correctness., , , and . PPoPP, page 329-330. ACM, (2012)Translation validation for an optimizing compiler.. PLDI, page 83-94. ACM, (2000)Specifying and checking semantic atomicity for multithreaded programs., , and . ASPLOS, page 79-90. ACM, (2011)