Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Capriccio: scalable threads for internet services.

J. von Behren, J. Condit, F. Zhou, G. Necula, und E. Brewer. SOSP, Seite 268-281. ACM, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

C. Traut

C. Honold

George Basem Fouad Eskandar University of Stuttgart

Jingshan Chen University of Stuttgart

Optimization-based trajectory planning for transport collaboration of heterogeneous systemsJ. Chen, W. Luo, H. Ebel, und P. Eberhard. Automatisierungstechnik, 72 (2): 80-90 (2024)

Sebastian Cammerer University of Stuttgart

On End-to-End Learning of Joint Detection and Decoding for Short-Packet CommunicationsJ. Clausius, S. Dörner, S. Cammerer, und S. Brink. 2022 IEEE Globecom Workshops (GC Wkshps), Seite 377-382. IEEE, (2022)

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Representation and Validation of Proofs.G. Necula, und P. Lee. LICS, Seite 93-104. IEEE Computer Society, (1998)Beyond Bug-Finding: Sound Program Analysis for Linux.Z. Anderson, E. Brewer, J. Condit, R. Ennals, D. Gay, M. Harren, G. Necula, und F. Zhou. HotOS, USENIX Association, (2007)A logic-based approach to software system safety and security.G. Necula, und S. Rahul. ACM SIGSOFT Software Engineering Notes, 25 (1): 67-68 (2000)Mining Temporal Specifications for Error Detection.W. Weimer, und G. Necula. TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 461-476. Springer, (2005)SJS: A Type System for JavaScript with Fixed Object Layout.W. Choi, S. Chandra, G. Necula, und K. Sen. SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2015)MultiSE: multi-path symbolic execution using value summaries.K. Sen, G. Necula, L. Gong, und W. Choi. ESEC/SIGSOFT FSE, Seite 842-853. ACM, (2015)CCured: type-safe retrofitting of legacy software.G. Necula, J. Condit, M. Harren, S. McPeak, und W. Weimer. ACM Trans. Program. Lang. Syst., 27 (3): 477-526 (2005)Enforcing resource bounds via static verification of dynamic checks.A. Chander, D. Espinosa, N. Islam, P. Lee, und G. Necula. ACM Trans. Program. Lang. Syst., 29 (5): 28 (2007)CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.G. Necula, S. McPeak, S. Rahul, und W. Weimer. CC, Volume 2304 von Lecture Notes in Computer Science, Seite 213-228. Springer, (2002)Lightweight Wrappers for Interfacing with Binary Code in CCured.M. Harren, und G. Necula. ISSS, Volume 3233 von Lecture Notes in Computer Science, Seite 209-225. Springer, (2003)