Search results

  • 2024

    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 others, Wu, 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

  • 2023

    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

  • Monitorability for Runtime Verification

    Havelund, K. & Peled, D., 2023, Runtime Verification - 23rd International Conference, RV 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 447-460 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14245 LNCS).

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

  • Runtime Verification Prediction for Traces with Data

    Omer, M. & Peled, D., 2023, Runtime Verification - 23rd International Conference, RV 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 148-167 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14245 LNCS).

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

  • 2022

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

    4 Scopus citations
  • On monitoring linear temporal properties

    Havelund, K. & Peled, D., Jun 2022, In: Formal Methods in System Design. 60, 3, p. 405-425 21 p.

    Research output: Contribution to journalArticlepeer-review

  • 2021

    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 journalArticlepeer-review

    3 Scopus citations
  • Monitoring First-Order Interval Logic

    Havelund, K., Omer, M. & Peled, D., 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 66-83 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13085 LNCS).

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

    3 Scopus citations
  • Reverse Engineering Through Automata Learning

    Peled, D., 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 182-192 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13065 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2020

    BDDs for Representing Data in Runtime Verification

    Havelund, K. & Peled, D., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 107-128 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).

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

    4 Scopus citations
  • First-order temporal logic monitoring with BDDs

    Havelund, K., Peled, D. & Ulus, D., Dec 2020, In: Formal Methods in System Design. 56, 1-3, p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

    18 Scopus citations
  • First-Order Timed Runtime Verification Using BDDs

    Havelund, K. & Peled, D., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

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

    4 Scopus citations
  • Synthesizing Control for a System with Black Box Environment, Based on Deep Learning

    Iosti, S., Peled, D., Aharon, K., Bensalem, S. & Goldberg, Y., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 457-472 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12477 LNCS).

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

    1 Scopus citations
  • 2019

    An Extension of LTL with Rules and Its Application to Runtime Verification

    Havelund, K. & Peled, D., 2019, Runtime Verification - 19th International Conference, RV 2019, Proceedings. Finkbeiner, B. & Mariani, L. (eds.). Springer, p. 239-255 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11757 LNCS).

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

    2 Scopus citations
  • Control synthesis through deep learning

    Peled, D., Iosti, S. & Bensalem, S., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 242-255 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11500 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • Formal methods

    Peled, D. A., 11 Feb 2019, Handbook of Software Engineering. Springer International Publishing, p. 193-222 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    4 Scopus citations
  • Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability

    Peled, D. & Havelund, K., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 218-234 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11200 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    15 Scopus citations
  • Runtime verification: From propositional to first-order temporal logic

    Havelund, K. & Peled, D., 2019, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Colombo, C. & Leucker, M. (eds.). Springer Verlag, p. 90-112 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

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

    15 Scopus citations
  • 2018

    BDDs on the run

    Havelund, K. & Peled, D., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 58-69 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

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

    4 Scopus citations
  • Chasing errors using biasing automata

    Bu, L., Peled, D., Shen, D. & Tzirulnikov, Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 271-286 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

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

    1 Scopus citations
  • DejaVu: A monitoring tool for first-order temporal logic

    Havelund, K., Peled, D. & Ulus, D., 7 Aug 2018, Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 12-13 2 p. 8429480. (Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018).

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

    13 Scopus citations
  • Efficient runtime verification of first-order temporal properties

    Havelund, K. & Peled, D., 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Springer Verlag, p. 26-47 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).

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

    17 Scopus citations
  • Genetic synthesis of concurrent code using model checking and statistical model checking

    Bu, L., Peled, D., Shen, D. & Zhuang, Y., 2018, Model Checking Software - 25th International Symposium, SPIN 2018, Proceedings. Gallardo, M. D. & Merino, P. (eds.). Springer Verlag, p. 275-291 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10869 LNCS).

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

    2 Scopus citations
  • Partial-order reduction

    Peled, D., 18 May 2018, Handbook of Model Checking. Springer International Publishing, p. 173-190 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    9 Scopus citations
  • 2017

    Automata based validation techniques

    Peled, D., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. 126-140 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Dependable Software Systems Engineering

    Pretschner, A. (Editor), Peled, D. (Editor) & Hutzelmann, T. (Editor), 1 Jan 2017, IOS Press. 242 p.

    Research output: Book/ReportBookpeer-review

  • First order temporal logic monitoring with BDDs

    Havelund, K., Peled, D. & Ulus, D., 8 Nov 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 116-123 8 p. 8102249. (Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017).

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

    45 Scopus citations
  • Memory-Efficient Tactics for Randomized LTL Model Checking

    Larsen, K., Peled, D. & Sedwards, S., 2017, Verified Software: Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Revised Selected Papers. Wies, T. & Paskevich, A. (eds.). Springer Verlag, p. 152-169 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10712 LNCS).

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

    3 Scopus citations
  • Preface

    Pretschner, A., Peled, D. & Hutzelmann, T., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. v-ix

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  • Synthesizing, correcting and improving code, using model checking-based genetic programming

    Katz, G. & Peled, D., 1 Aug 2017, In: International Journal on Software Tools for Technology Transfer. 19, 4, p. 449-464 16 p.

    Research output: Contribution to journalArticlepeer-review

    9 Scopus citations
  • 2016

    A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

    Huang, C. H., Peled, D. A., Schewe, S. & Wang, F., 1 Jul 2016, In: IEEE Transactions on Software Engineering. 42, 7, p. 605-622 18 p., 7360234.

    Research output: Contribution to journalArticlepeer-review

    11 Scopus citations
  • Automatic synthesis of code using genetic programming

    Peled, D., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 182-187 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

    2 Scopus citations
  • Using genetic programming for software reliability

    Peled, D., 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer Verlag, p. 116-131 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

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

    1 Scopus citations
  • 2015

    From Verification to Synthesis

    Peled, D., 2015, Dependable Software Systems Engineering. Pretschner, A., Peled, D. & Irlbeck, M. (eds.). IOS Press, p. 204-307 14 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 40).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Knowledge = Observation + Memory + Computation

    Genest, B., Peled, D. & Schewe, S., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pitts, A. (ed.). Springer Verlag, p. 215-229 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9034).

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

    Open Access
    4 Scopus citations
  • Local and global fairness in concurrent systems

    Brook, A., Peled, D. & Schewe, S., 30 Nov 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 2-9 8 p. 7340461. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).

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

    1 Scopus citations
  • Synthesis of succinct systems

    Fearnley, J., Peled, D. & Schewe, S., 1 Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1171-1193 23 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    2 Scopus citations
  • 2014

    Compositional branching-time measurements

    Grosu, R., Peled, D., Ramakrishnan, C. R., Smolka, S. A., Stoller, S. D. & Yang, J., 2014, From Programs to Systems: The Systems Perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Proceedings. Springer Verlag, p. 118-128 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8415 LNCS).

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

    Open Access
    2 Scopus citations
  • Distributed Control Synthesis

    Peled, D. & Schewe, S., 12 Feb 2014, HOWARD-60: Howard Barringer's 60th Birthday. Voronkov, A. & Korovina, M. (eds.). EasyChair, Vol. 42. p. 271-288 18 p.

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

    Open Access
  • Editorial: Special issue on synthesis

    Peled, D. & Schewe, S., Jun 2014, In: Acta Informatica. 51, 3-4, p. 127-128 2 p.

    Research output: Contribution to journalEditorial

    Open Access
  • Monitoring parametric temporal logic

    Faymonville, P., Finkbeiner, B. & Peled, D., 2014, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, Proceedings. Springer Verlag, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8318 LNCS).

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

    5 Scopus citations
  • Synthesis of parametric programs using genetic programming and model checking

    Katz, G. & Peled, D., 23 Feb 2014, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 140, p. 70-84 15 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    5 Scopus citations
  • Using statistical model checking for measuring systems

    Grosu, R., Peled, D., Ramakrishnan, C. R., Smolka, S. A., Stoller, S. D. & Yang, J., 2014, Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 223-238 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8803).

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

    13 Scopus citations
  • 2013

    Engineering Dependable Software Systems

    Broy, M., Peled, D. & Kalus, G., 19 Jun 2013, IOS Press. 365 p.

    Research output: Book/ReportBookpeer-review

  • Knowledge based transactional behavior

    Bensalem, S., Bozga, M., Peled, D. & Quilbeuf, J., 2013, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag, p. 40-55 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7857 LNCS).

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

    1 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.