Yaron Wolfsthal

According to our database, Yaron Wolfsthal authored at least 38 papers between 1987 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2021

TRADE: TRusted Anonymous Data Exchange: Threat Sharing Using Blockchain Technology.

Yair Allouche, Nachiket Tapas, Francesco Longo, Asaf Shabtai, Yaron Wolfsthal

CoRR, 2021

2017

Visualizing Insider Threats: An Effective Interface for Security Analytics.

Bar Haim, Eitan Menahem, Yaron Wolfsthal, Christopher Meenan

Proceedings of the Companion Publication of the 22nd International Conference on Intelligent User Interfaces, 2017

2015

Towards the future internet: the RESERVOIR, VISION Cloud, and CloudWave experiences.

Francesco Longo, Dario Bruneo, Massimo Villari, Antonio Puliafito, Eliot E. Salant, Yaron Wolfsthal

Int. J. High Perform. Comput. Netw., 2015

2014

CloudWave: Where adaptive cloud management meets DevOps.

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

Proceedings of the IEEE Symposium on Computers and Communications, 2014

From VISION Cloud to Cloudwave: Towards the Future Internet and a New Generation of Services.

Francesco Longo, Dario Bruneo, Massimo Villari, Antonio Puliafito, Eliot E. Salant, Yaron Wolfsthal

Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

2011

A Cloud Environment for Data-intensive Storage Services.

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

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

2009

Toward transforming business continuity services.

Christopher Ward, Shimon 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

IBM J. Res. Dev., 2009

The Reservoir model and architecture for open federated cloud computing.

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

IBM J. Res. Dev., 2009

IBM Research Division cloud computing initiative.

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 J. Res. Dev., 2009

RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures.

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

Proceedings of the Integrated Network Management, 2009

Design for Future Internet Service Infrastructures.

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

Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

2005

Combining System Level Modeling with Assertion Based Verification.

Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

Formal verification: is it real enough?

Yaron Wolfsthal, Rebecca M. Gott

Proceedings of the 42nd Design Automation Conference, 2005

2004

Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".

Yaron Wolfsthal

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Model Checking at IBM.

Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal

Formal Methods Syst. Des., 2003

2002

An Algorithmic Approach to Design Exploration.

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the FME 2002: Formal Methods, 2002

PathFinder: A Tool for Design Exploration.

Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

On the Effective Deployment of Functional Formal Verification.

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

Formal Methods Syst. Des., 2001

Coverability Analysis Using Symbolic Model Checking.

Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.

Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

A Study in Coverage-Driven Test Generation.

Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal

Proceedings of the 36th Conference on Design Automation, 1999

1997

RuleBase: Model Checking at IBM.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Coverage-Directed Test Generation Using Symbolic Techniques.

Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

AVPGEN-A test generator for architecture verification.

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

IEEE Trans. Very Large Scale Integr. Syst., 1995

1994

An Equivalence Theorem for Labeled Marked Graphs.

Yaron Wolfstahl, Michael Yoeli

IEEE Trans. Parallel Distributed Syst., 1994

The road to effective software development.

Yaron Wolfsthal

IEEE Commun. Mag., 1994

1993

A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs.

Fillia Makedon, Dafna Sheinwald, Yaron Wolfsthal

Inf. Process. Lett., 1993

Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints.

Shlomo Moran, Yaron Wolfsthal

Discret. Appl. Math., 1993

1991

Optimal Covering of Cacti by Vertex-Disjoint Paths.

Shlomo Moran, Yaron Wolfsthal

Theor. Comput. Sci., 1991

Style Control in the Quill Document Editing Systems.

Yaron Wolfsthal

Softw. Pract. Exp., 1991

1990

Optimal Distributed t-Resilient Election in Complete Networks.

Alon Itai, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks

IEEE Trans. Software Eng., 1990

One-Page Book Embedding Under Vertex-Neighborhood Constraints.

Shlomo Moran, Yaron Wolfstahl

SIAM J. Discret. Math., 1990

Approximation algorithms for covering a graph by vertex-disjoint paths of maximum total weight.

Shlomo Moran, Ilan Newman, Yaron Wolfstahl

Networks, 1990

1989

Mapping parallel programs to multiprocessors: a dynamic approach.

Yaron Wolfstahl

Parallel Comput., 1989

1987

Embedding Ternary Trees in VLSI Arrays.

Shlomit S. Pinter, Yaron Wolfstahl

Inf. Process. Lett., 1987

Extended Impossibility Results for Asynchronous Complete Networks.

Shlomo Moran, Yaron Wolfstahl

Inf. Process. Lett., 1987

On mapping processes to processors in distributed systems.

Shlomit S. Pinter, Yaron Wolfstahl

Int. J. Parallel Program., 1987

Making Distributed Spanning Tree Algorithms Fault-Resilient.

Reuven Bar-Yehuda, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks

Proceedings of the STACS 87, 1987