The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Orna Grumberg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Edmund M. Clarke, Orna Grumberg
    Avoiding The State Explosion Problem in Temporal Logic Model Checking. [Citation Graph (1, 0)][DBLP]
    PODC, 1987, pp:294-303 [Conf]
  2. Sharon Shoham, Orna Grumberg
    Multi-valued Model Checking Games. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:354-369 [Conf]
  3. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
    Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:11-25 [Conf]
  4. Ze'ev Shtadler, Orna Grumberg
    Network Grammars, Communication Behaviors and Automatic Verification. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:151-165 [Conf]
  5. Ran Rinat, Nissim Francez, Orna Grumberg
    Infinite Trees, Markings and Well Foundedness. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:238-253 [Conf]
  6. Doron Bustan, Orna Grumberg
    Simulation Based Minimization. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:255-270 [Conf]
  7. Sharon Barner, Orna Grumberg
    Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:93-106 [Conf]
  8. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
    Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:368-380 [Conf]
  9. Sérgio Vale Aguiar Campos, Orna Grumberg
    Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:257-268 [Conf]
  10. Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi
    Another Look at LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:415-427 [Conf]
  11. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    Counterexample-Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:154-169 [Conf]
  12. Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
    Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:126-140 [Conf]
  13. Dennis Dams, Orna Grumberg, Rob Gerth
    Generation of Reduced Models for Checking Fragments of CTL. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:479-490 [Conf]
  14. Hana De-Leon, Orna Grumberg
    Modular Abstractions for Verifying Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:2-15 [Conf]
  15. Orna Grumberg, Tamir Heyman, Assaf Schuster
    Distributed Symbolic Model Checking for µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:350-362 [Conf]
  16. Orna Grumberg, Tamir Heyman, Assaf Schuster
    A Work-Efficient Distributed Algorithm for Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:54-66 [Conf]
  17. Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
    Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:20-35 [Conf]
  18. Ishai Rabinovitz, Orna Grumberg
    Bounded Model Checking of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:82-97 [Conf]
  19. Sharon Shoham, Orna Grumberg
    A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:275-287 [Conf]
  20. Gil Shurek, Orna Grumberg
    The Modular Framework of Computer-Aided Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:214-223 [Conf]
  21. Rachel Tzoref, Orna Grumberg
    Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:190-204 [Conf]
  22. Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster
    Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:129-145 [Conf]
  23. Hardi Hungar, Orna Grumberg, Werner Damm
    What if model checking must be truly symbolic. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:1-20 [Conf]
  24. Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
    Regular Vacuity. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:191-206 [Conf]
  25. Sagi Katz, Orna Grumberg, Daniel Geist
    "Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:280-297 [Conf]
  26. Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
    Verification of the Futurebus+ Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:15-30 [Conf]
  27. Orna Bernholtz, Orna Grumberg
    Branching Time Temporal Logic and Amorphous Tree Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:262-277 [Conf]
  28. Edmund M. Clarke, Orna Grumberg, Somesh Jha
    Veryfying Parameterized Networks using Abstraction and Regular Languages. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:395-407 [Conf]
  29. Orna Grumberg, David E. Long
    Model Checking and Modular Verification. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:250-265 [Conf]
  30. Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao
    Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:427-432 [Conf]
  31. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    Progress on the State Explosion Problem in Model Checking. [Citation Graph (0, 0)][DBLP]
    Informatics, 2001, pp:176-194 [Conf]
  32. Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
    A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Logic at Botik, 1989, pp:81-90 [Conf]
  33. Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster
    Scalable Distributed On-the-Fly Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:390-404 [Conf]
  34. Orna Grumberg, Assaf Schuster, Avi Yadgar
    Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:275-289 [Conf]
  35. Orna Grumberg
    Abstraction and Refinement in Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:219-242 [Conf]
  36. Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
    First-Order-CTL Model Checking. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:283-294 [Conf]
  37. Limor Fix, Nissim Francez, Orna Grumberg
    Program Composition and Modular Verification. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:93-114 [Conf]
  38. Limor Fix, Nissim Francez, Orna Grumberg
    Program Composition via Unification. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:672-684 [Conf]
  39. Orna Bernholtz, Orna Grumberg
    Buy One, Get One Free!!! [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:210-224 [Conf]
  40. Orna Grumberg, Robert P. Kurshan
    How Linear Can Branching-Time Be? [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:180-194 [Conf]
  41. Shmuel Katz, Orna Grumberg
    A Framework for Translating Models and Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:145-164 [Conf]
  42. Katerina Korenblat, Orna Grumberg, Shmuel Katz
    Translations between Textual Transition Systems and Petri Nets. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:339-359 [Conf]
  43. Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
    State/Event Software Verification for Branching-Time Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:53-69 [Conf]
  44. Girish Bhat, Rance Cleaveland, Orna Grumberg
    Efficient On-the-Fly Model Checking for CTL* [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:388-397 [Conf]
  45. Sharon Shoham, Orna Grumberg
    3-Valued Abstraction: More Precision at Less Cost. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:399-410 [Conf]
  46. Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
    Proving Termination of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:89-105 [Conf]
  47. Orna Grumberg, Nissim Francez, Shmuel Katz
    A Compete Proof Rule for Strong Equifair Termination. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:257-278 [Conf]
  48. Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
    High Level Verification of Control Intensive Systems Using Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:55-64 [Conf]
  49. Edmund M. Clarke, Orna Grumberg, David E. Long
    Model checking. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:305-349 [Conf]
  50. Edmund M. Clarke, Orna Grumberg, Michael C. Browne
    Reasoning About Networks With Many Identical Finite-State Processes. [Citation Graph (0, 0)][DBLP]
    PODC, 1986, pp:240-248 [Conf]
  51. Orna Grumberg, Nissim Francez, Shmuel Katz
    Fail Termination of Communicating Processe. [Citation Graph (0, 0)][DBLP]
    PODC, 1984, pp:254-265 [Conf]
  52. Paul C. Attie, Nissim Francez, Orna Grumberg
    Fairness and Hyperfairness in Multi-Party Interactions. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:292-305 [Conf]
  53. Edmund M. Clarke, Orna Grumberg, David E. Long
    Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:342-354 [Conf]
  54. Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
    Proof-guided underapproximation-widening for multi-process systems. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:122-131 [Conf]
  55. Edmund M. Clarke, Orna Grumberg, David E. Long
    Verification Tools for Finite-State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:124-175 [Conf]
  56. Doron Bustan, Orna Grumberg
    Applicability of Fair Simulation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:401-414 [Conf]
  57. Karen Laster, Orna Grumberg
    Modular Model Checking of Software. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:20-35 [Conf]
  58. Sharon Shoham, Orna Grumberg
    Monotonic Abstraction-Refinement for CTL. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:546-560 [Conf]
  59. Michael C. Browne, Edmund M. Clarke, Orna Grumberg
    Characterizing Kripke Structures in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:256-270 [Conf]
  60. Edmund M. Clarke, Orna Grumberg
    The Model Checking Problem for Concurrent Systems with Many Similar Processes. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:188-201 [Conf]
  61. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
    Don't Know in the µ-Calculus. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:233-249 [Conf]
  62. Paul C. Attie, Nissim Francez, Orna Grumberg
    Fairness and Hyperfairness in Multi-Party Interactions. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1993, v:6, n:4, pp:245-254 [Journal]
  63. Lubos Brim, Orna Grumberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  64. Lubos Brim, Orna Grumberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
  65. Alessandro Cimatti, Orna Grumberg
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  66. Orna Grumberg
    Different directions in parallel and distributed model checking (invited talk). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  67. Hana De-Leon, Orna Grumberg
    Modular Abstractions for Verifying Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:2, n:1, pp:7-43 [Journal]
  68. Sharon Barner, Orna Grumberg
    Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:1-2, pp:29-66 [Journal]
  69. Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi
    Another Look at LTL Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:10, n:1, pp:47-71 [Journal]
  70. Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
    Verification of the Futurebus+ Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:6, n:2, pp:217-232 [Journal]
  71. Orna Grumberg
    Introduction: Special Issue on CAV '97. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:2, pp:95- [Journal]
  72. Orna Grumberg, Tamir Heyman, Assaf Schuster
    Distributed Symbolic Model Checking for µ-Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:197-219 [Journal]
  73. Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg
    Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2000, v:17, n:2, pp:163-192 [Journal]
  74. Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
    A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:3, pp:317-338 [Journal]
  75. Karen Yorav, Orna Grumberg
    Static Analysis for State-Space Reductions Preserving Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:1, pp:67-96 [Journal]
  76. Orna Grumberg, Tamir Heyman, Assaf Schuster
    A work-efficient distributed algorithm for reachability analysis. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:2, pp:157-175 [Journal]
  77. Doron Bustan, Orna Grumberg
    Applicability of fair simulation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:1, pp:1-18 [Journal]
  78. Michael C. Browne, Edmund M. Clarke, Orna Grumberg
    Reasoning about Networks with Many Identical Finite State Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:81, n:1, pp:13-31 [Journal]
  79. Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever
    A Proof Rule for Fair Termination of Guarded Commands [Citation Graph (0, 0)][DBLP]
    Information and Control, 1985, v:66, n:1/2, pp:83-102 [Journal]
  80. Orna Kupferman, Orna Grumberg
    Branching-Time Temporal Logic and Tree Automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:125, n:1, pp:62-69 [Journal]
  81. Ran Rinat, Nissim Francez, Orna Grumberg
    Infinite Trees, Markings and Well-Foundedness [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:79, n:2, pp:131-154 [Journal]
  82. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
    Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:45-62 [Journal]
  83. Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    Counterexample-guided abstraction refinement for symbolic model checking. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2003, v:50, n:5, pp:752-794 [Journal]
  84. Orna Grumberg, Shlomi Livne, Shaul Markovitch
    Learning to Order BDD Variables in Verification. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:18, n:, pp:83-116 [Journal]
  85. Orna Grumberg, Nissim Francez, Shmuel Katz
    A Complete Rule for Equifair Termination. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1986, v:33, n:3, pp:313-332 [Journal]
  86. Karen Yorav, Orna Grumberg
    Syntax-directed model checking of sequential programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:129-162 [Journal]
  87. Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
    A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:5, pp:605-618 [Journal]
  88. Orna Grumberg, Robert P. Kurshan
    Which Branching-Time Properties are Effectively Linear? [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:2, pp:201-228 [Journal]
  89. Limor Fix, Orna Grumberg
    Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:3, pp:343-361 [Journal]
  90. Orna Kupferman, Orna Grumberg
    Buy One, Get One Free!!! [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:4, pp:523-539 [Journal]
  91. Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
    Scalable distributed on-the-fly symbolic model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:4, pp:496-504 [Journal]
  92. Lubos Brim, Orna Grumberg
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:1, pp:1-3 [Journal]
  93. Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady
    Test sequence generation and model checking using dynamic transition relations. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:174-182 [Journal]
  94. Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled
    State Space Reduction Using Partial Order Techniques. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:279-287 [Journal]
  95. Michael C. Browne, Edmund M. Clarke, Orna Grumberg
    Characterizing Finite Kripke Structures in Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:115-131 [Journal]
  96. Limor Fix, Nissim Francez, Orna Grumberg
    Program Composition via Unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:131, n:1, pp:139-179 [Journal]
  97. Doron Bustan, Orna Grumberg
    Simulation-based minimazation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:2, pp:181-206 [Journal]
  98. Dennis Dams, Rob Gerth, Orna Grumberg
    Abstract Interpretation of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:2, pp:253-291 [Journal]
  99. Edmund M. Clarke, Orna Grumberg, Somesh Jha
    Verifying Parameterized Networks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:5, pp:726-750 [Journal]
  100. Edmund M. Clarke, Orna Grumberg, David E. Long
    Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1512-1542 [Journal]
  101. Orna Grumberg, David E. Long
    Model Checking and Modular Verification. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:843-871 [Journal]
  102. Orna Grumberg, Assaf Schuster, Avi Yadgar
    3-Valued Circuit SAT for STE with Automatic Refinement. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:457-473 [Conf]
  103. Rotem Oshman, Orna Grumberg
    A New Approach to Bounded Model Checking for Branching Time Logics. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:410-424 [Conf]
  104. Sharon Shoham, Orna Grumberg
    Compositional Verification and 3-Valued Abstractions Join Forces. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:69-86 [Conf]
  105. Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
    When not losing is better than winning: Abstraction and refinement for the full mu-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1130-1148 [Journal]
  106. Orna Grumberg, Shmuel Katz
    VeriTech: a framework for translating among model description notations. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:2, pp:119-132 [Journal]

  107. 3-Valued Abstraction for (Bounded) Model Checking. [Citation Graph (, )][DBLP]


  108. A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. [Citation Graph (, )][DBLP]


  109. Hybrid BDD and All-SAT Method for Model Checking. [Citation Graph (, )][DBLP]


  110. Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. [Citation Graph (, )][DBLP]


  111. Interpolation-sequence based model checking. [Citation Graph (, )][DBLP]


  112. Efficient Automatic STE Refinement Using Responsibility. [Citation Graph (, )][DBLP]


  113. Variable Automata over Infinite Alphabets. [Citation Graph (, )][DBLP]


Search in 0.155secs, Finished in 0.161secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002