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
מדעי המחשב
Sep 1988 → Sep 1991
מדעי המחשב
Sep 1984 → Mar 1987
מדעי המחשב, Bachelor
Mar 1981 → 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
-
Accelerating Black Box Testing with Light-Weight Learning
Fogler, R., Cohen, I. & Peled, D., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 103-120 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On monitoring linear temporal properties
Havelund, K. & Peled, D., 2023, (Accepted/In press) In: Formal Methods in System Design.Research output: Contribution to journal › Article › peer-review
-
A Reinforcement-Learning Style Algorithm for Black Box Automata
Cohen, I., Fogler, R. & Peled, D., 2022, 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022. Institute of Electrical and Electronics Engineers Inc., (2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formal Specification for Learning-Enabled Autonomous Systems
Bensalem, S., Cheng, C. H., Huang, X., Katsaros, P., Molin, A., Nickovic, D. & Peled, D., 2022, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Proceedings. Isac, O., Katz, G., Ivanov, R., Narodytska, N. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 131-143 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13466 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
An extension of first-order LTL with rules with application to runtime verification
Havelund, K. & Peled, D., Aug 2021, In: International Journal on Software Tools for Technology Transfer. 23, 4, p. 547-563 17 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations
Activities
- 1 Visiting an external academic institution
-
Carnegie Mellon University
Doron Peled (Visiting researcher)
1 Jan 1998 → 1 Jan 2016Activity: Visiting an external institution › Visiting an external academic institution