Follow
Dana Fisman
Dana Fisman
Associate Professor of Computer Science, Ben-Gurion University
Verified email at cs.bgu.ac.il - Homepage
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
7632015
A Practical Introduction to PSL
C Eisner, D Fisman
Springer, 2006
2992006
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
2622003
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
2112001
Rational synthesis
D Fisman, O Kupferman, Y Lustig
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1572010
Search-based program synthesis
R Alur, R Singh, D Fisman, A Solar-Lezama
Communications of the ACM 61 (12), 84-93, 2018
762018
Regular programming for quantitative properties of data streams
R Alur, D Fisman, M Raghothaman
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
752016
Learning regular omega languages
D Angluin, D Fisman
Theoretical Computer Science 650, 57-72, 2016
572016
A Framework for Inherent Vacuity.
D Fisman, O Kupferman, S Sheinvald-Faragy, MY Vardi
Haifa Verification Conference 5394, 7-22, 2008
522008
Automata construction for PSL
D Bustan, D Fisman, J Havlicek
Technical Report MCS05-04, The Weizmann Institute of Science, 2005
522005
Sygus-comp 2016: Results and analysis
R Alur, D Fisman, R Singh, A Solar-Lezama
arXiv preprint arXiv:1611.07627, 2016
512016
Learning regular languages via alternating automata
D Angluin, S Eisenstat, D Fisman
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
472015
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
412008
Sygus-comp 2017: Results and analysis
R Alur, D Fisman, R Singh, A Solar-Lezama
arXiv preprint arXiv:1711.11438, 2017
392017
Beyond regular model checking
D Fisman, A Pnueli
FST TCS 2001: Foundations of Software Technology and Theoretical Computer …, 2001
362001
The definition of a temporal clock operator
C Eisner, D Fisman, J Havlicek, A McIsaac, D Van Campenhout
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
342003
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
322005
A topological characterization of weakness
C Eisner, D Fisman, J Havlicek
Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005
302005
The safety simple subset
S Ben-David, D Fisman, S Ruah
Haifa Verification Conference 3875, 14-29, 2005
232005
Families of DFAs as Acceptors of -Regular Languages
D Fisman, U Boker, D Angluin
Logical Methods in Computer Science 14, 2018
222018
The system can't perform the operation now. Try again later.
Articles 1–20