Formal Verification - Is it real enough?
- Yaron Wolfsthal
- Rebecca M. Gott
- 2005
- DAC 2005
Publications
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