default search action
BibTeX records: Dana Fisman
@inproceedings{DBLP:conf/aaai/FismanIJ24, author = {Dana Fisman and Noa Izsak and Swen Jacobs}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {Learning Broadcast Protocols}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {12016--12023}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i11.29089}, doi = {10.1609/AAAI.V38I11.29089}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/FismanIJ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpm/FismanT24, author = {Dana Fisman and Ilay Tzarfati}, editor = {Shunsuke Inenaga and Simon J. Puglisi}, title = {When Is the Normalized Edit Distance over Non-Uniform Weights a Metric?}, booktitle = {35th Annual Symposium on Combinatorial Pattern Matching, {CPM} 2024, June 25-27, 2024, Fukuoka, Japan}, series = {LIPIcs}, volume = {296}, pages = {14:1--14:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.CPM.2024.14}, doi = {10.4230/LIPICS.CPM.2024.14}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/cpm/FismanT24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FismanGZ24, author = {Dana Fisman and Emmanuel Goldberg and Oded Zimerman}, editor = {Rastislav Kr{\'{a}}lovic and Anton{\'{\i}}n Kucera}, title = {A Robust Measure on FDFAs Following Duo-Normalized Acceptance}, booktitle = {49th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2024, August 26-30, 2024, Bratislava, Slovakia}, series = {LIPIcs}, volume = {306}, pages = {53:1--53:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2024.53}, doi = {10.4230/LIPICS.MFCS.2024.53}, timestamp = {Mon, 26 Aug 2024 16:40:52 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FismanGZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/FismanNZ23, author = {Dana Fisman and Dolav Nitay and Michal Ziv{-}Ukelson}, title = {Learning of Structurally Unambiguous Probabilistic Grammars}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {1}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(1:10)2023}, doi = {10.46298/LMCS-19(1:10)2023}, timestamp = {Wed, 29 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/FismanNZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/FismanFZ23, author = {Dana Fisman and Hadar Frenkel and Sandra Zilles}, title = {Inferring Symbolic Automata}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {2}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(2:5)2023}, doi = {10.46298/LMCS-19(2:5)2023}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/FismanFZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/FengF23, author = {Lu Feng and Dana Fisman}, title = {Introduction to the Special Issue on Runtime Verification}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {25}, number = {4}, pages = {519--520}, year = {2023}, url = {https://doi.org/10.1007/s10009-023-00722-1}, doi = {10.1007/S10009-023-00722-1}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/FengF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/FismanGW23, author = {Dana Fisman and Joshua Grogin and Gera Weiss}, editor = {Bartek Klin and Elaine Pimentel}, title = {A Normalized Edit Distance on Infinite Words}, booktitle = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023, February 13-16, 2023, Warsaw, Poland}, series = {LIPIcs}, volume = {252}, pages = {20:1--20:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.CSL.2023.20}, doi = {10.4230/LIPICS.CSL.2023.20}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/FismanGW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-14284, author = {Dana Fisman and Noa Izsak and Swen Jacobs}, title = {Learning Broadcast Protocols}, journal = {CoRR}, volume = {abs/2306.14284}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.14284}, doi = {10.48550/ARXIV.2306.14284}, eprinttype = {arXiv}, eprint = {2306.14284}, timestamp = {Tue, 27 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-14284.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-16022, author = {Dana Fisman and Emmanuel Goldberg and Oded Zimerman}, title = {A Colorful and Robust Measure for FDFAs}, journal = {CoRR}, volume = {abs/2310.16022}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.16022}, doi = {10.48550/ARXIV.2310.16022}, eprinttype = {arXiv}, eprint = {2310.16022}, timestamp = {Tue, 31 Oct 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-16022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/FismanS22, author = {Dana Fisman and Sagi Saadon}, editor = {Ahmed Bouajjani and Luk{\'{a}}s Hol{\'{\i}}k and Zhilin Wu}, title = {Learning and Characterizing Fully-Ordered Lattice Automata}, booktitle = {Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13505}, pages = {266--282}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19992-9\_17}, doi = {10.1007/978-3-031-19992-9\_17}, timestamp = {Tue, 25 Oct 2022 22:22:46 +0200}, biburl = {https://dblp.org/rec/conf/atva/FismanS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpm/FismanGMW22, author = {Dana Fisman and Joshua Grogin and Oded Margalit and Gera Weiss}, editor = {Hideo Bannai and Jan Holub}, title = {The Normalized Edit Distance with Uniform Operation Costs Is a Metric}, booktitle = {33rd Annual Symposium on Combinatorial Pattern Matching, {CPM} 2022, June 27-29, 2022, Prague, Czech Republic}, series = {LIPIcs}, volume = {223}, pages = {17:1--17:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CPM.2022.17}, doi = {10.4230/LIPICS.CPM.2022.17}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/cpm/FismanGMW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/FismanFZ22, author = {Dana Fisman and Hadar Frenkel and Sandra Zilles}, editor = {Florin Manea and Alex Simpson}, title = {Inferring Symbolic Automata}, booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022, February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {216}, pages = {21:1--21:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CSL.2022.21}, doi = {10.4230/LIPICS.CSL.2022.21}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/FismanFZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/AngluinAFG22, author = {Dana Angluin and Timos Antonopoulos and Dana Fisman and Nevin George}, editor = {Patricia Bouyer and Lutz Schr{\"{o}}der}, title = {Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata}, booktitle = {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, Munich, Germany, April 2-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13242}, pages = {1--20}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99253-8\_1}, doi = {10.1007/978-3-030-99253-8\_1}, timestamp = {Fri, 29 Apr 2022 14:50:32 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/AngluinAFG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lics/2022, editor = {Christel Baier and Dana Fisman}, title = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3531130}, doi = {10.1145/3531130}, isbn = {978-1-4503-9351-5}, timestamp = {Tue, 09 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2022-1, editor = {Dana Fisman and Grigore Rosu}, title = {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}}, series = {Lecture Notes in Computer Science}, volume = {13243}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99524-9}, doi = {10.1007/978-3-030-99524-9}, isbn = {978-3-030-99523-2}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2022-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2022-2, editor = {Dana Fisman and Grigore Rosu}, title = {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}}, series = {Lecture Notes in Computer Science}, volume = {13244}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99527-0}, doi = {10.1007/978-3-030-99527-0}, isbn = {978-3-030-99526-3}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2022-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2201-06115, author = {Dana Fisman and Joshua Grogin and Oded Margalit and Gera Weiss}, title = {The Normalized Edit Distance with Uniform Operation Costs is a Metric}, journal = {CoRR}, volume = {abs/2201.06115}, year = {2022}, url = {https://arxiv.org/abs/2201.06115}, eprinttype = {arXiv}, eprint = {2201.06115}, timestamp = {Fri, 21 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2201-06115.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-09441, author = {Dana Fisman and Dolav Nitay and Michal Ziv{-}Ukelson}, title = {Learning of Structurally Unambiguous Probabilistic Grammars}, journal = {CoRR}, volume = {abs/2203.09441}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.09441}, doi = {10.48550/ARXIV.2203.09441}, eprinttype = {arXiv}, eprint = {2203.09441}, timestamp = {Mon, 28 Mar 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-09441.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-09336, author = {Dana Angluin and Dana Fisman and Yaara Shoval}, title = {Polynomial Identification of omega-Automata}, journal = {CoRR}, volume = {abs/2209.09336}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.09336}, doi = {10.48550/ARXIV.2209.09336}, eprinttype = {arXiv}, eprint = {2209.09336}, timestamp = {Wed, 28 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-09336.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/AlurF21, author = {Rajeev Alur and Dana Fisman}, title = {Colored nested words}, journal = {Formal Methods Syst. Des.}, volume = {58}, number = {3}, pages = {347--374}, year = {2021}, url = {https://doi.org/10.1007/s10703-021-00384-2}, doi = {10.1007/S10703-021-00384-2}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/AlurF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FismanSS21, author = {Dana Fisman and Rishabh Singh and Armando Solar{-}Lezama}, title = {Special Issue on Syntax-Guided Synthesis Preface}, journal = {Formal Methods Syst. Des.}, volume = {58}, number = {3}, pages = {469--470}, year = {2021}, url = {https://doi.org/10.1007/s10703-021-00386-0}, doi = {10.1007/S10703-021-00386-0}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/FismanSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/AngluinF21, author = {Dana Angluin and Dana Fisman}, title = {Regular \emph{{\(\omega\)}}-languages with an informative right congruence}, journal = {Inf. Comput.}, volume = {278}, pages = {104598}, year = {2021}, url = {https://doi.org/10.1016/j.ic.2020.104598}, doi = {10.1016/J.IC.2020.104598}, timestamp = {Tue, 25 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/AngluinF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/NitayFZ21, author = {Dolav Nitay and Dana Fisman and Michal Ziv{-}Ukelson}, title = {Learning of Structurally Unambiguous Probabilistic Grammars}, booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021}, pages = {9170--9178}, publisher = {{AAAI} Press}, year = {2021}, url = {https://doi.org/10.1609/aaai.v35i10.17107}, doi = {10.1609/AAAI.V35I10.17107}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/NitayFZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2021, editor = {Lu Feng and Dana Fisman}, title = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual Event, October 11-14, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12974}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88494-9}, doi = {10.1007/978-3-030-88494-9}, isbn = {978-3-030-88493-2}, timestamp = {Thu, 07 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-14252, author = {Dana Fisman and Hadar Frenkel and Sandra Zilles}, title = {Inferring Symbolic Automata}, journal = {CoRR}, volume = {abs/2112.14252}, year = {2021}, url = {https://arxiv.org/abs/2112.14252}, eprinttype = {arXiv}, eprint = {2112.14252}, timestamp = {Tue, 04 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-14252.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlurFMRS20, author = {Rajeev Alur and Dana Fisman and Konstantinos Mamouras and Mukund Raghothaman and Caleb Stanford}, title = {Streamable regular transductions}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {15--41}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.11.018}, doi = {10.1016/J.TCS.2019.11.018}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AlurFMRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/AngluinAF20, author = {Dana Angluin and Timos Antonopoulos and Dana Fisman}, editor = {Maribel Fern{\'{a}}ndez and Anca Muscholl}, title = {Strongly Unambiguous B{\"{u}}chi Automata Are Polynomially Predictable With Membership Queries}, booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020, January 13-16, 2020, Barcelona, Spain}, series = {LIPIcs}, volume = {152}, pages = {8:1--8:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.CSL.2020.8}, doi = {10.4230/LIPICS.CSL.2020.8}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/csl/AngluinAF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/0002FN20, author = {Rajarshi Roy and Dana Fisman and Daniel Neider}, editor = {Christian Bessiere}, title = {Learning Interpretable Models in the Property Specification Language}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, pages = {2213--2219}, publisher = {ijcai.org}, year = {2020}, url = {https://doi.org/10.24963/ijcai.2020/306}, doi = {10.24963/IJCAI.2020/306}, timestamp = {Mon, 20 Jul 2020 12:38:52 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/0002FN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AngluinFS20, author = {Dana Angluin and Dana Fisman and Yaara Shoval}, editor = {Armin Biere and David Parker}, title = {Polynomial Identification of {\o}mega-Automata}, booktitle = {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, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12079}, pages = {325--343}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45237-7\_20}, doi = {10.1007/978-3-030-45237-7\_20}, timestamp = {Fri, 14 May 2021 08:34:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AngluinFS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-03191, author = {Dana Angluin and Dana Fisman}, title = {Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors}, journal = {CoRR}, volume = {abs/2002.03191}, year = {2020}, url = {https://arxiv.org/abs/2002.03191}, eprinttype = {arXiv}, eprint = {2002.03191}, timestamp = {Sun, 01 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-03191.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-03668, author = {Rajarshi Roy and Dana Fisman and Daniel Neider}, title = {Learning Interpretable Models in the Property Specification Language}, journal = {CoRR}, volume = {abs/2002.03668}, year = {2020}, url = {https://arxiv.org/abs/2002.03668}, eprinttype = {arXiv}, eprint = {2002.03668}, timestamp = {Fri, 14 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-03668.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-05389, author = {Dana Fisman and Hadar Frenkel and Sandra Zilles}, title = {On the Complexity of Symbolic Finite-State Automata}, journal = {CoRR}, volume = {abs/2011.05389}, year = {2020}, url = {https://arxiv.org/abs/2011.05389}, eprinttype = {arXiv}, eprint = {2011.05389}, timestamp = {Mon, 18 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-05389.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-07472, author = {Dolav Nitay and Dana Fisman and Michal Ziv{-}Ukelson}, title = {Learning of Structurally Unambiguous Probabilistic Grammars}, journal = {CoRR}, volume = {abs/2011.07472}, year = {2020}, url = {https://arxiv.org/abs/2011.07472}, eprinttype = {arXiv}, eprint = {2011.07472}, timestamp = {Wed, 18 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-07472.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-07630, author = {Roderick Bloem and Hana Chockler and Masoud Ebrahimi and Dana Fisman and Heinz Riener}, title = {Safety Synthesis Sans Specification}, journal = {CoRR}, volume = {abs/2011.07630}, year = {2020}, url = {https://arxiv.org/abs/2011.07630}, eprinttype = {arXiv}, eprint = {2011.07630}, timestamp = {Wed, 18 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-07630.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/AngluinAF19, author = {Dana Angluin and Timos Antonopoulos and Dana Fisman}, title = {Query learning of derived {\(\omega\)}{\(\omega\)}{\textbackslash}omega-tree languages in polynomial time}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {3}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(3:21)2019}, doi = {10.23638/LMCS-15(3:21)2019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/AngluinAF19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-07146, author = {Rajeev Alur and Dana Fisman and Saswat Padhi and Rishabh Singh and Abhishek Udupa}, title = {SyGuS-Comp 2018: Results and Analysis}, journal = {CoRR}, volume = {abs/1904.07146}, year = {2019}, url = {http://arxiv.org/abs/1904.07146}, eprinttype = {arXiv}, eprint = {1904.07146}, timestamp = {Thu, 25 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-07146.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/AlurSFS18, author = {Rajeev Alur and Rishabh Singh and Dana Fisman and Armando Solar{-}Lezama}, title = {Search-based program synthesis}, journal = {Commun. {ACM}}, volume = {61}, number = {12}, pages = {84--93}, year = {2018}, url = {https://doi.org/10.1145/3208071}, doi = {10.1145/3208071}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/AlurSFS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Fisman18, author = {Dana Fisman}, title = {Inferring regular languages and \emph{{\(\omega\)}}-languages}, journal = {J. Log. Algebraic Methods Program.}, volume = {98}, pages = {27--49}, year = {2018}, url = {https://doi.org/10.1016/j.jlamp.2018.03.002}, doi = {10.1016/J.JLAMP.2018.03.002}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Fisman18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/AngluinBF18, author = {Dana Angluin and Udi Boker and Dana Fisman}, title = {Families of DFAs as Acceptors of {\(\omega\)}-Regular Languages}, journal = {Log. Methods Comput. Sci.}, volume = {14}, number = {1}, year = {2018}, url = {https://doi.org/10.23638/LMCS-14(1:15)2018}, doi = {10.23638/LMCS-14(1:15)2018}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/AngluinBF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/FismanK18, author = {Dana Fisman and Hillel Kugler}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Temporal Reasoning on Incomplete Paths}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11245}, pages = {28--52}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03421-4\_3}, doi = {10.1007/978-3-030-03421-4\_3}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/FismanK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1809-03108, author = {Dana Angluin and Dana Fisman}, editor = {Andrea Orlandini and Martin Zimmermann}, title = {Regular omega-Languages with an Informative Right Congruence}, booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany, 26-28th September 2018}, series = {{EPTCS}}, volume = {277}, pages = {265--279}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.277.19}, doi = {10.4204/EPTCS.277.19}, timestamp = {Wed, 07 Dec 2022 23:00:49 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-03108.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/mc/EisnerF18, author = {Cindy Eisner and Dana Fisman}, editor = {Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem}, title = {Functional Specification of Hardware via Temporal Logic}, booktitle = {Handbook of Model Checking}, pages = {795--829}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-10575-8\_24}, doi = {10.1007/978-3-319-10575-8\_24}, timestamp = {Mon, 03 Jan 2022 22:13:30 +0100}, biburl = {https://dblp.org/rec/reference/mc/EisnerF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-04739, author = {Dana Angluin and Timos Antonopoulos and Dana Fisman}, title = {Query learning of derived {\(\omega\)}-tree languages in polynomial time}, journal = {CoRR}, volume = {abs/1802.04739}, year = {2018}, url = {http://arxiv.org/abs/1802.04739}, eprinttype = {arXiv}, eprint = {1802.04739}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-04739.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-03865, author = {Rajeev Alur and Dana Fisman and Konstantinos Mamouras and Mukund Raghothaman and Caleb Stanford}, title = {Streamable Regular Transductions}, journal = {CoRR}, volume = {abs/1807.03865}, year = {2018}, url = {http://arxiv.org/abs/1807.03865}, eprinttype = {arXiv}, eprint = {1807.03865}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-03865.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/AngluinAF17, author = {Dana Angluin and Timos Antonopoulos and Dana Fisman}, editor = {Valentin Goranko and Mads Dam}, title = {Query Learning of Derived Omega-Tree Languages in Polynomial Time}, booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden}, series = {LIPIcs}, volume = {82}, pages = {10:1--10:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.CSL.2017.10}, doi = {10.4230/LIPICS.CSL.2017.10}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/csl/AngluinAF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1711-11438, author = {Rajeev Alur and Dana Fisman and Rishabh Singh and Armando Solar{-}Lezama}, editor = {Dana Fisman and Swen Jacobs}, title = {SyGuS-Comp 2017: Results and Analysis}, booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017}, series = {{EPTCS}}, volume = {260}, pages = {97--115}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.260.9}, doi = {10.4204/EPTCS.260.9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-11438.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1711-10224, editor = {Dana Fisman and Swen Jacobs}, title = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017}, series = {{EPTCS}}, volume = {260}, year = {2017}, url = {http://arxiv.org/abs/1711.10224}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-10224.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AngluinF16, author = {Dana Angluin and Dana Fisman}, title = {Learning regular omega languages}, journal = {Theor. Comput. Sci.}, volume = {650}, pages = {57--72}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.07.031}, doi = {10.1016/J.TCS.2016.07.031}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AngluinF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/AlurFR16, author = {Rajeev Alur and Dana Fisman and Mukund Raghothaman}, editor = {Peter Thiemann}, title = {Regular Programming for Quantitative Properties of Data Streams}, booktitle = {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, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9632}, pages = {15--40}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49498-1\_2}, doi = {10.1007/978-3-662-49498-1\_2}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/AlurFR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/Fisman16, author = {Dana Fisman}, editor = {Adrian{-}Horia Dediu and Jan Janousek and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {A Complexity Measure on B{\"{u}}chi Automata}, booktitle = {Language and Automata Theory and Applications - 10th International Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9618}, pages = {102--113}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30000-9\_8}, doi = {10.1007/978-3-319-30000-9\_8}, timestamp = {Mon, 16 Sep 2019 15:27:03 +0200}, biburl = {https://dblp.org/rec/conf/lata/Fisman16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/AlurF16, author = {Rajeev Alur and Dana Fisman}, editor = {Adrian{-}Horia Dediu and Jan Janousek and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {Colored Nested Words}, booktitle = {Language and Automata Theory and Applications - 10th International Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9618}, pages = {143--155}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30000-9\_11}, doi = {10.1007/978-3-319-30000-9\_11}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lata/AlurF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/AngluinBF16, author = {Dana Angluin and Udi Boker and Dana Fisman}, editor = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier}, title = {Families of DFAs as Acceptors of omega-Regular Languages}, booktitle = {41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland}, series = {LIPIcs}, volume = {58}, pages = {11:1--11:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.11}, doi = {10.4230/LIPICS.MFCS.2016.11}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/AngluinBF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AlurFSS16a, author = {Rajeev Alur and Dana Fisman and Rishabh Singh and Armando Solar{-}Lezama}, editor = {Ruzica Piskac and Rayna Dimitrova}, title = {SyGuS-Comp 2016: Results and Analysis}, booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016}, series = {{EPTCS}}, volume = {229}, pages = {178--202}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.229.13}, doi = {10.4204/EPTCS.229.13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AlurFSS16a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AngluinBF16, author = {Dana Angluin and Udi Boker and Dana Fisman}, title = {Families of DFAs as Acceptors of {\textdollar}{\(\omega\)}{\textdollar}-Regular Languages}, journal = {CoRR}, volume = {abs/1612.08154}, year = {2016}, url = {http://arxiv.org/abs/1612.08154}, eprinttype = {arXiv}, eprint = {1612.08154}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AngluinBF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Ben-DavidCFR15, author = {Shoham Ben{-}David and Fady Copty and Dana Fisman and Sitvanit Ruah}, title = {Vacuity in practice: temporal antecedent failure}, journal = {Formal Methods Syst. Des.}, volume = {46}, number = {1}, pages = {81--104}, year = {2015}, url = {https://doi.org/10.1007/s10703-014-0221-0}, doi = {10.1007/S10703-014-0221-0}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Ben-DavidCFR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FismanL15, author = {Dana Fisman and Yoad Lustig}, editor = {Luca Aceto and David de Frutos{-}Escrig}, title = {A Modular Approach for B{\"{u}}chi Determinization}, booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015}, series = {LIPIcs}, volume = {42}, pages = {368--382}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.368}, doi = {10.4230/LIPICS.CONCUR.2015.368}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/concur/FismanL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/AngluinEF15, author = {Dana Angluin and Sarah Eisenstat and Dana Fisman}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {Learning Regular Languages via Alternating Automata}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {3308--3314}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/466}, timestamp = {Tue, 20 Aug 2019 16:16:43 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/AngluinEF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AlurFSS16, author = {Rajeev Alur and Dana Fisman and Rishabh Singh and Armando Solar{-}Lezama}, editor = {Pavol Cern{\'{y}} and Viktor Kuncak and Parthasarathy Madhusudan}, title = {Results and Analysis of SyGuS-Comp'15}, booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco, CA, USA, 18th July 2015}, series = {{EPTCS}}, volume = {202}, pages = {3--26}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.202.3}, doi = {10.4204/EPTCS.202.3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AlurFSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15, author = {Rajeev Alur and Rastislav Bod{\'{\i}}k and Eric Dallal and Dana Fisman and Pranav Garg and Garvit Juniwal and Hadas Kress{-}Gazit and P. Madhusudan and Milo M. K. Martin and Mukund Raghothaman and Shambwaditya Saha and Sanjit A. Seshia and Rishabh Singh and Armando Solar{-}Lezama and Emina Torlak and Abhishek Udupa}, editor = {Maximilian Irlbeck and Doron A. Peled and Alexander Pretschner}, title = {Syntax-Guided Synthesis}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series, {D:} Information and Communication Security}, volume = {40}, pages = {1--25}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-495-4-1}, doi = {10.3233/978-1-61499-495-4-1}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/EisnerFH14, author = {Cindy Eisner and Dana Fisman and John Havlicek}, title = {Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations}, journal = {{ACM} Trans. Comput. Log.}, volume = {15}, number = {2}, pages = {13:1--13:44}, year = {2014}, url = {https://doi.org/10.1145/2532440}, doi = {10.1145/2532440}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/EisnerFH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alt/AngluinF14, author = {Dana Angluin and Dana Fisman}, editor = {Peter Auer and Alexander Clark and Thomas Zeugmann and Sandra Zilles}, title = {Learning Regular Omega Languages}, booktitle = {Algorithmic Learning Theory - 25th International Conference, {ALT} 2014, Bled, Slovenia, October 8-10, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8776}, pages = {125--139}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11662-4\_10}, doi = {10.1007/978-3-319-11662-4\_10}, timestamp = {Sun, 25 Oct 2020 22:46:29 +0100}, biburl = {https://dblp.org/rec/conf/alt/AngluinF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ArmoniFJ13, author = {Roy Armoni and Dana Fisman and Naiyong Jin}, editor = {Natasha Sharygina and Helmut Veith}, title = {{SVA} and {PSL} Local Variables - {A} Practical Approach}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {197--212}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_13}, doi = {10.1007/978-3-642-39799-8\_13}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/ArmoniFJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FismanKL10, author = {Dana Fisman and Orna Kupferman and Yoad Lustig}, editor = {Javier Esparza and Rupak Majumdar}, title = {Rational Synthesis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6015}, pages = {190--204}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12002-2\_16}, doi = {10.1007/978-3-642-12002-2\_16}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FismanKL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/FismanK09, author = {Dana Fisman and Orna Kupferman}, editor = {Kedar S. Namjoshi and Andreas Zeller and Avi Ziv}, title = {Reasoning about Finite-State Switched Systems}, booktitle = {Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, {HVC} 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6405}, pages = {71--86}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-19237-1\_10}, doi = {10.1007/978-3-642-19237-1\_10}, timestamp = {Sun, 25 Jul 2021 11:51:18 +0200}, biburl = {https://dblp.org/rec/conf/hvc/FismanK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0907-3019, author = {Dana Fisman and Orna Kupferman and Yoad Lustig}, title = {Rational Synthesis}, journal = {CoRR}, volume = {abs/0907.3019}, year = {2009}, url = {http://arxiv.org/abs/0907.3019}, eprinttype = {arXiv}, eprint = {0907.3019}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0907-3019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Ben-DavidFR08, author = {Shoham Ben{-}David and Dana Fisman and Sitvanit Ruah}, title = {Embedding finite automata within regular expressions}, journal = {Theor. Comput. Sci.}, volume = {404}, number = {3}, pages = {202--218}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2008.03.011}, doi = {10.1016/J.TCS.2008.03.011}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Ben-DavidFR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/EisnerF08, author = {Cindy Eisner and Dana Fisman}, editor = {Alessandro Cimatti and Robert B. Jones}, title = {Augmenting a Regular Expression-Based Temporal Logic with Local Variables}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon, USA, 17-20 November 2008}, pages = {1--8}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/FMCAD.2008.ECP.27}, doi = {10.1109/FMCAD.2008.ECP.27}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/EisnerF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/FismanKSV08, author = {Dana Fisman and Orna Kupferman and Sarai Sheinvald{-}Faragy and Moshe Y. Vardi}, editor = {Hana Chockler and Alan J. Hu}, title = {A Framework for Inherent Vacuity}, booktitle = {Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October 27-30, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5394}, pages = {7--22}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01702-5\_7}, doi = {10.1007/978-3-642-01702-5\_7}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/FismanKSV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/EisnerF08, author = {Cindy Eisner and Dana Fisman}, editor = {Hana Chockler and Alan J. Hu}, title = {Structural Contradictions}, booktitle = {Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October 27-30, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5394}, pages = {164--178}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-01702-5\_17}, doi = {10.1007/978-3-642-01702-5\_17}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/EisnerF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FismanKL08, author = {Dana Fisman and Orna Kupferman and Yoad Lustig}, editor = {C. R. Ramakrishnan and Jakob Rehof}, title = {On Verifying Fault Tolerance of Distributed Protocols}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, pages = {315--331}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_22}, doi = {10.1007/978-3-540-78800-3\_22}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FismanKL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Ben-DavidFR07, author = {Shoham Ben{-}David and Dana Fisman and Sitvanit Ruah}, editor = {Lu{\'{\i}}s Caires and Vasco Thudichum Vasconcelos}, title = {Temporal Antecedent Failure: Refining Vacuity}, booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference, {CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4703}, pages = {492--506}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74407-8\_33}, doi = {10.1007/978-3-540-74407-8\_33}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Ben-DavidFR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/Fisman07, author = {Dana Fisman}, editor = {Karen Yorav}, title = {On the Characterization of Until as a Fixed Point Under Clocked Semantics}, booktitle = {Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October 23-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4899}, pages = {19--33}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77966-7\_6}, doi = {10.1007/978-3-540-77966-7\_6}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/Fisman07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/icas/EisnerF06, author = {Cindy Eisner and Dana Fisman}, title = {A Practical Introduction to {PSL}}, series = {Series on Integrated Circuits and Systems}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-36123-9}, doi = {10.1007/978-0-387-36123-9}, isbn = {978-0-387-35313-5}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/icas/EisnerF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/Ben-DavidFR05, author = {Shoham Ben{-}David and Dana Fisman and Sitvanit Ruah}, editor = {Shmuel Ur and Eyal Bin and Yaron Wolfsthal}, title = {The Safety Simple Subset}, booktitle = {Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3875}, pages = {14--29}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11678779\_2}, doi = {10.1007/11678779\_2}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/Ben-DavidFR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/EisnerFH05, author = {Cindy Eisner and Dana Fisman and John Havlicek}, editor = {Marcos Kawazoe Aguilera and James Aspnes}, title = {A topological characterization of weakness}, booktitle = {Proceedings of the Twenty-Fourth Annual {ACM} Symposium on Principles of Distributed Computing, {PODC} 2005, Las Vegas, NV, USA, July 17-20, 2005}, pages = {1--8}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1073814.1073816}, doi = {10.1145/1073814.1073816}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/EisnerFH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/Ben-DavidFR04, author = {Shoham Ben{-}David and Dana Fisman and Sitvanit Ruah}, editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspie{\ss}}, title = {Embedding Finite Automata within regular Expressions}, booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings}, series = {Technical Report}, volume = {{TR-2004-6}}, pages = {175--180}, publisher = {Department of Computer Science, University of Cyprus}, year = {2004}, timestamp = {Thu, 11 Sep 2008 12:07:39 +0200}, biburl = {https://dblp.org/rec/conf/isola/Ben-DavidFR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/EisnerFHLMC03, author = {Cindy Eisner and Dana Fisman and John Havlicek and Yoad Lustig and Anthony McIsaac and David Van Campenhout}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Reasoning with Temporal Logic on Truncated Paths}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {27--39}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_3}, doi = {10.1007/978-3-540-45069-6\_3}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/EisnerFHLMC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EisnerFHMC03, author = {Cindy Eisner and Dana Fisman and John Havlicek and Anthony McIsaac and David Van Campenhout}, editor = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger}, title = {The Definition of a Temporal Clock Operator}, booktitle = {Automata, Languages and Programming, 30th International Colloquium, {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2719}, pages = {857--870}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45061-0\_67}, doi = {10.1007/3-540-45061-0\_67}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EisnerFHMC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeerBEFGR01, author = {Ilan Beer and Shoham Ben{-}David and Cindy Eisner and Dana Fisman and Anna Gringauze and Yoav Rodeh}, editor = {G{\'{e}}rard Berry and Hubert Comon and Alain Finkel}, title = {The Temporal Logic Sugar}, booktitle = {Computer Aided Verification, 13th International Conference, {CAV} 2001, Paris, France, July 18-22, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2102}, pages = {363--367}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44585-4\_33}, doi = {10.1007/3-540-44585-4\_33}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeerBEFGR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FismanP01, author = {Dana Fisman and Amir Pnueli}, editor = {Ramesh Hariharan and Madhavan Mukund and V. Vinay}, title = {Beyond Regular Model Checking}, booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2245}, pages = {156--170}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45294-X\_14}, doi = {10.1007/3-540-45294-X\_14}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/FismanP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.