Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYaron Wolfsthal
Person information
- affiliation: Thomas J. Watson Research Center, Yorktown Heights, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2015
[j20]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): 235-247 (2015)- 2009
- [j19]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): 1 (2009) - [j18]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): 4 (2009) - [j17]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:
Toward transforming business continuity services. IBM J. Res. Dev. 53(6): 7 (2009) - 2003
- [j16]Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal:
Model Checking at IBM. Formal Methods Syst. Des. 22(2): 101-108 (2003) - 2001
- [j15]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): 35-44 (2001) - 1995
- [j14]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): 188-200 (1995) - 1994
- [j13]Yaron Wolfsthal:
The road to effective software development. IEEE Commun. Mag. 32(4): 84-87 (1994) - [j12]Yaron Wolfstahl, Michael Yoeli:
An Equivalence Theorem for Labeled Marked Graphs. IEEE Trans. Parallel Distributed Syst. 5(8): 886-891 (1994) - 1993
- [j11]Shlomo Moran, Yaron Wolfsthal:
Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints. Discret. Appl. Math. 43(3): 233-241 (1993) - [j10]Fillia Makedon, Dafna Sheinwald, Yaron Wolfsthal:
A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs. Inf. Process. Lett. 46(2): 103-107 (1993) - 1991
- [j9]Yaron Wolfsthal:
Style Control in the Quill Document Editing Systems. Softw. Pract. Exp. 21(6): 625-638 (1991) - [j8]Shlomo Moran, Yaron Wolfsthal:
Optimal Covering of Cacti by Vertex-Disjoint Paths. Theor. Comput. Sci. 84(2): 179-197 (1991) - 1990
- [j7]Shlomo Moran, Ilan Newman, Yaron Wolfstahl:
Approximation algorithms for covering a graph by vertex-disjoint paths of maximum total weight. Networks 20(1): 55-64 (1990) - [j6]Shlomo Moran, Yaron Wolfstahl:
One-Page Book Embedding Under Vertex-Neighborhood Constraints. SIAM J. Discret. Math. 3(3): 376-390 (1990) - [j5]Alon Itai, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks:
Optimal Distributed t-Resilient Election in Complete Networks. IEEE Trans. Software Eng. 16(4): 415-420 (1990) - 1989
- [j4]Yaron Wolfstahl:
Mapping parallel programs to multiprocessors: a dynamic approach. Parallel Comput. 10(1): 45-50 (1989) - 1987
- [j3]Shlomit S. Pinter, Yaron Wolfstahl:
On mapping processes to processors in distributed systems. Int. J. Parallel Program. 16(1): 1-15 (1987) - [j2]Shlomo Moran, Yaron Wolfstahl:
Extended Impossibility Results for Asynchronous Complete Networks. Inf. Process. Lett. 26(3): 145-151 (1987) - [j1]Shlomit S. Pinter, Yaron Wolfstahl:
Embedding Ternary Trees in VLSI Arrays. Inf. Process. Lett. 26(4): 187-191 (1987)
Conference and Workshop Papers
- 2017
- [c18]Bar Haim, Eitan Menahem, Yaron Wolfsthal, Christopher Meenan:
Visualizing Insider Threats: An Effective Interface for Security Analytics. IUI Companion 2017: 39-42 - 2014
- [c17]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: 641-646 - [c16]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: 1-6 - 2011
- [c15]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: 357-366 - 2009
- [c14]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: 227-237 - [c13]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: 307-310 - 2005
- [c12]Yaron Wolfsthal, Rebecca M. Gott:
Formal verification: is it real enough? DAC 2005: 670-671 - [c11]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: 310-315 - 2004
- [c10]Yaron Wolfsthal:
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ISoLA (Preliminary proceedings) 2004: 190-190 - 2002
- [c9]Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal:
PathFinder: A Tool for Design Exploration. CAV 2002: 510-514 - [c8]Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal:
An Algorithmic Approach to Design Exploration. FME 2002: 146-162 - 2001
- [c7]Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal:
Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160 - 2000
- [c6]Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal:
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV 2000: 538-542 - 1999
- [c5]Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal:
A Study in Coverage-Driven Test Generation. DAC 1999: 970-975 - 1997
- [c4]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: 480-483 - 1996
- [c3]Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal:
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158 - 1990
- [c2]Shlomo Moran, Yaron Wolfsthal:
One-page book embedding under vertex-neighborhood constraints. Jerusalem Conference on Information Technology 1990: 436-446 - 1987
- [c1]Reuven Bar-Yehuda, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks:
Making Distributed Spanning Tree Algorithms Fault-Resilient. STACS 1987: 432-444
Editorship
- 2011
- [e2]Michel Cezon, Yaron Wolfsthal:
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. Lecture Notes in Computer Science 6569, Springer 2011, ISBN 978-3-642-22759-2 [contents] - 2006
- [e1]Shmuel Ur, Eyal Bin, Yaron Wolfsthal:
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3875, Springer 2006, ISBN 3-540-32604-9 [contents]
Informal and Other Publications
- 2021
- [i1]Yair Allouche, Nachiket Tapas, Francesco Longo, Asaf Shabtai, Yaron Wolfsthal:
TRADE: TRusted Anonymous Data Exchange: Threat Sharing Using Blockchain Technology. CoRR abs/2103.13158 (2021)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-09 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
