Doron Peled
Bar-Ilan University(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Software Reliability and Analysis Research, Distributed systems and fault tolerance
Most-Cited Works
- → Simple On-the-fly Automatic Verification of Linear Temporal Logic(1996)695 cited
- → All from one, one for all: on model checking using representatives(1993)521 cited
- → Combining partial order reductions with on-the-fly model-checking(1994)260 cited
- → Software Reliability Methods(2001)247 cited
- → An Improvement in Formal Verification(1995)230 cited
- → An analyzer for message sequence charts(1996)223 cited
- → State space reduction using partial order techniques(1999)194 cited