Yaron Wolfsthal
Yaron Wolfsthal
IBM Research Division & Ben-Gurion University
Verified email at
Cited by
Cited by
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
Focs–automatic generation of simulation checkers from formal specifications
Y Abarbanel, I Beer, L Gluhovsky, S Keidar, Y Wolfsthal
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
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
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
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
Object oriented networks
K Barabash, R Cohen, L Lewin-Eytan, B Rochwerger, Y Wolfsthal
US Patent 9,313,097, 2016
Extended impossibility results for asynchronous complete networks
S Moran, Y Wolfstahl
Information Processing Letters 26 (3), 145-151, 1987
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
RuleBase: Model checking at IBM
I Beer, S Ben-David, C Eisner, D Geist, L Gluhovsky, T Heyman, ...
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
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
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
Model checking at IBM
S Ben-David, C Eisner, D Geist, Y Wolfsthal
Formal Methods in System Design 22, 101-108, 2003
An architecture for federated cloud computing
B Rochwerger, C Vázquez, D Breitgand, D Hadas, M Villari, P Massonet, ...
Cloud computing: principles and paradigms, 391-411, 2011
On mapping processes to processors in distributed systems
SS Pinter, Y Wolfstahl
International journal of parallel programming 16, 1-15, 1987
Optimal covering of cacti by vertex-disjoint paths
S Moran, Y Wolfstahl
Theoretical Computer Science 84 (2), 179-197, 1991
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
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
Method and system for interfacing interpreted applications with compiled procedures using signature files
DT Chang, Y Wolfsthal
US Patent 5,469,574, 1995
IEEE 1850 PSL: The next generation
H Foster, E Marschner, Y Wolfsthal
Proceedings of Design and Verification Conference and exhibition (DVCON), 2005
Optimal distributed t-resilient election in complete networks
A Itai, S Kutten, Y Wolfstahl, S Zaks
IEEE Transactions on Software Engineering 16 (4), 415-420, 1990
The system can't perform the operation now. Try again later.
Articles 1–20