PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Necula, George C."

Author of the publication

copydeleteadd this publication to your clipboard
Capriccio: scalable threads for internet services.

, , , , and . SOSP, page 268-281. ACM, (2003)

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.

C. Traut

C. Honold

George Basem Fouad Eskandar University of Stuttgart

Tzu-Ying Chen University of Stuttgart

Replication Data for: Structural development of a novel punctually supported timber building system for multi-storey construction : Experimental Data: Tension Tests of the Edge Connection, , , , , and . Dataset, (2024)Related to: Anna Krtschil, Luis Orozco, Simon Bechert, Hans Jakob Wagner, Felix Amtsberg, Tzu-Ying Chen, Anand Shah, Achim Menges, Jan Knippers, "Structural development of a novel punctually supported timber building system for multi-storey construction", Journal of Building Engineering, Volume 58, 2022, pages 104972. doi: 10.1016/j.jobe.2022.104972.

Jannis Clausius University of Stuttgart

Graph Neural Network-based Joint Equalization and Decoding, , , and . (2024)
 

Other publications of authors with the same name

Beyond Bug-Finding: Sound Program Analysis for Linux., , , , , , , and . HotOS, USENIX Association, (2007)Efficient Representation and Validation of Proofs., and . LICS, page 93-104. IEEE Computer Society, (1998)A logic-based approach to software system safety and security., and . ACM SIGSOFT Software Engineering Notes, 25 (1): 67-68 (2000)CCured: type-safe retrofitting of legacy software., , , , and . ACM Trans. Program. Lang. Syst., 27 (3): 477-526 (2005)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)Enforcing resource bounds via static verification of dynamic checks., , , , and . ACM Trans. Program. Lang. Syst., 29 (5): 28 (2007)MultiSE: multi-path symbolic execution using value summaries., , , and . ESEC/SIGSOFT FSE, page 842-853. ACM, (2015)SJS: A Type System for JavaScript with Fixed Object Layout., , , and . SAS, volume 9291 of Lecture Notes in Computer Science, page 181-198. Springer, (2015)Mining Temporal Specifications for Error Detection., and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 461-476. Springer, (2005)