Research output per year
Research output per year
Personal profile
About Me
Research fields
Proof of correctness of hardware systems and software Automatic proof, tests of logic systems and formal languages
Education/Academic qualification
PhD
Sep 1988 → Sep 1991
Award Date: 1 Sep 1991
Master's Degree
Sep 1984 → Mar 1987
Award Date: 30 Mar 1987
Bachelor
Mar 1981 → Jul 1984
Award Date: 30 Jul 1984
Fingerprint
Dive into the research topics where Doron Peled is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Temporal Guardrails for LLM Conversations: A Runtime Verification Framework
Cohen, I., Havelund, K., Omer, M. & Peled, D., 2027, AI Verification - 3rd International Symposium, SAIV 2026, Proceedings. Avni, G. & Schilling, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 145-166 22 p. (Lecture Notes in Computer Science; vol. 16831 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
DSLs for Runtime Verification
Havelund, K., Omer, M. & Peled, D., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-43 22 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Embedding Monitoring of First-Order Temporal Logic in a Programming Language
Havelund, K., Omer, M. & Peled, D., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 266-283 18 p. (Lecture Notes in Computer Science; vol. LNCS 15760).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Monitoring Distributed Systems Based on Partial Order Executions with Global States
Omer, M., Peled, D., Porat, E. & Garg, V. K., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 252-273 22 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Power of Reframing: Using LLMs in Synthesizing RV Monitors
Cohen, I., Havelund, K., Peled, D. & Goldberg, Y., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 202-212 11 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Activities
- 1 Visiting an external academic institution
-
Carnegie Mellon University
Peled, D. (Visiting researcher)
1 Jan 1998 → 1 Jan 2016Activity: Visiting an external institution › Visiting an external academic institution
Profiles
-
Itay Cohen
- Bar-Ilan University - Faculty of Exact Sciences, Department of Computer Science and Artificial Intelligence - PhD Student
Person: Teaching, PhD Student