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

2003

Efficient debugging in a formal verification environment.

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

Int. J. Softw. Tools Technol. Transf., 2003

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

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