Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
@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 = {Thu, 02 Feb 2023 12:49:12 +0100},
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, 22 Jun 2022 16:20:49 +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 = {Thu, 27 Jan 2022 17:26:21 +0100},
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, 15 Jan 2020 00:00:00 +0100},
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}
}
a service of 
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.
last updated on 2024-04-03 22:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
