Yaron Wolfsthal

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Visualizing Insider Threats: An Effective Interface for Security Analytics.
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.
IJHPCN, 2015

2014
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

2011

2009
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

2005
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

2004
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

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

2002
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

2001
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

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

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

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

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

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

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

1993
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

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

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

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

One-Page Book Embedding Under Vertex-Neighborhood Constraints.
SIAM J. Discrete Math., 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

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

1987
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


  Loading...