( en | de | ru )

 

Disambiguation of "Necula, George C."

Author of the publication

copydeleteadd this publication to your clipboard
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

, , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 213-228. 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

CCured: type-safe retrofitting of legacy code., , and . ACM SIGPLAN Notices, 47 (4a): 74-85 (2012)A logic-based approach to software system safety and security., and . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 67-68 (2000)Mining Temporal Specifications for Error Detection., and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 461-476. Springer, (2005)Enforcing resource bounds via static verification of dynamic checks., , , , and . ACM Trans. Program. Lang. Syst., 29 (5): 28 (2007)Lightweight Wrappers for Interfacing with Binary Code in CCured., and . ISSS, volume 3233 of Lecture Notes in Computer Science, page 209-225. Springer, (2003)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs., , , and . CC, volume 2304 of Lecture Notes in Computer Science, page 213-228. Springer, (2002)Join Algorithms for the Theory of Uninterpreted Functions., , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 311-323. Springer, (2004)Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , and . HotOS, USENIX Association, (2007)The Design and Implementation of a Certifying Compiler., and . PLDI, page 333-344. ACM, (1998)Efficient Representation and Validation of Proofs., and . LICS, page 93-104. IEEE Computer Society, (1998)