Yaron Wolfsthal
Yaron Wolfsthal
IBM Research Division & Ben-Gurion University
Verified email at post.bgu.ac.il
Title
Cited by
Cited by
Year
The reservoir model and architecture for open federated cloud computing
B Rochwerger, D Breitgand, E Levy, A Galis, K Nagin, IM Llorente, ...
IBM Journal of Research and Development 53 (4), 4: 1-4: 11, 2009
11172009
Focs–automatic generation of simulation checkers from formal specifications
Y Abarbanel, I Beer, L Gluhovsky, S Keidar, Y Wolfsthal
International Conference on Computer Aided Verification, 538-542, 2000
2392000
A study in coverage-driven test generation
M Benjamin, D Geist, A Hartman, G Mas, R Smeets, Y Wolfsthal
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 970-975, 1999
1371999
Coverage-directed test generation using symbolic techniques
D Geist, M Farkas, A Landver, Y Lichtenstein, S Ur, Y Wolfsthal
International Conference on Formal Methods in Computer-Aided Design, 143-158, 1996
1281996
AVPGEN-a test generator for architecture verification
A Chandra, V Iyengar, D Jameson, R Jawalekar, I Nair, B Rosen, ...
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 3 (2), 188-200, 1995
1241995
Extended impossibility results for asynchronous complete networks
S Moran, Y Wolfstahl
Information Processing Letters 26 (3), 145-151, 1987
1101987
Combining system level modeling with assertion based verification
A Dahan, D Geist, L Gluhovsky, D Pidan, G Shapir, Y Wolfsthal, ...
Sixth international symposium on quality electronic design (isqed'05), 310-315, 2005
862005
Object oriented networks
K Barabash, R Cohen, L Lewin-Eytan, B Rochwerger, Y Wolfsthal
US Patent 9,313,097, 2016
752016
RuleBase: Model checking at IBM
I Beer, S Ben-David, C Eisner, D Geist, L Gluhovsky, T Heyman, ...
International Conference on Computer Aided Verification, 480-483, 1997
661997
A cloud environment for data-intensive storage services
EK Kolodner, S Tal, D Kyriazis, D Naor, M Allalouf, L Bonelli, P Brand, ...
2011 IEEE third international conference on cloud computing technology and …, 2011
602011
Model checking at IBM
S Ben-David, C Eisner, D Geist, Y Wolfsthal
Formal Methods in System Design 22 (2), 101-108, 2003
522003
CloudWave: Where adaptive cloud management meets DevOps
D Bruneo, T Fritz, S Keidar-Barner, P Leitner, F Longo, C Marquezan, ...
2014 IEEE Symposium on Computers and Communications (ISCC), 1-6, 2014
512014
An architecture for federated cloud computing
B Rochwerger, D Breitgand, D Hadas, I Llorente, R Montero, P Massonet, ...
Cloud Computing, 391-411, 2010
432010
On mapping processes to processors in distributed systems
SS Pinter, Y Wolfstahl
International journal of parallel programming 16 (1), 1-15, 1987
381987
Optimal covering of cacti by vertex-disjoint paths
S Moran, Y Wolfstahl
Theoretical Computer Science 84 (2), 179-197, 1991
351991
Reservoir: Management technologies and requirements for next generation service oriented infrastructures
B Rochwerger, A Galis, E Levy, JA Caceres, D Breitgand, Y Wolfsthal, ...
2009 IFIP/IEEE International Symposium on Integrated Network Management, 307-310, 2009
342009
Method and system for interfacing interpreted applications with compiled procedures using signature files
DT Chang, Y Wolfsthal
US Patent 5,469,574, 1995
341995
IBM Research Division cloud computing initiative
M Naghshineh, R Ratnaparkhi, D Dillenberger, JR Doran, C Dorai, ...
IBM Journal of Research and Development 53 (4), 1: 1-1: 10, 2009
332009
IEEE 1850 PSL: The next generation
H Foster, E Marschner, Y Wolfsthal
DVCon’05: Design and Verification Conference and exhibition, 2005
272005
Making distributed spanning tree algorithms fault-resilient
R Bar-Yehuda, S Kutten, Y Wolfstahl, S Zaks
Annual Symposium on Theoretical Aspects of Computer Science, 432-444, 1987
271987
The system can't perform the operation now. Try again later.
Articles 1–20