Monica Farkas

According to our database, Monica Farkas authored at least 2 papers between 1996 and 1999.

Collaborative distances:

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

1999

A Methodology for the Verification of a "System on Chip".

Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret

Proceedings of the 36th Conference on Design Automation, 1999

1996

Coverage-Directed Test Generation Using Symbolic Techniques.

Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996