Orna Grümberg
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Verification of the Futurebus+ cache coherence protocol
Edmund M. Clarke and others (1995) · Formal Methods in System Design · Springer Science+Business Media
Model checking and abstraction
Edmund M. Clarke and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Automatic verification of sequential circuit designs
E. M. Clarke and others (1992) · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · Royal Society
Model checking and abstraction
Edmund M. Clarke and others (1992) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Model checking and modular verification
Orna Grümberg and others (1991) · Lecture notes in computer science · Springer Science+Business Media
A synthesis of two approaches for verifying finite state concurrent systems
E. M. Clarke and others (1989) · Lecture notes in computer science · Springer Science+Business Media