Search results for "Yaron Wolfsthal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michel Cezon, Yaron Wolfsthal (eds.)	Towards a Service-Based Internet. ServiceWave 2010 Workshops - International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers	ServiceWave Workshops	2011	DBLP DOI BibTeX RDF
1	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 Hernández, Michael C. Jaeger, Ewnetu Bayuh Lakew, José Manuel Lopez, Mirko Lorenz, Alberto Messina, Alexandra Shulman-Peleg, Roman Talyansky, Athanasios Voulodimos, Yaron Wolfsthal	A Cloud Environment for Data-intensive Storage Services.	CloudCom	2011	DBLP DOI BibTeX RDF
1	M. Naghshineh, Radha Ratnaparkhi, Donna N. Dillenberger, James R. Doran, C. Dorai, Lilith Anderson, Giovanni Pacifici, Jane L. Snowdon, Alain Azagury, Mark VanderWiele, Yaron Wolfsthal	IBM Research Division cloud computing initiative.	IBM Journal of Research and Development	2009	DBLP DOI BibTeX RDF
1	Christopher Ward, S. Agassi, Kamal Bhattacharya, O. Biran, R. Cocchiara, M. E. Factor, C. T. Hayashi, T. Hochberg, B. Kearney, Jim Laredo, David Loewenstern, A. E. Rodecap, J. K. Skoog, Larisa Shwartz, M. Thompson, R. Thompson, Yaron Wolfsthal	Toward transforming business continuity services.	IBM Journal of Research and Development	2009	DBLP DOI BibTeX RDF
1	Benny Rochwerger, David Breitgand, Eliezer Levy, Alex Galis, Kenneth Nagin, Ignacio Martín Llorente, Rubén S. Montero, Yaron Wolfsthal, Erik Elmroth, Juan A. Cáceres, Muli Ben-Yehuda, Wolfgang Emmerich, Fermín Galán	The Reservoir model and architecture for open federated cloud computing.	IBM Journal of Research and Development	2009	DBLP DOI BibTeX RDF
1	Benny Rochwerger, Alex Galis, Eliezer Levy, Juan A. Cáceres, David Breitgand, Yaron Wolfsthal, Ignacio Martín Llorente, Mark Wusthoff, Rubén S. Montero, Erik Elmroth	RESERVOIR: Management technologies and requirements for next generation Service Oriented Infrastructures.	Integrated Network Management	2009	DBLP DOI BibTeX RDF
1	Benny Rochwerger, Alex Galis, David Breitgand, Eliezer Levy, Juan A. Cáceres, Ignacio Martín Llorente, Yaron Wolfsthal, Mark Wusthoff, Stuart Clayman, Clovis Chapman, Wolfgang Emmerich, Erik Elmroth, Rubén Santiago Montero	Design for Future Internet Service Infrastructures.	Future Internet Assembly	2009	DBLP DOI BibTeX RDF
1	Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)	Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers	Haifa Verification Conference	2006	DBLP BibTeX RDF
1	Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib	Combining System Level Modeling with Assertion Based Verification.	ISQED	2005	DBLP DOI BibTeX RDF
1	Yaron Wolfsthal, Rebecca M. Gott	Formal verification: is it real enough?	DAC	2005	DBLP DOI BibTeX RDF	formal verification, functional verification
1	Yaron Wolfsthal	Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal	Model Checking at IBM.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	model checking, formal methods, formal verification
1	Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal	An Algorithmic Approach to Design Exploration.	FME	2002	DBLP DOI BibTeX RDF	hardware debugging, hardware exploration, Model checking
1	Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal	PathFinder: A Tool for Design Exploration.	CAV	2002	DBLP DOI BibTeX RDF	Model Checking, Debugging, Design Exploration, PathFinder
1	Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham	On the Effective Deployment of Functional Formal Verification.	Formal Methods in System Design	2001	DBLP DOI BibTeX RDF
1	Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal	Coverability Analysis Using Symbolic Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
1	Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal	FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.	CAV	2000	DBLP DOI BibTeX RDF
1	Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal	A Study in Coverage-Driven Test Generation.	DAC	1999	DBLP DOI BibTeX RDF	transition coverage, test generation, formal models, functional verification
1	Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal	RuleBase: Model Checking at IBM.	CAV	1997	DBLP DOI BibTeX RDF
1	Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal	Coverage-Directed Test Generation Using Symbolic Techniques.	FMCAD	1996	DBLP DOI BibTeX RDF
1	Ashok K. Chandra, Vijay S. Iyengar, D. Jameson, R. V. Jawalekar, Indira Nair, Barry K. Rosen, Michael P. Mullen, J. Yoon, R. Armoni, Daniel Geist, Yaron Wolfsthal	AVPGEN-A test generator for architecture verification.	IEEE Trans. VLSI Syst.	1995	DBLP DOI BibTeX RDF
1	Yaron Wolfstahl, Michael Yoeli	An Equivalence Theorem for Labeled Marked Graphs.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	equivalence theorem, labeledmarked graphs, structural determinism, sequential language, firing sequences, Petri nets, Petri nets, multiprocessing systems, formal languages, transitions, concurrent language
1	Fillia Makedon, Dafna Sheinwald, Yaron Wolfsthal	A Simple Linear-Time Algorithm for the Recognition of Bandwidth-2 Biconnected Graphs.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
1	Shlomo Moran, Yaron Wolfsthal	Two-Page Book Embedding of Trees under Vertex-Neighborhood Constraints.	Discrete Applied Mathematics	1993	DBLP DOI BibTeX RDF
1	Shlomo Moran, Yaron Wolfsthal	Optimal Covering of Cacti by Vertex-Disjoint Paths.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
1	Yaron Wolfsthal	Style Control in the Quill Document Editing Systems.	Softw., Pract. Exper.	1991	DBLP DOI BibTeX RDF
1	Alon Itai, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks	Optimal Distributed t-Resilient Election in Complete Networks.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	optimal distributed t-resilient election, distributed leader election, election algorithm, fault-free network, software engineering, fault tolerant computing, distributed processing, computer networks, message complexity, complete networks
1	Shlomo Moran, Yaron Wolfstahl	One-Page Book Embedding Under Vertex-Neighborhood Constraints.	SIAM J. Discrete Math.	1990	DBLP DOI BibTeX RDF
1	Yaron Wolfstahl	Mapping parallel programs to multiprocessors: a dynamic approach.	Parallel Computing	1989	DBLP DOI BibTeX RDF
1	Shlomit S. Pinter, Yaron Wolfstahl	On mapping processes to processors in distributed systems.	International Journal of Parallel Programming	1987	DBLP DOI BibTeX RDF
1	Shlomo Moran, Yaron Wolfstahl	Extended Impossibility Results for Asynchronous Complete Networks.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
1	Shlomit S. Pinter, Yaron Wolfstahl	Embedding Ternary Trees in VLSI Arrays.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
1	Reuven Bar-Yehuda, Shay Kutten, Yaron Wolfstahl, Shmuel Zaks	Making Distributed Spanning Tree Algorithms Fault-Resilient.	STACS	1987	DBLP DOI BibTeX RDF

Publications of Yaron Wolfsthal Yaron Wolfstahl ( http://dblp.L3S.de/Authors/Yaron_Wolfsthal )