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 1988Sep 1991

Award Date: 1 Sep 1991

Master's Degree

Sep 1984Mar 1987

Award Date: 30 Mar 1987

Bachelor

Mar 1981Jul 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
  • Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

    Bensalem, S., Katsaros, P., Ničković, D., Liao, B. H. C., Nolasco, R. R., Ahmed, M. A. E. S., Beyene, T. A., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Ponchant, M., Sorokin, L., Tong, S., & 1 othersWu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 256-278 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning

    Cohen, I. & Peled, D., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 395-417 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • TP-DejaVu: Combining Operational and Declarative Runtime Verification

    Havelund, K., Katsaros, P., Omer, M., Peled, D. & Temperekidis, A., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 249-263 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle

    AbdElSalam, M., Ali, L., Bensalem, S., He, W., Katsaros, P., Kekatos, N., Peled, D., Temperekidis, A. & Wu, C., 2023, In: CEUR Workshop Proceedings. 3645

    Research output: Contribution to journalConference articlepeer-review