No photo of Dana Fisman

View Scopus Profile

Fisman Dana

Ben-Gurion University of the Negev

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

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2025

      Learning Broadcast Protocols with LeoParDS

      Izsak, N., Fisman, D. & Jacobs, S., 1 Jan 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 220-234 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15054 LNCS).

      Ben-Gurion University of the Negev

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

    • 2024

      A Robust Measure on FDFAs Following Duo-Normalized Acceptance

      Fisman, D., Goldberg, E. & Zimerman, O., 1 Aug 2024, 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024. Kralovic, R. & Kucera, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 53. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 306).

      Ben-Gurion University of the Negev

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

    • Learning Broadcast Protocols

      Fisman, D., Izsak, N. & Jacobs, S., 25 Mar 2024, Technical Tracks 14. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 11 ed. p. 12016-12023 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).

      Ben-Gurion University of the Negev

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

      Open Access

    • When Is the Normalized Edit Distance over Non-Uniform Weights a Metric?

      Fisman, D. & Tzarfati, I., 1 Jun 2024, 35th Annual Symposium on Combinatorial Pattern Matching, CPM 2024. Inenaga, S. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 296).

      Ben-Gurion University of the Negev

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

    • 2023

      A Normalized Edit Distance on Infinite Words

      Fisman, D., Grogin, J. & Weiss, G., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).

      Ben-Gurion University of the Negev

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

    • 2022

      Inferring Symbolic Automata

      Fisman, D., Frenkel, H. & Zilles, S., 27 Jan 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 21:1--21:19 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).

      Ben-Gurion University of the Negev

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

    • Learning and Characterizing Fully-Ordered Lattice Automata

      Fisman, D. & Saadon, S., 21 Oct 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Cham: Springer, Vol. 13505. p. 266-282 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

      Ben-Gurion University of the Negev

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

    • Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata

      Angluin, D., Antonopoulos, T., Fisman, D. & George, N., 1 Jan 2022, Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Bouyer, P. & Schröder, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-20 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13242 LNCS).

      Ben-Gurion University of the Negev

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

      Open Access

    • The Normalized Edit Distance with Uniform Operation Costs Is a Metric

      Fisman, D., Grogin, J., Margalit, O. & Weiss, G., 1 Jun 2022, 33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022. Bannai, H. & Holub, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 223).

      Ben-Gurion University of the Negev

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

    • 2021

      Learning of Structurally Unambiguous Probabilistic Grammars

      Nitay, D., Fisman, D. & Ziv-Ukelson, M., 1 Jan 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. p. 9170-9178 9 p. (35th AAAI Conference on Artificial Intelligence, AAAI 2021; vol. 10B).

      Ben-Gurion University of the Negev

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

      Open Access
    • 2020

      Learning interpretable models in the property specification language

      Roy, R., Fisman, D. & Neider, D., 1 Jan 2020, Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020. Bessiere, C. (ed.). p. 2213-2219 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

      Ben-Gurion University of the Negev

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

    • Polynomial Identification of ω-Automata

      Angluin, D., Fisman, D. & Shoval, Y., 1 Jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

      Ben-Gurion University of the Negev

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

      Open Access

    • Strongly unambiguous Büchi automata are polynomially predictable with membership queries

      Angluin, D., Antonopoulos, T. & Fisman, D., 1 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

      Ben-Gurion University of the Negev

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

    • 2018

      Temporal reasoning on incomplete paths

      Fisman, D. & Kugler, H., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 28-52 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

      Ben-Gurion University of the Negev, Bar-Ilan University

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

    • 2017

      Query learning of derived ω-tree languages in polynomial time

      Angluin, D., Antonopoulos, T. & Fisman, D., 1 Aug 2017, Computer Science Logic 2017, CSL 2017. Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 82).

      Ben-Gurion University of the Negev

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

    • 2016

      A complexity measure on Büchi automata

      Fisman, D., 1 Jan 2016, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Proceedings. Truthe, B., Janoušek, J., Dediu, A.-H. & Martín-Vide, C. (eds.). Springer Verlag, p. 102-113 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9618).

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

    • Colored nested words

      Alur, R. & Fisman, D., 1 Jan 2016, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Proceedings. Truthe, B., Janoušek, J., Dediu, A.-H. & Martín-Vide, C. (eds.). Springer Verlag, p. 143-155 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9618).

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

    • Families of DFAs as acceptors of ω-regular languages

      Angluin, D., Boker, U. & Fisman, D., 1 Aug 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 58).

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

    • Regular programming for quantitative properties of data streams

      Alur, R., Fisman, D. & Raghothaman, M., 1 Jan 2016, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Thiemann, P. (ed.). Springer Verlag, p. 15-40 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9632).

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

    • 2015

      A modular approach for Büchi determinization

      Fisman, D. & Lustig, Y., 1 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 368-382 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

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

    • Learning regular languages via alternating automata

      Angluin, D., Eisenstat, S. & Fisman, D., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). p. 3308-3314 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

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

    • 2014

      Learning regular omega languages

      Angluin, D. & Fisman, D., 1 Jan 2014, Algorithmic Learning Theory - 25th International Conference, ALT 2014, Proceedings. Auer, P., Clark, A., Zeugmann, T. & Zilles, S. (eds.). Springer Verlag, p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8776).

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

    • 2013

      SVA and PSL local variables - A practical approach

      Armoni, R., Fisman, D. & Jin, N., 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 197-212 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

      Open Access
    • 2011

      Reasoning about finite-state switched systems

      Fisman, D. & Kupferman, O., 9 Mar 2011, Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Revised Selected Papers. p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6405 LNCS).

      The Hebrew University of Jerusalem

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