From post

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.

 

Другие публикации лиц с тем же именем

Inductively Verifying Invariant Properties of Parameterized Systems., и . Autom. Softw. Eng., 11 (2): 101-139 (2004)Mining message sequence graphs., , , и . ICSE, стр. 91-100. ACM, (2011)Hierarchical dynamic slicing., и . ISSTA, стр. 228-238. ACM, (2007)Interacting process classes., , , и . ICSE, стр. 302-311. ACM, (2006)Accurate estimation of cache-related preemption delay., , и . CODES+ISSS, стр. 201-206. ACM, (2003)Scratchpad allocation for concurrent embedded software., , и . CODES+ISSS, стр. 37-42. ACM, (2008)Formal Reasoning about Hardware and Software Memory Models.. ICFEM, том 2495 из Lecture Notes in Computer Science, стр. 423-434. Springer, (2002)Worst-Case Execution Time and Energy Analysis., и . The Compiler Design Handbook, 2nd ed., CRC Press, (2007)WOMM: A Weak Operational Memory Model., , и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 519-534. Springer, (2010)Efficient Algorithms for Vertex Arboricity of Planar Graphs., и . FSTTCS, том 1026 из Lecture Notes in Computer Science, стр. 37-51. Springer, (1995)