Dr. Yaron Wolfsthal  Dr. Yaron Wolfsthal photo         

contact information

Associate Director
IBM Cyber Center of Excellence, Beer Sheva


Professional Associations

Professional Associations:  5G Infratructure Association  |  IEEE   |  NESSI - Networked European Software and Services Initiative

more information

More information:  Cybersecurity Center of Excellence at Ben-Gurion University


Visualizing Insider Threats: An Effective Interface for Security Analytics
B Haim, E Menahem, Y Wolfsthal and C Meenan
Proceedings of the 22nd International Conference on Intelligent User Interfaces, pp. 39--42, 2017


Towards the Future Internet: the RESERVOIR, VISION Cloud and CloudWave Experiences
F Longo, D Bruneo, Dario, M Villari, A Puliafito, E Salant and Y Wolfsthal
International Journal of High Performance Computing and Networking 8(3), 235--247, Inderscience Publishers (IEL), 2015


From Vision Cloud to Cloudwave: Towards the Future Internet and a New Generation of Services
F Longo, D Bruneo, M Villari, A Puliafito, E Salant and Y Wolfsthal
Proceedings of the 2014 International Conference onIntelligent Networking and Collaborative Systems (INCoS), pp. 641--646

CloudWave: Where Adaptive Cloud Management Meets DevOps
D Bruneo, T Fritz, S Keidar-Barner, P Leitner, F Longo, C Marquezan, A Metzger, K Pohl, A Puliafito, D Raz, and Y Wolfsthal
Proceedings of the 2014 IEEE Symposium on Computers and Communication (ISCC), pp. 1--6


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
M Cezon, Michel and Y Wolfsthal
2011 - books.google.com, Springer Science & Business Media

Data-Intensive Storage Services on Clouds: Limitations, Challenges and Enablers
D Naor, P Brand M Dao, A Eckert, G Spyridon, D Harnik, M Jaeger, D Kyriazis, M Lorenz, A Messina, A Shribman, T, Sivan and Y Wolfdsthal
European Research Activities in Cloud Computing, pp. 68, Cambridge Scholars Publishing, 2011

A Cloud Environment for Data-Intensive Storage Services
E Kolodner, T Sivan, D Kyriazis, D Naor, M Allalouf, L Bonelli, P Brand, A Eckert, E Elmroth, Erik and Y Wolfsthal
Proceedings of the 2011 IEEE third international conference on Cloud computing technology and science (CloudCom), pp. 357--366


IBM Research Division Cloud Computing Initiative
M Naghshineh, R Ratnaparkhi, D Dillenberger, J Doran, C Dorai, L Anderson, J Pacifici, J Snowdon, A Azagury, M VanderWiele and Y Wolfsthal
IBM Journal of Research and Development 53(4), 1--1, IBM, 2009

Design for Future Internet Service Infrastructures
B Rochwerger, A Galis, D Breitgand, E Levy, J Caceres, I Llorente, Y Wolfsthal, M Wusthoff, S Clayman and C Chapman
Procedings of the Future Internet Assembly, pp. 227--237, 2009

Toward Transforming Business Continuity Services
C Ward, S Agassi, K Bhattacharya, O Biran, R Cocchiara, M Factor, CT Hayashi, T Hochberg, B Kearney, J Laredo and Y Wolfsthal
IBM Journal of Research and Development 53(6), 7--1, IBM, 2009

The Reservoir Model and Architecture for Open Federated Cloud Computing
B Rochwerger, D Breitgand, E Levy, A Galis, K Nagin, IM Llorente, RE Montero, Y Wolfsthal, E Elmroth, J Caceres
IBM Journal of Research and Development 53(4), 4--1, IBM, 2009



