Dana Fisman - RankMe

88 papers A* 10A 3B 18C 2Journal 35Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Atomic Gliders and Cellular Automata as Language Generators. VMCAI Dana Fisman, Noa Izsak
2025	J	`jnl`	Atomic Gliders and CA as Language Generators (Extended Version). CoRR Dana Fisman, Noa Izsak
2025	—	`conf`	Insights into Learning Broadcast Protocols - (Short Paper). CSCML Dana Fisman, Noa Izsak, Swen Jacobs
2025	J	`jnl`	Omega-Regular Robustness. CoRR Dana Fisman, Elina Sudit
2025	B	`conf`	Runtime Consultants. RV Dana Fisman, Elina Sudit
2025	J	`jnl`	Runtime Consultants. CoRR Dana Fisman, Elina Sudit
2024	B	`conf`	A Robust Measure on FDFAs Following Duo-Normalized Acceptance. MFCS Dana Fisman, Emmanuel Goldberg, Oded Zimerman
2024	J	`jnl`	Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages. Log. Methods Comput. Sci. Dana Angluin, Dana Fisman
2024	B	`conf`	Learning Broadcast Protocols with LeoParDS. ATVA Noa Izsak, Dana Fisman, Swen Jacobs
2024	A*	`conf`	Learning Broadcast Protocols. AAAI Dana Fisman, Noa Izsak, Swen Jacobs
2024	B	`conf`	When Is the Normalized Edit Distance over Non-Uniform Weights a Metric? CPM Dana Fisman, Ilay Tzarfati
2023	J	`jnl`	A Colorful and Robust Measure for FDFAs. CoRR Dana Fisman, Emmanuel Goldberg, Oded Zimerman
2023	B	`conf`	A Normalized Edit Distance on Infinite Words. CSL Dana Fisman, Joshua Grogin, Gera Weiss
2023	J	`jnl`	Inferring Symbolic Automata. Log. Methods Comput. Sci. Dana Fisman, Hadar Frenkel, Sandra Zilles
2023	J	`jnl`	Introduction to the Special Issue on Runtime Verification. Int. J. Softw. Tools Technol. Transf. Lu Feng, Dana Fisman
2023	J	`jnl`	Learning Broadcast Protocols. CoRR Dana Fisman, Noa Izsak, Swen Jacobs
2023	J	`jnl`	Learning of Structurally Unambiguous Probabilistic Grammars. Log. Methods Comput. Sci. Dana Fisman, Dolav Nitay, Michal Ziv-Ukelson
2022	B	`conf`	Inferring Symbolic Automata. CSL Dana Fisman, Hadar Frenkel, Sandra Zilles
2022	A*	`ed.`	LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 LICS Christel Baier, Dana Fisman
2022	B	`conf`	Learning and Characterizing Fully-Ordered Lattice Automata. ATVA Dana Fisman, Sagi Saadon
2022	J	`jnl`	Learning of Structurally Unambiguous Probabilistic Grammars. CoRR Dana Fisman, Dolav Nitay, Michal Ziv-Ukelson
2022	J	`jnl`	Polynomial Identification of omega-Automata. CoRR Dana Angluin, Dana Fisman, Yaara Shoval
2022	B	`conf`	Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata. FoSSaCS Dana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George
2022	B	`conf`	The Normalized Edit Distance with Uniform Operation Costs Is a Metric. CPM Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
2022	J	`jnl`	The Normalized Edit Distance with Uniform Operation Costs is a Metric. CoRR Dana Fisman, Joshua Grogin, Oded Margalit, Gera Weiss
2022	—	`ed.`	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 TACAS (1) Dana Fisman, Grigore Rosu
2022	—	`ed.`	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 TACAS (2) Dana Fisman, Grigore Rosu
2021	J	`jnl`	Colored nested words. Formal Methods Syst. Des. Rajeev Alur, Dana Fisman
2021	J	`jnl`	Inferring Symbolic Automata. CoRR Dana Fisman, Hadar Frenkel, Sandra Zilles
2021	A*	`conf`	Learning of Structurally Unambiguous Probabilistic Grammars. AAAI Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson
2021	J	`jnl`	Regular Inf. Comput. Dana Angluin, Dana Fisman
2021	B	`ed.`	Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings RV Lu Feng, Dana Fisman
2021	J	`jnl`	Special Issue on Syntax-Guided Synthesis Preface. Formal Methods Syst. Des. Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2020	A*	`conf`	Learning Interpretable Models in the Property Specification Language. IJCAI Rajarshi Roy, Dana Fisman, Daniel Neider
2020	J	`jnl`	Learning Interpretable Models in the Property Specification Language. CoRR Rajarshi Roy, Dana Fisman, Daniel Neider
2020	J	`jnl`	Learning of Structurally Unambiguous Probabilistic Grammars. CoRR Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson
2020	J	`jnl`	On the Complexity of Symbolic Finite-State Automata. CoRR Dana Fisman, Hadar Frenkel, Sandra Zilles
2020	—	`conf`	Polynomial Identification of ømega-Automata. TACAS (2) Dana Angluin, Dana Fisman, Yaara Shoval
2020	J	`jnl`	Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors. CoRR Dana Angluin, Dana Fisman
2020	J	`jnl`	Safety Synthesis Sans Specification. CoRR Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
2020	J	`jnl`	Streamable regular transductions. Theor. Comput. Sci. Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2020	B	`conf`	Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries. CSL Dana Angluin, Timos Antonopoulos, Dana Fisman
2019	J	`jnl`	Query learning of derived ωω\omega-tree languages in polynomial time. Log. Methods Comput. Sci. Dana Angluin, Timos Antonopoulos, Dana Fisman
2019	J	`jnl`	SyGuS-Comp 2018: Results and Analysis. CoRR Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
2018	J	`jnl`	Families of DFAs as Acceptors of ω-Regular Languages. Log. Methods Comput. Sci. Dana Angluin, Udi Boker, Dana Fisman
2018	—	`ch.`	Functional Specification of Hardware via Temporal Logic. Handbook of Model Checking Cindy Eisner, Dana Fisman
2018	J	`jnl`	Inferring regular languages and J. Log. Algebraic Methods Program. Dana Fisman
2018	J	`jnl`	Query learning of derived ω-tree languages in polynomial time. CoRR Dana Angluin, Timos Antonopoulos, Dana Fisman
2018	—	`conf`	Regular omega-Languages with an Informative Right Congruence. GandALF Dana Angluin, Dana Fisman
2018	J	`jnl`	Search-based program synthesis. Commun. ACM Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
2018	J	`jnl`	Streamable Regular Transductions. CoRR Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2018	—	`conf`	Temporal Reasoning on Incomplete Paths. ISoLA (2) Dana Fisman, Hillel Kugler
2017	—	`ed.`	Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. SYNT@CAV Dana Fisman, Swen Jacobs
2017	B	`conf`	Query Learning of Derived Omega-Tree Languages in Polynomial Time. CSL Dana Angluin, Timos Antonopoulos, Dana Fisman
2017	—	`conf`	SyGuS-Comp 2017: Results and Analysis. SYNT@CAV Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2016	C	`conf`	A Complexity Measure on Büchi Automata. LATA Dana Fisman
2016	C	`conf`	Colored Nested Words. LATA Rajeev Alur, Dana Fisman
2016	J	`jnl`	Families of DFAs as Acceptors of $ω$-Regular Languages. CoRR Dana Angluin, Udi Boker, Dana Fisman
2016	B	`conf`	Families of DFAs as Acceptors of omega-Regular Languages. MFCS Dana Angluin, Udi Boker, Dana Fisman
2016	J	`jnl`	Learning regular omega languages. Theor. Comput. Sci. Dana Angluin, Dana Fisman
2016	A	`conf`	Regular Programming for Quantitative Properties of Data Streams. ESOP Rajeev Alur, Dana Fisman, Mukund Raghothaman
2016	—	`conf`	SyGuS-Comp 2016: Results and Analysis. SYNT@CAV Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2015	B	`conf`	A Modular Approach for Büchi Determinization. CONCUR Dana Fisman, Yoad Lustig
2015	A*	`conf`	Learning Regular Languages via Alternating Automata. IJCAI Dana Angluin, Sarah Eisenstat, Dana Fisman
2015	—	`conf`	Results and Analysis of SyGuS-Comp'15. SYNT Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2015	—	`ch.`	Syntax-Guided Synthesis. Dependable Software Systems Engineering Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2015	J	`jnl`	Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
2014	B	`conf`	Learning Regular Omega Languages. ALT Dana Angluin, Dana Fisman
2014	J	`jnl`	Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. ACM Trans. Comput. Log. Cindy Eisner, Dana Fisman, John Havlicek
2013	A*	`conf`	SVA and PSL Local Variables - A Practical Approach. CAV Roy Armoni, Dana Fisman, Naiyong Jin
2010	A	`conf`	Rational Synthesis. TACAS Dana Fisman, Orna Kupferman, Yoad Lustig
2009	J	`jnl`	Rational Synthesis CoRR Dana Fisman, Orna Kupferman, Yoad Lustig
2009	—	`conf`	Reasoning about Finite-State Switched Systems. Haifa Verification Conference Dana Fisman, Orna Kupferman
2008	—	`conf`	A Framework for Inherent Vacuity. Haifa Verification Conference Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi
2008	B	`conf`	Augmenting a Regular Expression-Based Temporal Logic with Local Variables. FMCAD Cindy Eisner, Dana Fisman
2008	J	`jnl`	Embedding finite automata within regular expressions. Theor. Comput. Sci. Shoham Ben-David, Dana Fisman, Sitvanit Ruah
2008	A	`conf`	On Verifying Fault Tolerance of Distributed Protocols. TACAS Dana Fisman, Orna Kupferman, Yoad Lustig
2008	—	`conf`	Structural Contradictions. Haifa Verification Conference Cindy Eisner, Dana Fisman
2007	—	`conf`	On the Characterization of Until as a Fixed Point Under Clocked Semantics. Haifa Verification Conference Dana Fisman
2007	B	`conf`	Temporal Antecedent Failure: Refining Vacuity. CONCUR Shoham Ben-David, Dana Fisman, Sitvanit Ruah
2006	—	`book`	A Practical Introduction to PSL Cindy Eisner, Dana Fisman
2005	A*	`conf`	A topological characterization of weakness. PODC Cindy Eisner, Dana Fisman, John Havlicek
2005	—	`conf`	The Safety Simple Subset. Haifa Verification Conference Shoham Ben-David, Dana Fisman, Sitvanit Ruah
2004	—	`conf`	Embedding Finite Automata within regular Expressions. ISoLA (Preliminary proceedings) Shoham Ben-David, Dana Fisman, Sitvanit Ruah
2003	A*	`conf`	Reasoning with Temporal Logic on Truncated Paths. CAV Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
2003	A*	`conf`	The Definition of a Temporal Clock Operator. ICALP Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
2001	—	`conf`	Beyond Regular Model Checking. FSTTCS Dana Fisman, Amir Pnueli
2001	A*	`conf`	The Temporal Logic Sugar. CAV Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh