Osnat Weissberg

According to our database, Osnat Weissberg authored at least 4 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

On the quartet distance given partial information.

Sagi Snir, Osnat Weissberg, Raphael Yuster

J. Graph Theory, 2022

2002

A hybrid verification approach: getting deep into the design.

Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix

Proceedings of the 39th Design Automation Conference, 2002

2001

Efficient Debugging in a Formal Verification Environment.

Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1997

Automatic Datapath Extraction for Efficient Usage of HDD.

Gila Kamhi, Osnat Weissberg, Limor Fix

Proceedings of the Computer Aided Verification, 9th International Conference, 1997