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

TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead., , , , and . DAC, page 411-416. ACM, (2011)Automatable verification of sequential consistency., and . SPAA, page 113-121. ACM, (2001)Efficient Verification with BDDs using Implicitly Conjoined Invariants., and . CAV, volume 697 of Lecture Notes in Computer Science, page 3-14. Springer, (1993)A Scalable Memory Model for Low-Level Code., and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 290-304. Springer, (2009)Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems., , , and . DNA, volume 6937 of Lecture Notes in Computer Science, page 84-99. Springer, (2011)Automatic formal verification of DSP software., , and . DAC, page 130-135. ACM, (2000)Reducing BDD Size by Exploiting Functional Dependencies., and . DAC, page 266-271. ACM Press, (1993)Selection of the optimum uniform partition search.. Computing, 37 (3): 261-264 (1986)System-on-Chip: Reuse and Integration., , , , , , , , and . Proc. IEEE, 94 (6): 1050-1069 (2006)Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators., , and . ACM Trans. Embed. Comput. Syst., 22 (1): 6:1-6:25 (2023)