Orna Grumberg - Selected publications#

E.M.Clarke, O. Grumberg, D. Peled: Model Checking, MIT Press, December 1999.

O.Grumberg, D.E.Long: Model Checking and Modular Verification, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 3, 843--871 , May 1994.

E.M.Clarke, O.Grumberg, D.E.Long: Model Checking and Abstraction, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 16, No. 5, 1512-1542, September 1994.

D.Dams, R.Gerth, O.Grumberg: Abstract Interpretation of Reactive Systems, ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 19, No. 2, March 1997.

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith, Counterexample-Guided Abstraction Refinement for Symbolic Model checking, JACM 50(5): 752-794 (2003).

S. Shoham, O. Grumberg Monotonic Abstraction-Refinement for CTL, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), Barcelona, April 2004.

O. Grumberg, A. Schuster, A. Yadgar, Memory Efficient All-Solutions SAT solver and its Application to Reachability, Fifth International Conference on Formal methods in Computer-Aided Design (FMCAD'04), Austin, Texas, November 2004.

Y. Vizel, O. Grumberg, Interpolation-Sequence Based Model Checking,
10th International Conference on Formal Methods in Computer-Aided Design (FMCAD'09), Austin, Texas, November 2009.

Y. Vizel, O. Grumberg, S. Shoham, Lazy Abstraction and SAT-Based Reachability for Hardware Model Checking,
13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'12), Cambridge, England, October 2012.

A. Sosnovich, O. Grumberg, G. Nakibly, Finding Security Vulnerabilities in a Network Protocol using Parameterized Systems, Computer-Aided Verification (CAV'13), Saint Petersburg, Russia, July 2013.