Yaron Wolfsthal

32 papers A* 5B 1C 2Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
TRADE: TRusted Anonymous Data Exchange: Threat Sharing Using Blockchain Technology.
CoRR
Yair Allouche, Nachiket Tapas, Francesco Longo, Asaf Shabtai, Yaron Wolfsthal
2017 — conf
Visualizing Insider Threats: An Effective Interface for Security Analytics.
IUI Companion
Bar Haim, Eitan Menahem, Yaron Wolfsthal, Christopher Meenan
2015 J jnl
Towards the future internet: the RESERVOIR, VISION Cloud, and CloudWave experiences.
Int. J. High Perform. Comput. Netw.
Francesco Longo, Dario Bruneo, Massimo Villari, Antonio Puliafito, Eliot E. Salant, Yaron Wolfsthal
2014 C conf
CloudWave: Where adaptive cloud management meets DevOps.
ISCC
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
2014 — conf
From VISION Cloud to Cloudwave: Towards the Future Internet and a New Generation of Services.
INCoS
Francesco Longo, Dario Bruneo, Massimo Villari, Antonio Puliafito, Eliot E. Salant, Yaron Wolfsthal
2011 C conf
A Cloud Environment for Data-intensive Storage Services.
CloudCom
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
2011 — ed.
Towards a Service-Based Internet. ServiceWave 2010 Workshops - International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
ServiceWave Workshops
Michel Cezon, Yaron Wolfsthal
2009 — conf
Design for Future Internet Service Infrastructures.
Future Internet Assembly
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
2009 J jnl
IBM Research Division cloud computing initiative.
IBM J. Res. Dev.
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
2009 — conf
RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures.
Integrated Network Management
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
2009 J jnl
The Reservoir model and architecture for open federated cloud computing.
IBM J. Res. Dev.
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
2009 J jnl
Toward transforming business continuity services.
IBM J. Res. Dev.
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
2006 — ed.
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Haifa Verification Conference
Shmuel Ur, Eyal Bin, Yaron Wolfsthal
2005 — conf
Combining System Level Modeling with Assertion Based Verification.
ISQED
Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib
2005 A* conf
Formal verification: is it real enough?
DAC
Yaron Wolfsthal, Rebecca M. Gott
2004 — conf
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
ISoLA (Preliminary proceedings)
Yaron Wolfsthal
2003 J jnl
Model Checking at IBM.
Formal Methods Syst. Des.
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal
2002 — conf
An Algorithmic Approach to Design Exploration.
FME
Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
2002 A* conf
PathFinder: A Tool for Design Exploration.
CAV
Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
2001 — conf
Coverability Analysis Using Symbolic Model Checking.
CHARME
Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal
2001 J jnl
On the Effective Deployment of Functional Formal Verification.
Formal Methods Syst. Des.
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
2000 A* conf
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.
CAV
Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal
1999 A* conf
A Study in Coverage-Driven Test Generation.
DAC
Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal
1997 A* conf
RuleBase: Model Checking at IBM.
CAV
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal
1996 B conf
Coverage-Directed Test Generation Using Symbolic Techniques.
FMCAD
Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
1995 J jnl
AVPGEN-A test generator for architecture verification.
IEEE Trans. Very Large Scale Integr. Syst.
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
1994 J jnl
The road to effective software development.
IEEE Commun. Mag.
Yaron Wolfsthal
1993 J jnl
A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs.
Inf. Process. Lett.
Fillia Makedon, Dafna Sheinwald, Yaron Wolfsthal
1993 J jnl
Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints.
Discret. Appl. Math.
Shlomo Moran, Yaron Wolfsthal
1991 J jnl
Optimal Covering of Cacti by Vertex-Disjoint Paths.
Theor. Comput. Sci.
Shlomo Moran, Yaron Wolfsthal
1991 J jnl
Style Control in the Quill Document Editing Systems.
Softw. Pract. Exp.
Yaron Wolfsthal
1990 — conf
One-page book embedding under vertex-neighborhood constraints.
Jerusalem Conference on Information Technology
Shlomo Moran, Yaron Wolfsthal