Yaron Wolfsthal

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 2

Top Topics

Future Internet

National Security

Xml Data Exchange

Trusted Platform Module

Top Venues

Int. J. High Perform. Comput. Netw.

Publications

Yair Allouche, Nachiket Tapas, Francesco Longo, Asaf Shabtai, Yaron Wolfsthal
TRADE: TRusted Anonymous Data Exchange: Threat Sharing Using Blockchain Technology. CoRR (2021)
Bar Haim, Eitan Menahem, Yaron Wolfsthal, Christopher Meenan
Visualizing Insider Threats: An Effective Interface for Security Analytics. IUI Companion (2017)
Francesco Longo, Dario Bruneo, Massimo Villari, Antonio Puliafito, Eliot E. Salant, Yaron Wolfsthal
Towards the future internet: the RESERVOIR, VISION Cloud, and CloudWave experiences. Int. J. High Perform. Comput. Netw. 8 (3) (2015)
Francesco Longo, Dario Bruneo, Massimo Villari, Antonio Puliafito, Eliot E. Salant, Yaron Wolfsthal
From VISION Cloud to Cloudwave: Towards the Future Internet and a New Generation of Services. INCoS (2014)
Dario Bruneo, Thomas Fritz, Sharon Keidar-Barner, Philipp Leitner, Francesco Longo, Clarissa Cassales Marquezan, Andreas Metzger, Klaus Pohl, Antonio Puliafito, Danny Raz, Andreas Roth, Eliot E. Salant, Itai Segall, Massimo Villari, Yaron Wolfsthal, Chris Woods
CloudWave: Where adaptive cloud management meets DevOps. ISCC (2014)
Elliot K. Kolodner, Sivan Tal, Dimosthenis Kyriazis, Dalit Naor, Miriam Allalouf, Lucia Bonelli, Per Brand, Albert Eckert, Erik Elmroth, Spyridon V. Gogouvitis, Danny Harnik, Francisco Hernández-Rodriguez, Michael C. Jaeger, Ewnetu Bayuh Lakew, José Manuel Lopez, Mirko Lorenz, Alberto Messina, Alexandra Shulman-Peleg, Roman Talyansky, Athanasios Voulodimos, Yaron Wolfsthal
A Cloud Environment for Data-intensive Storage Services. CloudCom (2011)
Benny Rochwerger, Alex Galis, Eliezer Levy, Juan A. Cáceres, David Breitgand, Yaron Wolfsthal, Ignacio Martín Llorente, Mark Wusthoff, Rubén S. Montero, Erik Elmroth
RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures. Integrated Network Management (2009)
Mahmoud Naghshineh, Radha Ratnaparkhi, Donna N. Dillenberger, James R. Doran, C. Dorai, Lilith Anderson, Giovanni Pacifici, Jane L. Snowdon, Alain Azagury, Mark VanderWiele, Yaron Wolfsthal
IBM Research Division cloud computing initiative. IBM J. Res. Dev. 53 (4) (2009)
Benny Rochwerger, Alex Galis, David Breitgand, Eliezer Levy, Juan A. Cáceres, Ignacio Martín Llorente, Yaron Wolfsthal, Mark Wusthoff, Stuart Clayman, Clovis Chapman, Wolfgang Emmerich, Erik Elmroth, Rubén Santiago Montero
Design for Future Internet Service Infrastructures. Future Internet Assembly (2009)
Christopher Ward, S. Agassi, Kamal Bhattacharya, O. Biran, R. Cocchiara, M. E. Factor, C. T. Hayashi, T. Hochberg, B. Kearney, Jim Laredo, David Loewenstern, A. E. Rodecap, J. K. Skoog, Larisa Shwartz, M. Thompson, R. Thompson, Yaron Wolfsthal
Toward transforming business continuity services. IBM J. Res. Dev. 53 (6) (2009)
Benny Rochwerger, David Breitgand, Eliezer Levy, Alex Galis, Kenneth Nagin, Ignacio Martín Llorente, Rubén S. Montero, Yaron Wolfsthal, Erik Elmroth, Juan A. Cáceres, Muli Ben-Yehuda, Wolfgang Emmerich, Fermín Galán
The Reservoir model and architecture for open federated cloud computing. IBM J. Res. Dev. 53 (4) (2009)
Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib
Combining System Level Modeling with Assertion Based Verification. ISQED (2005)
Yaron Wolfsthal, Rebecca M. Gott
Formal verification: is it real enough? DAC (2005)
Yaron Wolfsthal
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ISoLA (Preliminary proceedings) (2004)
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal
Model Checking at IBM. Formal Methods Syst. Des. 22 (2) (2003)
Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
An Algorithmic Approach to Design Exploration. FME (2002)
Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
PathFinder: A Tool for Design Exploration. CAV (2002)
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 Syst. Des. 19 (1) (2001)
Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal
Coverability Analysis Using Symbolic Model Checking. CHARME (2001)
Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV (2000)
Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal
A Study in Coverage-Driven Test Generation. DAC (1999)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal
RuleBase: Model Checking at IBM. CAV (1997)
Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD (1996)
Ashok K. Chandra, Vijay S. Iyengar, D. Jameson, R. V. Jawalekar, Indira Nair, Barry K. Rosen, Michael P. Mullen, J. Yoon, R. Armoni, Daniel Geist, Yaron Wolfsthal
AVPGEN-A test generator for architecture verification. IEEE Trans. Very Large Scale Integr. Syst. 3 (2) (1995)
Yaron Wolfsthal
The road to effective software development. IEEE Commun. Mag. 32 (4) (1994)
Shlomo Moran, Yaron Wolfsthal
Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints. Discret. Appl. Math. 43 (3) (1993)
Fillia Makedon, Dafna Sheinwald, Yaron Wolfsthal
A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs. Inf. Process. Lett. 46 (2) (1993)
Shlomo Moran, Yaron Wolfsthal
Optimal Covering of Cacti by Vertex-Disjoint Paths. Theor. Comput. Sci. 84 (2) (1991)
Yaron Wolfsthal
Style Control in the Quill Document Editing Systems. Softw. Pract. Exp. 21 (6) (1991)
Shlomo Moran, Yaron Wolfsthal
One-page book embedding under vertex-neighborhood constraints. Jerusalem Conference on Information Technology (1990)