Dana Fisman

Cited by

	All	Since 2019
Citations	3260	1527
h-index	22	15
i10-index	41	21

300

150

225

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 21 48 46 66 90 123 75 86 62 70 70 87 141 197 207 275 229 274 268 252 286 211

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Cindy EisnerVerified email at alumni.technion.ac.il
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Armando Solar-LezamaMITVerified email at csail.mit.edu
Dana AngluinProfessor of Computer Science, Yale UniversityVerified email at cs.yale.edu
Yoad LustigSoftware Engineer, GoogleVerified email at google.com
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Emina TorlakAmazon Web Services, University of WashingtonVerified email at alum.mit.edu
Abhishek UdupaMicrosoft ResearchVerified email at microsoft.com
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Garvit JuniwalUC BerkeleyVerified email at eecs.berkeley.edu
Yoav RodehOrt Braude College, KarmielVerified email at braude.ac.il
Timos AntonopoulosResearch Scientist, Yale UniversityVerified email at yale.edu
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Sarai SheinvaldORT Braude CollegeVerified email at braude.ac.il
Ingo PillExternal Lecturer Graz University of TechnologyVerified email at ist.tugraz.at

Dana Fisman

Associate Professor of Computer Science, Ben-Gurion University

Verified email at cs.bgu.ac.il - Homepage

Formal Verification Automata Games Logic Grammatical Inference


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Syntax-Guided Synthesis R Alur, R Bodík, E Dallal, D Fisman, P Garg, G Juniwal, H Kress-Gazit, ... NATO Science for Peace and Security Series, 40 (Information and …, 2015	993	2015
A Practical Introduction to PSL C Eisner, D Fisman Springer, 2006	313	2006
Reasoning with temporal logic on truncated paths C Eisner, D Fisman, J Havlicek, Y Lustig, A McIsaac, D Van Campenhout Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	278	2003
The temporal logic Sugar I Beer, S Ben-David, C Eisner, D Fisman, A Gringauze, Y Rodeh Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	222	2001
Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	180	2010
Search-based program synthesis R Alur, R Singh, D Fisman, A Solar-Lezama Communications of the ACM 61 (12), 84-93, 2018	120	2018
Regular programming for quantitative properties of data streams R Alur, D Fisman, M Raghothaman Programming Languages and Systems: 25th European Symposium on Programming …, 2016	81	2016
Learning regular omega languages D Angluin, D Fisman Theoretical Computer Science 650, 57-72, 2016	80	2016
Sygus-comp 2016: Results and analysis R Alur, D Fisman, R Singh, A Solar-Lezama arXiv preprint arXiv:1611.07627, 2016	70	2016
A framework for inherent vacuity D Fisman, O Kupferman, S Sheinvald-Faragy, MY Vardi Hardware and Software: Verification and Testing: 4th International Haifa …, 2009	61	2009
Sygus-comp 2017: Results and analysis R Alur, D Fisman, R Singh, A Solar-Lezama arXiv preprint arXiv:1711.11438, 2017	58	2017
Learning Regular Languages via Alternating Automata. D Angluin, S Eisenstat, D Fisman IJCAI, 3308-3314, 2015	56	2015
Automata construction for PSL D Bustan, D Fisman, J Havlicek Technical Report MCS05-04, The Weizmann Institute of Science, 2005	52	2005
On verifying fault tolerance of distributed protocols D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008	42	2008
The definition of a temporal clock operator C Eisner, D Fisman, J Havlicek, A McIsaac, D Van Campenhout International Colloquium on Automata, Languages, and Programming, 857-870, 2003	39	2003
Beyond regular model checking D Fisman, A Pnueli International Conference on Foundations of Software Technology and …, 2001	38	2001
Families of DFAs as Acceptors of -Regular Languages D Angluin, U Boker, D Fisman Logical Methods in Computer Science 14, 2018	32	2018
Automata construction algorithms optimized for PSL S Ben-David, R Bloem, D Fisman, A Griesmayer, I Pill, S Ruah Property-Based System Design (PROSYD), Deliverable 3.2 4, 2005	32	2005
Learning interpretable models in the property specification language R Roy, D Fisman, D Neider arXiv preprint arXiv:2002.03668, 2020	30	2020
A topological characterization of weakness C Eisner, D Fisman, J Havlicek Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005	29	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors