( en | de | ru )

 

Disambiguation of "Necula, George C."

Author of the publication

copydeleteadd this publication to your clipboard
The open verifier framework for foundational verifiers.

, , , and . TLDI, page 1-12. ACM, (2005)

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

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