( en | de | ru )

 

Disambiguation of "Grumberg, Orna"

Author of the publication

copydeleteadd this publication to your clipboard
A work-efficient distributed algorithm for reachability analysis.

, , and . Formal Methods Syst. Des., 29 (2): 157-175 (2006)

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)"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation., , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 280-297. Springer, (1999)Branching-Time Temporal Logic and Tree Automata., and . Inf. Comput., 125 (1): 62-69 (1996)Model checking, 2nd Edition., , , , and . MIT Press, (2018)The Modular Framework of Computer-Aided Verification., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 359-380. DIMACS/AMS, (1990)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)Assume, guarantee or repair: a regular framework for non regular properties., , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 667-689 (2022)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)