Yaron Wolfsthal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
1996–2017
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | IUI | Visualizing Insider Threats: An Effective Interface for Security Analytics. | Bar Haim, Eitan Menahem, Yaron Wolfsthal, Christopher Meenan |
| 2014 | ISCC | CloudWave: Where adaptive cloud management meets DevOps. | Dario Bruneo, Thomas Fritz, Sharon Keidar-Barner, Philipp Leitner, Francesco Longo, Clarissa Cassales Marquezan, Andreas Metzger, Klaus Pohl, Antonio Puliafito, Danny Raz, Andreas Roth, Eliot E. Salant, Itai Segall, Massimo Villari, Yaron Wolfsthal, Chris Woods |
| 2011 | CloudCom | A Cloud Environment for Data-intensive Storage Services. | Elliot K. Kolodner, Sivan Tal, Dimosthenis Kyriazis, Dalit Naor, Miriam Allalouf, Lucia Bonelli, Per Brand, Albert Eckert, Erik Elmroth, Spyridon V. Gogouvitis, Danny Harnik, Francisco Hernndez-Rodriguez, Michael C. Jaeger, Ewnetu Bayuh Lakew, Jos Manuel Lopez, Mirko Lorenz, Alberto Messina, Alexandra Shulman-Peleg, Roman Talyansky, Athanasios Voulodimos, Yaron Wolfsthal |
| 2009 | IM | RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures. | Benny Rochwerger, Alex Galis, Eliezer Levy, Juan A. Cceres, David Breitgand, Yaron Wolfsthal, Ignacio Martn Llorente, Mark Wusthoff, Rubn S. Montero, Erik Elmroth |
| 2005 | DAC | Formal verification: is it real enough? | Yaron Wolfsthal, Rebecca M. Gott |
| 2004 | ISoLA | Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". | Yaron Wolfsthal |
| 2002 | CAV | PathFinder: A Tool for Design Exploration. | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | FM | An Algorithmic Approach to Design Exploration. | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2000 | CAV | FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. | Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal |
| 1999 | DAC | A Study in Coverage-Driven Test Generation. | Mike Benjamin, Daniel Geist, Alan Hartman, Grard Mas, Ralph Smeets, Yaron Wolfsthal |
| 1997 | CAV | RuleBase: Model Checking at IBM. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal |
| 1996 | FMCAD | Coverage-Directed Test Generation Using Symbolic Techniques. | Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal |