Filter
Chapter

Search results

  • 2021

    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

  • 2019

    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
  • 2018

    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

  • 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

  • 2013

    Model checking basics

    Peled, D., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. 335-362 28 p.

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

  • 2009

    Model Checking

    Peled, D., Pelliccione, P. & Spoletini, P., 2009, Wiley Encyclopedia of Computer Science and EngineeringWiley Encyclopedia of Computer Science and Engineering. Peled, D. (ed.). wiley, p. 1904-1920

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

  • 2004

    Specifying and verifying partial order properties using template MSCs

    Genest, B., Minea, M., Muscholl, A. & Peled, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Walukiewicz, I. (ed.). Springer Verlag, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2987).

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

    Open Access
    14 Scopus citations
  • 2003

    Automatic verification of annotated code

    Peled, D. & Qu, H., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Konig, H., Heiner, M. & Wolisz, A. (eds.). Springer Verlag, p. 127-143 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2767).

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

    Open Access
  • Model checking and testing combined

    Peled, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer Verlag, p. 47-63 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

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

    10 Scopus citations
  • 2000

    Model Checking Using Automata Theory

    Peled, D., 2000, Verification of Digital and Hybrid Systems. Inan, M. K. & Kurshan, R. P. (eds.). Springer, p. 55-79 (NATO ASI Series; vol. 170).

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

  • Partial order reductions

    Peled, D., 2000, Verification of Digital and Hybrid Systems. Inan, M. K. & Kurshan, R. P. (eds.). Springer, p. 163-182 (NATO ASI Series; vol. 170).

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

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