Discover new books on Goodreads

See if your friends have read any of Orna Grumberg's books

Orna Grumberg

Orna Grumberg’s Followers

None yet.

Orna Grumberg

Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.

Combine Editions
Orna Grumberg’s books

Average rating: 4.4 · 5 ratings · 1 review · 17 distinct works

	Model Checking by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled 3.79 avg rating — 24 ratings — published 1999 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000) by Orna Grumberg (Editor), Helmut Veith (Editor) it was amazing 5.00 avg rating — 1 rating — published 2008	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4424) 0.00 avg rating — 0 ratings — published 2007	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science, 1254) 0.00 avg rating — 0 ratings — published 1997 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Logical Methods for System Security and Correctness (NATO Science for Peace and Security, 14) by Orna Grumberg (Editor), Tobias Nipkow (Editor), Christian Pfaller (Editor) 0.00 avg rating — 0 ratings — published 2008	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533) by Orna Grumberg (Editor), Michael Kaminski (Editor), Shmuel Katz (Editor) 0.00 avg rating — 0 ratings — published 2009 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007. Lecture Notes in Computer Science, Volume 4424. by Orna Grumberg (Editor), Michael Huth (Editor) 0.00 avg rating — 0 ratings — published 2007	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Software Systems Safety 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems 0.00 avg rating — 0 ratings — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	25 Years of Model Checking 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by Orna Grumberg…

Topics Mentioning This Author

topics	posts	views	last activity
Goodreads Librari...: [closed] Clean up XVI	757	736	Jul 16, 2023 12:15AM

Is this you? Let us know. If not, help out and invite Orna to Goodreads.