Verifying a Self-Timed Divider. - Tarik Ono-Tesfaye; Christoph Kern; Mark R. Greenstreet (ASYNC, 1998)

A Fast, asP*, RGD Arbiter. - Mark R. Greenstreet; Tarik Ono-Tesfaye (ASYNC, 1999)

A light-weight framework for hardware verification. - Christoph Kern; Tarik Ono-Tesfaye; Mark R. Greenstreet (Int. J. Softw. Tools Technol. Transf., 2001)

A modular synchronizing FIFO for NoCs. - Tarik Ono-Tesfaye; Mark R. Greenstreet (NOCS, 2009)