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 | 1190 | 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 | 241 | 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 | 146 | 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 | 131 | 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 | 127 | 1995 |
Object oriented networks K Barabash, R Cohen, L Lewin-Eytan, B Rochwerger, Y Wolfsthal US Patent 9,313,097, 2016 | 122 | 2016 |
Extended impossibility results for asynchronous complete networks S Moran, Y Wolfstahl Information Processing Letters 26 (3), 145-151, 1987 | 119 | 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 | 86 | 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 | 68 | 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 | 66 | 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 | 59 | 2014 |
Model checking at IBM S Ben-David, C Eisner, D Geist, Y Wolfsthal Formal Methods in System Design 22, 101-108, 2003 | 55 | 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 | 53 | 2011 |
On mapping processes to processors in distributed systems SS Pinter, Y Wolfstahl International journal of parallel programming 16, 1-15, 1987 | 42 | 1987 |
Optimal covering of cacti by vertex-disjoint paths S Moran, Y Wolfstahl Theoretical Computer Science 84 (2), 179-197, 1991 | 39 | 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 | 35 | 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 | 34 | 2009 |
Method and system for interfacing interpreted applications with compiled procedures using signature files DT Chang, Y Wolfsthal US Patent 5,469,574, 1995 | 34 | 1995 |
IEEE 1850 PSL: The next generation H Foster, E Marschner, Y Wolfsthal Proceedings of Design and Verification Conference and exhibition (DVCON), 2005 | 33 | 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 | 30 | 1990 |