Personal information

No personal information available

Activities

Collapse all

Employment (3)

Bar-Ilan University: Ramat Gan, IL

Professor (Computer Science)
Employment
Source: Self-asserted source
Doron Peled

Bar Ilan University: Ramat Gan, IL

Employment
Source: check_circle
Bar-Ilan University via ORCID Member Portal

Bar-Ilan University: Ramat Gan, IL

2006-04-01 to present (Department of Computer Science)
Employment
Source: check_circle
Bar-Ilan University

Works (3)

Operational and Declarative Runtime Verification (Keynote)

2024-09-13 | Conference paper
DOI: 10.1145/3679008.3685541
Contributors: Klaus Havelund; Moran Omer; Doron Peled
Source: check_circle
Crossref

On monitoring linear temporal properties

Formal Methods in System Design
2022-06 | Journal article
DOI: 10.1007/s10703-023-00429-8
Contributors: Klaus Havelund; Doron Peled
Source: check_circle
Crossref

First-order temporal logic monitoring with BDDs

Formal Methods in System Design
2020-12-07 | Journal article
DOI: 10.1007/s10703-018-00327-4
Contributors: Klaus Havelund; Doron Peled; Dogan Ulus
Source: check_circle
Crossref
How many people are using ORCID?