No photo of Dana Fisman

View Scopus Profile

Dana Fisman

 https://orcid.org/0000-0002-6015-4170
20012023

Research activity per year

If you made any changes in Pure these will be visible here soon.
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 proceeding › Chapter › peer-review

    6 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. Vol. 40. p. 1-25 (Nato Science for Peace and Security Series D-Information and Communication Security).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review