Doron Peled

Papers

Total Citations

H-Index

About

Doron Peled is a leading figure in formal methods, software verification, and concurrency theory, whose work has profoundly shaped how we ensure the reliability of complex systems. His research bridges the gap between theoretical computer science and practical software engineering, with a particular focus on model checking, temporal logic, and automated testing. Peled is best known for pioneering the "partial order reduction" technique, a breakthrough that dramatically reduces the state-space explosion problem in model checking, making it feasible to verify large, concurrent systems. This foundational contribution is complemented by his influential work on combining testing and verification, as exemplified in his highly cited 2001 paper, "A Combined Testing and Verification Approach for Software Reliability" (25 citations), which integrates runtime analysis with formal proofs to enhance software dependability. His impact is further underscored by his co-authorship of the seminal textbook "Software Reliability Methods," a standard reference in the field. With over 5,000 total citations, Peled’s research continues to inspire advances in safety-critical systems, from aerospace to cybersecurity, cementing his legacy as a thinker who turns theoretical elegance into practical tools for building trustworthy software.