Osnat Weissberg

Automatic Datapath Extraction for Efficient Usage of HDD

Limor Fix, Gila Kamhi, Osnat Weissberg, 1997, CAV.

Efficient Debugging in a Formal Verification Environment

Gila Kamhi, Amitai Irron, Fady Copty, 2001, CHARME.

A hybrid verification approach: getting deep into the design

Scott Hazelhurst, Limor Fix, Gila Kamhi, 2002, DAC '02.

Efficient debugging in a formal verification environment

Gila Kamhi, Amitai Irron, Fady Copty, 2003, International Journal on Software Tools for Technology Transfer.

On the quartet distance given partial information pdf

Raphael Yuster, Sagi Snir, Osnat Weissberg, 2021, J. Graph Theory.