PSL and SVA: Two Standard Assertion Languages Addressing Complementary Engineering Needs
J Havlicek and Y Wolfsthal
Proceedings of the 2005 Design and Verification Conference (DVCon '05)

Combining System Level Modeling with Assertion-Based Verification
A Dahan, D Geist, L Gluhovsky, D Pidan, G Shapir, Y Wolfsthal, L Benalycherif, R Kamidem and Y Lahbib
Procedings of the 2005 Symposium on Quality of Electronic Design (ISQED '05), pp. 310--315

Formal Verification: Is It Real Enough?
Y Wolfsthal and R M Gott
Proceedings of the 42nd Annual Design Automation Conference (DAC '05), pp. 671, 2005

IEEE 1850 PSL: The Next Generation
H Foster, E Marschner and Y Wolfsthal
Proceedings of the Design and Verification Conference (DVCon '05), 2005


Model Checking at IBM
S Ben-David, C Eisner, D Geist and Y Wolfsthal
Formal Methods in System Design 22(2), 101--108, Springer, 2003


An Algorithmic Approach to Design Exploration
S Barner, S Ben-David, A Gringauze, B Sterin and Y Wolfsthal
Proceedings of Formal Methods Europe (FME '02), pp. 146--162, Springer, 2002

PathFinder: A Tool for Design Exploration
S Ben-David, A Gringauze, S Keidar, B Sterin and Y Wolfsthal
Proceedings of the 2002 International Conference on Computer Aided Verification (CAV '02), pp. 510--514, Springer


Coverability Analysis Using Symbolic Model Checking
G Ratzaby, S Ur and Y Wolfsthal
Proceedings of the 11th Conference on Correct Hardware Design and Verification Methods (CHARME '01)), pp. 155, 2001

On the Effective Deployment of Functional Formal Verification
Y Abarbanel-Vinov, N Aizenbud-Reshef, I Beer, C Eisner, D Geist, T Heyman, I Reuveni, E Rippel, I Shitsevalov and Y Wolfsthal
Formal Methods in System Design 19(1), 35--44, Springer, 2001


FoCs - Automatic Generation of Simulation Checkers from Formal Specifications
Y Abarbanel, I Beer, L Gluhovsky, S Keidar and Y Wolfsthal
Proceedings of the 2000 International Conference on Computer Aided Verification (CAV '00), pp. 538--542


A Study in Coverage-Driven Test Generation
M Benjamin, D Geist, A Hartman, Y Wolfsthal, G Mas and R Smeets
Proceedings of the 36th Design Automation Conference (DAC'99), pp. 970--975, 1999


RuleBase: Model Checking at IBM
I Beer, S Ben-David, C Eisner, D Geist, L Gluhovsky, T Heyman, A Landver, P Paanah, Y Rodeh, G Ronin and Y Wolfsthal
Computer Aided Verification (CAV '97), pp. 480--483, Springer, 1997


Coverage-Directed Test Generation Using Symbolic Techniques
D Geist, M Farkas, A Landver, Y Lichtenstein, S Ur and Y Wolfsthal
Formal Methods in Computer-Aided Design: first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996: proceedings, pp. 143


A Verification Scheme for Pipelined Vector Architectures
R Armoni, D Geist, MS Siegel, Y Wolfsthal
Electrical and Electronics Engineers in Israel, 1995, pp. 1--3

AVPGEN - A Test Generator for Architecture Verification
A Chandra, V Iyengar, D Jameson, R Jawalekar, I Nair, B Rosen, M Mullen, J Yoon, R Armoni, D Geist and Y Wolfsthal
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 3(2), 188--200, IEEE, 1995


The Road to Effective Software Development
Y Wolfsthal
IEEE Communications Magazine 32(4), 84--87, 1994


A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs
F Makedon, D Sheinwald and Y Wolfsthal
Information Processing Letters 46(2), 103--107, Elsevier, 1993

Two-Page Book Embedding of Trees under Vertex-neighborhood Constraints
S Moran and Y Wolfsthal
Discrete Applied Mathematics 43(3), 233--241, Elsevier, 1993


Style Control in the Quill Document Editing System
Y Wolfsthal
Software: Practice and Experience 21(6), 625--638, Wiley Online Library, 1991