Filter
Conference contribution

Search results

  • 2024

    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 proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

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

    Angluin, D., Antonopoulos, T., Fisman, D. & George, N., 29 Mar 2022, Foundations of Software Science and Computation Structures - FoSSaCS 2022. Bouyer, P. & Schröder, L. (eds.). Cham: Springer, 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 2021

    Learning of Structurally Unambiguous Probabilistic Grammars

    Nitay, D., Fisman, D. & Ziv-Ukelson, M., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. Vol. 35. p. 9170-9178 9 p.

    Ben-Gurion University of the Negev

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 2017

    Proceedings Sixth Workshop on Synthesis

    Fisman, D. & Jacobs, S., 2017, Proceedings Sixth Workshop on Synthesis. Vol. 260.

    Ben-Gurion University of the Negev

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access