dblp.uni-trier.dewww.uni-trier.de

Irit Shitsevalov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
2 Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001)
2000
1EECindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk: A methodology for formal design of hardware control with application to cache coherence protocols. DAC 2000: 724-729

Coauthor Index

1Yael Abarbanel-Vinov [2]
2Neta Aizenbud-Reshef [2]
3Ilan Beer [2]
4Cindy Eisner [1] [2]
5Daniel Geist [2]
6Tamir Heyman [2]
7Russ Hoover [1]
8Wayne G. Nation [1]
9Kyle L. Nelson [1]
10Iris Reuveni [2]
11Eran Rippel [2]
12Ken Valk [1]
13Yaron Wolfsthal (Yaron Wolfstahl) [2]
14Tali Yatzkar-Haham [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)