Dana Fisman

Citado por

	Total	Desde 2019
Citas	3349	1616
Índice h	23	16
Índice i10	42	21

300

150

225

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 21 48 46 66 90 123 75 86 62 70 70 87 141 196 208 275 229 274 270 256 286 293

Acceso público

Ver todo

13 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Cindy EisnerDirección de correo verificada de alumni.technion.ac.il
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Rishabh SinghResearch Scientist, Google BrainDirección de correo verificada de google.com
Armando Solar-LezamaMITDirección de correo verificada de csail.mit.edu
Dana AngluinProfessor of Computer Science, Yale UniversityDirección de correo verificada de cs.yale.edu
Yoad LustigSoftware Engineer, GoogleDirección de correo verificada de google.com
Mukund RaghothamanUniversity of Southern CaliforniaDirección de correo verificada de usc.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Emina TorlakAmazon Web Services, University of WashingtonDirección de correo verificada de alum.mit.edu
Abhishek UdupaMicrosoft ResearchDirección de correo verificada de microsoft.com
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Dirección de correo verificada de google.com
Rastislav BodikUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Garvit JuniwalUC BerkeleyDirección de correo verificada de eecs.berkeley.edu
Yoav RodehOrt Braude College, KarmielDirección de correo verificada de braude.ac.il
Timos AntonopoulosResearch Scientist, Yale UniversityDirección de correo verificada de yale.edu
Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Sarai SheinvaldORT Braude CollegeDirección de correo verificada de braude.ac.il
Sandra ZillesProfessor, Computer Science, University of ReginaDirección de correo verificada de cs.uregina.ca

Seguir

Dana Fisman

Associate Professor of Computer Science, Ben-Gurion University

Dirección de correo verificada de cs.bgu.ac.il - Página principal

Formal Verification Automata Games Logic Grammatical Inference


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1020	2015
A Practical Introduction to PSL C Eisner, D Fisman Springer, 2006	318	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	281	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	223	2001
Rational synthesis D Fisman, O Kupferman, Y Lustig Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	183	2010
Search-based program synthesis R Alur, R Singh, D Fisman, A Solar-Lezama Communications of the ACM 61 (12), 84-93, 2018	125	2018
Learning regular omega languages D Angluin, D Fisman Theoretical Computer Science 650, 57-72, 2016	86	2016
Regular programming for quantitative properties of data streams R Alur, D Fisman, M Raghothaman Programming Languages and Systems: 25th European Symposium on Programming …, 2016	83	2016
Sygus-comp 2016: Results and analysis R Alur, D Fisman, R Singh, A Solar-Lezama arXiv preprint arXiv:1611.07627, 2016	73	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	59	2017
Learning Regular Languages via Alternating Automata. D Angluin, S Eisenstat, D Fisman IJCAI, 3308-3314, 2015	57	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	38	2003
Beyond regular model checking D Fisman, A Pnueli International Conference on Foundations of Software Technology and …, 2001	38	2001
Learning interpretable models in the property specification language R Roy, D Fisman, D Neider arXiv preprint arXiv:2002.03668, 2020	37	2020
Families of DFAs as Acceptors of -Regular Languages D Angluin, U Boker, D Fisman Logical Methods in Computer Science 14, 2018	34	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
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores