Filter
Conference contribution

Search results

  • 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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. Association for the Advancement of Artificial Intelligence, p. 12016-12023 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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).

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

    1 Scopus citations
  • 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).

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

    1 Scopus citations
    35 Downloads (Pure)
  • 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).

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

    1 Scopus citations
  • 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).

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

    Open Access
    1 Scopus citations
  • 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).

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

    3 Scopus citations
  • 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. Association for the Advancement of Artificial Intelligence, p. 9170-9178 9 p. (35th AAAI Conference on Artificial Intelligence, AAAI 2021; vol. 10B).

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

    Open Access
    6 Scopus citations
  • 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.). International Joint Conferences on Artificial Intelligence, p. 2213-2219 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2021-January).

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

    17 Scopus citations
  • 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).

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

    Open Access
    4 Scopus citations
  • 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).

    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).

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

    6 Scopus citations
  • 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).

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

    1 Scopus citations
  • 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

    7 Scopus citations
  • 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

    5 Scopus citations
  • 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

    42 Scopus citations
  • 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

    11 Scopus citations
  • 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.). International Joint Conferences on Artificial Intelligence, 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

    38 Scopus citations
  • 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

    20 Scopus citations
  • 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
    2 Scopus citations
  • 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).

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

    5 Scopus citations
  • 2010

    Rational synthesis

    Fisman, D., Kupferman, O. & Lustig, Y., 3 May 2010, Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. p. 190-204 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6015 LNCS).

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

    Open Access
    133 Scopus citations
  • 2009

    A framework for inherent vacuity

    Fisman, D., Kupferman, O., Sheinvald-Faragy, S. & Vardi, M. Y., 17 Jul 2009, Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Proceedings. p. 7-22 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5394 LNCS).

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

    37 Scopus citations
  • Structural contradictions

    Eisner, C. & Fisman, D., 17 Jul 2009, Hardware and Software: Verification and Testing - 4th International Haifa Verification Conference, HVC 2008, Proceedings. p. 164-178 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5394 LNCS).

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

    2 Scopus citations
  • 2008

    Augmenting a regular expression-based temporal logic with local variables

    Eisner, C. & Fisman, D., 1 Dec 2008, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD. 4689186. (Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, FMCAD).

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

    9 Scopus citations
  • On the characterization of until as a fixed point under clocked semantics

    Fisman, D., 27 Aug 2008, Hardware and Software: Verification and Testing - Third International Haifa Verification Conference, HVC 2007, Proceedings. p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4899 LNCS).

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

    4 Scopus citations
  • On verifying fault tolerance of distributed protocols

    Fisman, D., Kupferman, O. & Lustig, Y., 22 Jul 2008, Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. p. 315-331 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4963 LNCS).

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

    Open Access
    26 Scopus citations
  • 2007

    Temporal antecedent failure: Refining vacuity

    Ben-David, S., Fisman, D. & Ruah, S., 1 Jan 2007, CONCUR 2007 - Concurrency Theory - 18th International Conference, CONCUR 2007, Proceedings. Springer Verlag, p. 492-506 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4703 LNCS).

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

    15 Scopus citations
  • 2006

    The safety simple subset

    Ben-David, S., Fisman, D. & Ruah, S., 7 Jul 2006, Hardware and Software, Verification and Testing - First International Haifa Verification Conference, Revised Selected Papers. p. 14-29 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3875 LNCS).

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

    10 Scopus citations
  • 2004

    Embedding Finite Automata within regular Expressions

    Ben-David, S., Fisman, D. & Ruah, S., 2004, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Margaria, T., Steffen, B., Philippou, A. & Reitenspieß, M. (eds.). Department of Computer Science, University of Cyprus, Vol. TR-2004-6. p. 175-180 6 p. (Technical Report).

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

  • 2003

    Reasoning with temporal logic on truncated paths

    Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., 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). Hunt, W. A. & Somenzi, F. (eds.). Springer Verlag, Vol. 275. p. 27-39 13 p.

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

    Open Access
    154 Scopus citations
  • 2001

    Beyond regular model checking (extended abstract)

    Fisman, D. & Pnueli, A., 1 Jan 2001, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference, Proceedings. Hariharan, R., Vinay, V. & Mukund, M. (eds.). Springer Verlag, p. 156-170 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2245).

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

    14 Scopus citations
  • The temporal logic sugar

    Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A. & Rodeh, Y., 1 Jan 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer Verlag, p. 363-367 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

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

    Open Access
    105 Scopus citations