Doron Peled

An Improvement in Formal Verification

Gerard J. Holzmann, Doron Peled · IFIP advances in information and communication technology · 1995 · 230 citations · Full text

Computing, Computer Science, Formal Methods +16

State space reduction using partial order techniques

E. M. Clarke, O. Grumberg, Marius Minea et al. · International Journal on Software Tools for Technology Transfer · 1999 · 195 citations

Computing, Computer Science, Computer Systems +12

Combining partial order reductions with on-the-fly model-checking

Doron Peled · Formal Methods in System Design · 1996 · 158 citations

Computing, Computer Science, Algorithms +7

Stutter-invariant temporal properties are expressible without the next-time operator

Doron Peled, Thomas Wilke · Information Processing Letters · 1997 · 147 citations

Engineering, Computer Engineering, Real-time Systems +4

Defining conditional independence using collapses

Shmuel Katz, Doron Peled · Theoretical Computer Science · 1992 · 119 citations

Natural Sciences, Constitutional Law, Probability Theory +4