Filter
Chapter

Search results

  • 2018

    Functional specification of hardware via temporal logic

    Eisner, C. & Fisman, D., 18 May 2018, Handbook of Model Checking. Springer International Publishing, p. 795-829 35 p.

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

    9 Scopus citations
  • 2015

    Syntax-Guided Synthesis

    Alur, R., Bodik, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E. & Udupa, A., 2015, Dependable Software Systems Engineering. Irlbeck, M. & Peled, D. (eds.). IOS Press, p. 1-25 (Nato Science for Peace and Security Series D-Information and Communication Security).

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

  • 2003

    The definition of a temporal clock operator

    Eisner, C., Fisman, D., Havlicek, J., McIsaac, A. & Van Campenhout, D., 1 Jan 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. 857-870 14 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

    20 Scopus citations