Author of the publication

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.

 

Other publications of authors with the same name

Dynamic test input generation for web applications., , , , , and . ISSTA, page 249-260. ACM, (2008)Formal Specification and Analysis of Timing Properties in Software Systems., , , , and . FASE, volume 5503 of Lecture Notes in Computer Science, page 262-277. Springer, (2009)JavaScript instrumentation for browser security., , , and . POPL, page 237-249. ACM, (2007)Verification of safety properties for concurrent assembly code., and . ICFP, page 175-188. ACM, (2004)Characteristics and modelling of PEM fuel cells., and . ISCAS (5), page 880-883. IEEE, (2004)A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment., , and . ACM SIGPLAN Notices, 32 (9): 57-60 (1997)Formalization of generics for the .NET common language runtime., , and . POPL, page 39-51. ACM, (2004)Supporting Binary Compatibility with Static Compilation., , and . Java Virtual Machine Research and Technology Symposium, page 165-180. USENIX, (2002)Building Certified Libraries for PCC: Dynamic Storage Allocation., , and . ESOP, volume 2618 of Lecture Notes in Computer Science, page 363-379. Springer, (2003)JavaScript Instrumentation in Practice., , , , and . APLAS, volume 5356 of Lecture Notes in Computer Science, page 326-341. Springer, (2008)