Name Card

Full name Familienname, Vorname
Zadok, Erez
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Seyster, Justin ; Dixit, Ketan ; Huang, Xiaowan ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez InterAspect: aspect-oriented instrumentation with GCCArtikel Article2012
2Stoller, Scott D. ; Bartocci, Ezio ; Seyster, Justin ; Grosu, Radu ; Havelund, Klaus ; Smolka, Scott A. ; Zadok, Erez Runtime Verification with State EstimationKonferenzbeitrag Inproceedings 2012
3Huang, Xiaowan ; Seyster, Justin ; Callanan, Sean ; Dixit, Ketan ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Zadok, Erez Software monitoring with controllable overheadArtikel Article 2012