( en | de | ru )

 

Disambiguation of "Grumberg, Orna"

Author of the publication

copydeleteadd this publication to your clipboard
Learning to Order BDD Variables in Verification

, , and . CoRR, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Other publications of authors with the same name

Model checking, , and . MIT Press, Cambridge, Mass., (1999)Verification of the Futurebus+ Cache Coherence Protocol., , , , , , and . CHDL, volume A-32 of IFIP Transactions, page 15-30. North-Holland, (1993)Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)., , , and . Dagstuhl Reports, 6 (5): 56-71 (2016)Another Look at LTL Model Checking., , and . Formal Methods Syst. Des., 10 (1): 47-71 (1997)The 2008 CAV Award citation., , , and . Formal Methods Syst. Des., 35 (1): 4-5 (2009)Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations., , and . Formal Methods Syst. Des., 35 (1): 6-39 (2009)Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking., and . Formal Methods Syst. Des., 27 (1-2): 29-66 (2005)A work-efficient distributed algorithm for reachability analysis., , and . Formal Methods Syst. Des., 29 (2): 157-175 (2006)Assume, guarantee or repair: a regular framework for non regular properties., , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 667-689 (2022)Network Grammars, Communication Behaviors and Automatic Verification., and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 151-165. Springer, (1989)