2026 Doron Peled: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	51	5227	5082	83	79	223	15854

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

5227

5082

223

15854

Overview

Doron Peled is affiliated with Bar-Ilan University in Israel. Their research primarily falls within the fields of Computer Science and Engineering, with a substantial focus on various subfields and topics related to software and formal methods.

The main fields of study for Peled include:

Computer Science
Engineering

Their subfields of study demonstrate a diverse engagement with technical domains:

Software
Computational Theory and Mathematics
Artificial Intelligence
Computer Networks and Communications
Industrial and Manufacturing Engineering

Peled's research covers a range of key topics including:

Formal Methods in Verification
Software Testing and Debugging Techniques
Logic, programming, and type systems
Software Reliability and Analysis Research
Machine Learning and Algorithms
Model-Driven Software Engineering Techniques
Distributed systems and fault tolerance

Frequent collaboration partners include:

Klaus Havelund
Panagiotis Katsaros
Moran Omer
Saddek Bensalem
Itay Cohen

Recent papers authored by Peled reflect their engagement in formal verification, runtime monitoring, and simulation techniques. Representative publications are:

"An extension of first-order LTL with rules with application to runtime verification" (2021) published in International Journal on Software Tools for Technology Transfer
"Digital twin for the formal analysis of a depth of anesthesia controller" (2025) published in SIMULATION
"On monitoring linear temporal properties" (2022) published in Formal Methods in System Design

Peled has also contributed to books published by Springer Science+Business Media, which include:

"Software Verification and Formal Methods for ML-Enabled Autonomous Systems" (2022)
"NASA Formal Methods" (2022)

Best Publications

Simple on-the-fly automatic verification of linear temporal logic

Rob Gerth;Doron Peled;Moshe Y. Vardi;Pierre Wolper

1200
Citations
An improvement in formal verification.

Gerard J. Holzmann;Doron A. Peled

867
Citations
All from One, One for All: on Model Checking Using Representatives

Doron Peled

784
Citations
Combining Partial Order Reductions with On-the-fly Model-Checking

Doron Peled

457
Citations
Software Reliability Methods

Doron A. Peled;David Gries;Fred B. Schneider

437
Citations
An analyzer for message sequence charts

Rajeev Alur;Gerard J. Holzmann;Doron Peled

391
Citations
On nested depth first search.

Gerard J. Holzmann;Doron A. Peled;Mihalis Yannakakis

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

Doron A. Peled

279
Citations
State space reduction using partial order techniques

Edmund M. Clarke;Orna Grumberg;Marius Minea;Doron A. Peled

262
Citations
Black Box Checking

Doron Peled;Moshe Y. Vardi;Mihalis Yannakakis

244
Citations
Ten years of partial order reduction

D. Peled

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

Doron Peled;Thomas Wilke

204
Citations
Defining conditional independence using collapses

Shmuel Katz;Doron Peled

178
Citations
Adaptive Model Checking

Alex Groce;Doron Peled;Mihalis Yannakakis

172
Citations
Deciding Properties for Message Sequence Charts

Anca Muscholl;Doron Peled;Doron Peled;Zhendong Su

162
Citations
Black box checking

Doron Peled;Moshe Y. Vardi;Mihalis Yannakakis

161
Citations
Model-checking of correctness conditions for concurrent objects

Rajeev Alur;Ken McMillan;Doron Peled

160
Citations
Static Partial Order Reduction

Robert P. Kurshan;Vladdimir Levin;Marius Minea;Doron Peled;Doron Peled

158
Citations
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces

Anca Muscholl;Doron Peled;Doron Peled

158
Citations
The State of SPIN

Gerard J. Holzmann;Doron Peled

151
Citations

Frequent Co-Authors

Rajeev Alur University of Pennsylvania

Saddek Bensalem Grenoble Alpes University

Gerard J. Holzmann Nimble Research

Klaus Havelund Jet Propulsion Lab

Mihalis Yannakakis Columbia University

Moshe Y. Vardi Rice University

Lenore D. Zuck University of Illinois at Chicago

Shmuel Katz Technion – Israel Institute of Technology

Amir Pnueli Weizmann Institute of Science

Edith Elkind University of Oxford

External Links

Wikipedia of Doron Peled Personal website of Doron Peled Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring additional online degree options can broaden your career prospects in technology and beyond. For those interested in leadership roles within tech-driven businesses, an online EMBA is a flexible choice, offering advanced business skills and executive training from the convenience of home.

If you have a passion for information management or digital resources, consider pursuing an MLIS. This degree suits those seeking roles in tech libraries, databases, or archival science.

Finding affordable graduate schools is crucial for reducing debt while advancing your qualifications. Many online programs offer high-quality education at lower costs than traditional, on-campus programs.

For aspiring leaders, a PhD in leadership and management online equips you with research-based skills for directing teams and projects in both tech and other industries. These programs offer flexible options for advancing your expertise without sacrificing your current career.