Search Results - Fisman, Dana

Dana Fisman

Dana Fisman (Hebrew: דנה פיסמן) is an Israeli computer scientist whose research has included work on the reconstruction of automaton-based models in computational learning theory including induction of regular languages, on temporal logic and the Property Specification Language, and on program synthesis. She is an associate professor of computer science at Ben-Gurion University of the Negev. Provided by Wikipedia
  • Showing 1 – 8 results of 8
Filter by
  1. 1
    Cover Image

    A practical introduction to PSL
    by Eisner, Cindy, Fisman, Dana

    Published 2006
    Book


    Saved in:
  2. 2
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings, part I

    Published 2022
    Other Authors: “…Fisman, Dana…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings, part II

    Published 2022
    Other Authors: “…Fisman, Dana…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  4. 4
    Cover Image

    Runtime verification: 21st International Conference, RV 2021, virtual event, October 11-14, 2021 : proceedings

    Published 2021
    Other Authors: “…Fisman, Dana…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

    Published 2022
    Other Authors: “…Fisman, Dana…”
    Conference Proceedings Book


    Saved in:
  6. 6
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
    Part 2

    Published 2022
    Other Authors: “…Fisman, Dana…”
    Conference Proceedings Book


    Saved in:
  7. 7
    Cover Image

    Tools and algorithms for the construction and analysis of systems: 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
    Part 1

    Published 2022
    Other Authors: “…Fisman, Dana…”
    Conference Proceedings Book


    Saved in:
  8. 8
    Cover Image

    Runtime verification: 21st international conference, RV 2021, virtual event, October 11–14, 2021 : proceedings

    Published 2021
    Other Authors: “…Fisman, Dana…”
    Conference Proceedings Book


    Saved in:

Search Tools: