Dana Fisman

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 48

Top Topics

Regular Languages

Topological Relations

Temporal Reasoning

Top Venues

Log. Methods Comput. Sci.

Formal Methods Syst. Des.

Publications

Dana Fisman, Emmanuel Goldberg, Oded Zimerman
A Robust Measure on FDFAs Following Duo-Normalized Acceptance. MFCS (2024)
Dana Fisman, Noa Izsak, Swen Jacobs
Learning Broadcast Protocols. AAAI (2024)
Dana Fisman, Ilay Tzarfati
When Is the Normalized Edit Distance over Non-Uniform Weights a Metric? CPM (2024)
Lu Feng, Dana Fisman
Introduction to the Special Issue on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Dana Fisman, Noa Izsak, Swen Jacobs
Learning Broadcast Protocols. CoRR (2023)
Dana Fisman, Joshua Grogin, Gera Weiss
A Normalized Edit Distance on Infinite Words. CSL (2023)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. Log. Methods Comput. Sci. 19 (2) (2023)
Dana Fisman, Emmanuel Goldberg, Oded Zimerman
A Colorful and Robust Measure for FDFAs. CoRR (2023)
Dana Fisman, Dolav Nitay, Michal Ziv-Ukelson
Learning of Structurally Unambiguous Probabilistic Grammars. Log. Methods Comput. Sci. 19 (1) (2023)
Dana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata. FoSSaCS (2022)
Dana Fisman, Sagi Saadon
Learning and Characterizing Fully-Ordered Lattice Automata. ATVA (2022)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. CSL (2022)
Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
The Normalized Edit Distance with Uniform Operation Costs is a Metric. CoRR (2022)
Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
The Normalized Edit Distance with Uniform Operation Costs Is a Metric. CPM (2022)
Dana Angluin, Dana Fisman, Yaara Shoval
Polynomial Identification of omega-Automata. CoRR (2022)
Dana Fisman, Dolav Nitay, Michal Ziv-Ukelson
Learning of Structurally Unambiguous Probabilistic Grammars. CoRR (2022)
Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson
Learning of Structurally Unambiguous Probabilistic Grammars. AAAI (2021)
Dana Angluin, Dana Fisman
-languages with an informative right congruence. Inf. Comput. 278 (2021)
Rajeev Alur, Dana Fisman
Colored nested words. Formal Methods Syst. Des. 58 (3) (2021)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. CoRR (2021)
Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. 58 (3) (2021)
Rajarshi Roy, Dana Fisman, Daniel Neider
Learning Interpretable Models in the Property Specification Language. IJCAI (2020)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable regular transductions. Theor. Comput. Sci. 807 (2020)
Dana Angluin, Dana Fisman, Yaara Shoval
Polynomial Identification of ømega-Automata. TACAS (2) (2020)
Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson
Learning of Structurally Unambiguous Probabilistic Grammars. CoRR (2020)
Dana Fisman, Hadar Frenkel, Sandra Zilles
Inferring Symbolic Automata. CoRR (2020)
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
Safety Synthesis Sans Specification. CoRR (2020)
Dana Angluin, Timos Antonopoulos, Dana Fisman
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries. CSL (2020)
Rajarshi Roy, Dana Fisman, Daniel Neider
Learning Interpretable Models in the Property Specification Language. CoRR (2020)
Dana Angluin, Dana Fisman
Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors. CoRR (2020)
Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
SyGuS-Comp 2018: Results and Analysis. CoRR (2019)
Dana Angluin, Timos Antonopoulos, Dana Fisman
Query learning of derived ωω\omega-tree languages in polynomial time. Log. Methods Comput. Sci. 15 (3) (2019)
Dana Angluin, Udi Boker, Dana Fisman
Families of DFAs as Acceptors of ω-Regular Languages. Log. Methods Comput. Sci. 14 (1) (2018)
Dana Fisman, Hillel Kugler
Temporal Reasoning on Incomplete Paths. ISoLA (2) (2018)
Dana Angluin, Dana Fisman
Regular omega-Languages with an Informative Right Congruence. GandALF (2018)
Dana Fisman
-languages. J. Log. Algebraic Methods Program. 98 (2018)
Dana Angluin, Timos Antonopoulos, Dana Fisman
Query learning of derived ω-tree languages in polynomial time. CoRR (2018)
Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
Search-based program synthesis. Commun. ACM 61 (12) (2018)
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
Streamable Regular Transductions. CoRR (2018)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
SyGuS-Comp 2017: Results and Analysis. SYNT@CAV (2017)
Dana Angluin, Timos Antonopoulos, Dana Fisman
Query Learning of Derived Omega-Tree Languages in Polynomial Time. CSL (2017)
Rajeev Alur, Dana Fisman
Colored Nested Words. LATA (2016)
Rajeev Alur, Dana Fisman, Mukund Raghothaman
Regular Programming for Quantitative Properties of Data Streams. ESOP (2016)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
SyGuS-Comp 2016: Results and Analysis. SYNT@CAV (2016)
Dana Angluin, Udi Boker, Dana Fisman
Families of DFAs as Acceptors of $ω$-Regular Languages. CoRR (2016)
Dana Angluin, Udi Boker, Dana Fisman
Families of DFAs as Acceptors of omega-Regular Languages. MFCS (2016)
Dana Fisman
A Complexity Measure on Büchi Automata. LATA (2016)
Dana Angluin, Dana Fisman
Learning regular omega languages. Theor. Comput. Sci. 650 (2016)
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
Results and Analysis of SyGuS-Comp'15. SYNT (2015)
Dana Fisman, Yoad Lustig
A Modular Approach for Büchi Determinization. CONCUR (2015)
Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. 46 (1) (2015)
Dana Angluin, Sarah Eisenstat, Dana Fisman
Learning Regular Languages via Alternating Automata. IJCAI (2015)
Dana Angluin, Dana Fisman
Learning Regular Omega Languages. ALT (2014)
Cindy Eisner, Dana Fisman, John Havlicek
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. ACM Trans. Comput. Log. 15 (2) (2014)
Roy Armoni, Dana Fisman, Naiyong Jin
SVA and PSL Local Variables - A Practical Approach. CAV (2013)
Dana Fisman, Orna Kupferman, Yoad Lustig
Rational Synthesis. TACAS (2010)
Dana Fisman, Orna Kupferman, Yoad Lustig
Rational Synthesis CoRR (2009)
Dana Fisman, Orna Kupferman
Reasoning about Finite-State Switched Systems. Haifa Verification Conference (2009)
Dana Fisman, Orna Kupferman, Yoad Lustig
On Verifying Fault Tolerance of Distributed Protocols. TACAS (2008)
Cindy Eisner, Dana Fisman
Structural Contradictions. Haifa Verification Conference (2008)
Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi
A Framework for Inherent Vacuity. Haifa Verification Conference (2008)
Cindy Eisner, Dana Fisman
Augmenting a Regular Expression-Based Temporal Logic with Local Variables. FMCAD (2008)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Embedding finite automata within regular expressions. Theor. Comput. Sci. 404 (3) (2008)
Dana Fisman
On the Characterization of Until as a Fixed Point Under Clocked Semantics. Haifa Verification Conference (2007)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Temporal Antecedent Failure: Refining Vacuity. CONCUR (2007)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
The Safety Simple Subset. Haifa Verification Conference (2005)
Cindy Eisner, Dana Fisman, John Havlicek
A topological characterization of weakness. PODC (2005)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Embedding Finite Automata within regular Expressions. ISoLA (Preliminary proceedings) (2004)
Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
The Definition of a Temporal Clock Operator. ICALP (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. CAV (2003)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
The Temporal Logic Sugar. CAV (2001)
Dana Fisman, Amir Pnueli
Beyond Regular Model Checking. FSTTCS (2001)