Formal Verification - Is it real enough?
- Yaron Wolfsthal
- Rebecca M. Gott
- 2005
- DAC 2005
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
19 results for Yaron Wolfsthal
Visualizing insider threats: An effective interface for security analytics
- Bar Haim
- Eitan Menahem
- et al.
- 2017
- IUI 2017
A cloud environment for data-intensive storage services
- Elliot K. Kolodner
- Sivan Tal
- et al.
- 2011
- CloudCom 2011
RESERVOIR: Management technologies and requirements for next generation service oriented infrastructures
- B. Rochwerger
- A. Galis
- et al.
- 2009
- IM 2009
Combining system level modeling with assertion based verification
- Anat Dahan
- Daniel Geist
- et al.
- 2005
- ISQED 2005
Verification scheme for pipelined vector architectures
- Roy Armoni
- Daniel Geist
- et al.
- 1995
- IEEEI 1995
PathFinder: A tool for design exploration
- Shoham Ben-David
- Anna Gringauze
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Towards the future internet: The RESERVOIR, VISION cloud, and CloudWave experiences
- Francesco Longo
- Dario Bruneo
- et al.
- 2015
- IJHPCN
Toward transforming business continuity services
- Christopher Ward
- Shimon Agassi
- et al.
- 2009
- IBM J. Res. Dev
Cloud computing and RESERVOIR project
- S. Beco
- A. Maraschini
- et al.
- 2009
- Nuovo Cimento della Societa Italiana di Fisica C