Doron Peled
E250447
Doron Peled is a computer scientist known for his contributions to formal methods and model checking, particularly in collaboration with Edmund M. Clarke.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Doron A. Peled | 2 |
| Doron Peled canonical | 2 |
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ |
| affiliation | Bar-Ilan University ⓘ |
| areaOfInfluence |
concurrent programming
ⓘ
hardware verification ⓘ software verification ⓘ |
| coAuthorWith |
Amir Pnueli
ⓘ
Edmund M. Clarke ⓘ Helmut Veith ⓘ Joost-Pieter Katoen ⓘ Moshe Y. Vardi ⓘ Orna Grumberg ⓘ |
| educatedAt | Weizmann Institute of Science ⓘ |
| field |
computer science
ⓘ
formal methods ⓘ model checking ⓘ |
| hasAcademicAdvisor | Amir Pnueli ⓘ |
| hasCitizenship | Israel ⓘ |
| hasRole |
conference chair
ⓘ
journal editorial board member ⓘ program committee member ⓘ |
| influenced |
research on partial order methods in verification
ⓘ
research on scalable model checking ⓘ |
| knownFor |
collaboration with Edmund M. Clarke
ⓘ
contributions to formal verification ⓘ partial order reduction techniques ⓘ work on model checking ⓘ |
| language |
English
ⓘ
Hebrew ⓘ |
| notablePublicationType |
book chapters
ⓘ
conference papers ⓘ journal articles ⓘ |
| notableWork |
partial order reduction for model checking
ⓘ
verification of concurrent and distributed systems ⓘ work on black-box checking ⓘ |
| occupation | professor ⓘ |
| researchInterest |
automata-theoretic verification
ⓘ
concurrent systems verification ⓘ probabilistic verification ⓘ runtime verification ⓘ temporal logic ⓘ |
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Model Checking
this entity surface form:
Doron A. Peled
this entity surface form:
Doron A. Peled