( en | de | ru )

 

Disambiguierung von "Rodeh, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CSSV: towards a realistic tool for statically detecting all buffer overflows in C.

, , und . PLDI, Seite 155-167. 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.

Franz Rodehüser

Ines Rodehau

Martina Rodehüser

Franz Rodehüser

Philipp Maximilian Rodehutskors

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Safety of Speculative Load Instructions at Compile Time., , und . ESOP, Volume 582 von Lecture Notes in Computer Science, Seite 56-72. Springer, (1992)A Sparse Table Implementation of Priority Queues., , und . ICALP, Volume 115 von Lecture Notes in Computer Science, Seite 417-431. Springer, (1981)Covering a Graph by Circuits., und . ICALP, Volume 62 von Lecture Notes in Computer Science, Seite 289-299. Springer, (1978)FLAME - An Efficient Access Method for Optical Disks., , , und . RIAO, Seite 227-236. CID, (1988)Cleanness Checking of String Manipulations in C Programs via Integer Analysis., , und . SAS, Volume 2126 von Lecture Notes in Computer Science, Seite 194-212. Springer, (2001)Checking Cleanness in Linked Lists., , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 115-134. Springer, (2000)Some Matching Problems., und . ICALP, Volume 52 von Lecture Notes in Computer Science, Seite 258-268. Springer, (1977)CSSV: towards a realistic tool for statically detecting all buffer overflows in C., , und . PLDI, Seite 155-167. ACM, (2003)Global Instruction Scheduling for Superscalar Machines., und . PLDI, Seite 241-255. ACM, (1991)Designing efficient algorithms for APL: A case study of a hydraulic-network solver., und . APL, Seite 19-23. ACM, (1979)