Yaron Wolfsthal

According to our database1, Yaron Wolfsthal authored at least 36 papers between 1987 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.



In proceedings 
PhD thesis 



On csauthors.net:


Visualizing Insider Threats: An Effective Interface for Security Analytics.
Proceedings of the Companion Publication of the 22nd International Conference on Intelligent User Interfaces, 2017

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

CloudWave: Where adaptive cloud management meets DevOps.
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.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014


Toward transforming business continuity services.
IBM Journal of Research and Development, 2009

The Reservoir model and architecture for open federated cloud computing.
IBM Journal of Research and Development, 2009

IBM Research Division cloud computing initiative.
IBM Journal of Research and Development, 2009

RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures.
Proceedings of the Integrated Network Management, 2009

Design for Future Internet Service Infrastructures.
Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

Combining System Level Modeling with Assertion Based Verification.
Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

Formal verification: is it real enough?
Proceedings of the 42nd Design Automation Conference, 2005

Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Model Checking at IBM.
Formal Methods in System Design, 2003

An Algorithmic Approach to Design Exploration.
Proceedings of the FME 2002: Formal Methods, 2002

PathFinder: A Tool for Design Exploration.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

On the Effective Deployment of Functional Formal Verification.
Formal Methods in System Design, 2001

Coverability Analysis Using Symbolic Model Checking.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

A Study in Coverage-Driven Test Generation.
Proceedings of the 36th Conference on Design Automation, 1999

RuleBase: Model Checking at IBM.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Coverage-Directed Test Generation Using Symbolic Techniques.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

AVPGEN-A test generator for architecture verification.
IEEE Trans. VLSI Syst., 1995

An Equivalence Theorem for Labeled Marked Graphs.
IEEE Trans. Parallel Distrib. Syst., 1994

A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs.
Inf. Process. Lett., 1993

Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints.
Discrete Applied Mathematics, 1993

Optimal Covering of Cacti by Vertex-Disjoint Paths.
Theor. Comput. Sci., 1991

Style Control in the Quill Document Editing Systems.
Softw., Pract. Exper., 1991

Optimal Distributed t-Resilient Election in Complete Networks.
IEEE Trans. Software Eng., 1990

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

One-page book embedding under vertex-neighborhood constraints.
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

Mapping parallel programs to multiprocessors: a dynamic approach.
Parallel Computing, 1989

Embedding Ternary Trees in VLSI Arrays.
Inf. Process. Lett., 1987

Extended Impossibility Results for Asynchronous Complete Networks.
Inf. Process. Lett., 1987

On mapping processes to processors in distributed systems.
International Journal of Parallel Programming, 1987

Making Distributed Spanning Tree Algorithms Fault-Resilient.
Proceedings of the STACS 87, 1987