Yaron Wolfsthal

The Reservoir model and architecture for open federated cloud computing

Benny Rochwerger, David Breitgand, Eliezer Levy et al. · IBM Journal of Research and Development · 2009 · 797 citations

Computing, Cloud Computing, Information Technology +17

A study in coverage-driven test generation

Mike Benjamin, Daniel Geist, Alan Hartman et al. · 1999 · 87 citations · Full text

Computing, Computer Engineering, Computer Science +15

AVPGEN-A test generator for architecture verification

Ashok K. Chandra, V. Iyengar, David H. Jameson et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1995 · 74 citations

Engineering, Computer Engineering, Computer Science +12

Combining System Level Modeling with Assertion Based Verification

A. Dahan, Daniel Geist, L. Gluhovsky et al. · 2005 · 60 citations

Engineering, Computer Engineering, Computer Science +16

A Cloud Environment for Data-intensive Storage Services

Elliot K. Kolodner, Sivan Tal, Dimosthenis Kyriazis et al. · 2011 · 47 citations · Full text

Computing, Cloud Computing, Computer Systems +17