Searching for authors named Orna Grumberg – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

45 documents found, showing 1 through 10. Next 10 →

Verification; F.4.1 [Logics and Meanings of Programs]: Mathematical Logic—Temporal Logic
by Sharon Shoham, Orna Grumberg
… and ORNA GRUMBERG Computer Science Department, Technion, Haifa, Israel This work exploits and extends…
Add To MetaCart

3-valued abstraction: More precision at less cost
by Sharon Shoham, Orna Grumberg — 2006 — In LICS
…3-Valued Abstraction: More Precision at Less Cost Sharon Shoham Orna Grumberg Computer Science…
Cited by 6 (2 self) – Add To MetaCart

Monotonic abstraction-refinement for CTL
by Sharon Shoham, Orna Grumberg — 2004 — In TACAS
…Monotonic Abstraction-Refinement for CTL Sharon Shoham and Orna Grumberg Computer Science…
Cited by 17 (2 self) – Add To MetaCart

A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
by Sharon Shoham, Orna Grumberg — 2003 — In Computer Aided Verification (CAV), LNCS 2725
… and Orna Grumberg Computer Science Department, Technion, Haifa, Israel, {sharonsh,orna…
Cited by 16 (7 self) – Add To MetaCart

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
by Sharon Barner, Orna Grumberg — 2002 — This TLV must always appear in a grace-LSA. o Graceful restart reason (Type=2, length=1). Encodes the reason for the router restart as one of the following: 0 (unknown), 1 (software restart), 2 (software
…;2 and Orna Grumberg 1 1 Computer Science Department, Technion, Haifa 32000, Israel 2 IBM Haifa Research…
Cited by 5 (0 self) – Add To MetaCart

Modular Model Checking of Software
by Karen Laster, Orna Grumberg — 1997 — In Conference on Tools and Algorithms for the Construction and Analysis of Systems
… Modular Model Checking of Software Karen Laster Orna Grumberg Computer Science Department…
Cited by 17 (0 self) – Add To MetaCart

Applicability of fair simulation
by Doron Bustan, Orna Grumberg — 2002 — In TACAS, LNCS 2280
… Applicability of Fair Simulation Doron Bustan and Orna Grumberg Computer Science Department…
Cited by 3 (1 self) – Add To MetaCart

Bounded model checking of concurrent programs
by Ishai Rabinovitz, Orna Grumberg — 2005 — In Computer-Aided Verification (CAV), LNCS 3576
…Bounded Model Checking of Concurrent Programs Ishai Rabinovitz 1,2 and Orna Grumberg 1 1 Technion…
Cited by 7 (2 self) – Add To MetaCart

Faithful Translations Among Models and Specifications in VeriTech
by Orna Grumberg, Shmuel Katz, Shmuel Katz — 2000
…Faithful Translations Among Models and Specifications in VeriTech Orna Grumberg and Shmuel Katz…
Cited by 1 (0 self) – Add To MetaCart

Multi-valued model checking games
by Sharon Shoham, Orna Grumberg — 2005 — In Proc. 3rd ATVA, LNCS 3707
…Multi-Valued Model Checking Games Sharon Shoham and Orna Grumberg Computer Science Department…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB