Dana Fisman
Dana Fisman
Dirección de correo verificada de cs.bgu.ac.il - Página principal
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
5802015
A Practical Introduction to PSL
C Eisner, D Fisman
Springer, 2006
2792006
Reasoning with temporal logic on truncated paths
C Eisner, D Fisman, J Havlicek, Y Lustig, A McIsaac, D Van Campenhout
International conference on computer aided verification, 27-39, 2003
2412003
The temporal logic Sugar
I Beer, S Ben-David, C Eisner, D Fisman, A Gringauze, Y Rodeh
International Conference on Computer Aided Verification, 363-367, 2001
1982001
Rational synthesis
D Fisman, O Kupferman, Y Lustig
International Conference on Tools and Algorithms for the Construction and …, 2010
1322010
Regular programming for quantitative properties of data streams
R Alur, D Fisman, M Raghothaman
European Symposium on Programming, 15-40, 2016
682016
Automata construction for PSL
D Bustan, D Fisman, J Havlicek
Technical Report MCS05-04, The Weizmann Institute of Science, 2005
532005
A framework for inherent vacuity
D Fisman, O Kupferman, S Sheinvald-Faragy, MY Vardi
Haifa Verification Conference, 7-22, 2008
482008
Learning regular omega languages
D Angluin, D Fisman
Theoretical Computer Science 650, 57-72, 2016
442016
Sygus-comp 2016: Results and analysis
R Alur, D Fisman, R Singh, A Solar-Lezama
arXiv preprint arXiv:1611.07627, 2016
392016
Search-based program synthesis
R Alur, R Singh, D Fisman, A Solar-Lezama
Communications of the ACM 61 (12), 84-93, 2018
382018
On verifying fault tolerance of distributed protocols
D Fisman, O Kupferman, Y Lustig
International Conference on Tools and Algorithms for the Construction and …, 2008
372008
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
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
322003
Beyond regular model checking
D Fisman, A Pnueli
International Conference on Foundations of Software Technology and …, 2001
322001
Learning Regular Languages via Alternating Automata.
D Angluin, S Eisenstat, D Fisman
IJCAI, 3308-3314, 2015
312015
A topological characterization of weakness
C Eisner, D Fisman, J Havlicek
Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005
282005
Sygus-comp 2017: Results and analysis
R Alur, D Fisman, R Singh, A Solar-Lezama
arXiv preprint arXiv:1711.11438, 2017
222017
The safety simple subset
S Ben-David, D Fisman, S Ruah
Haifa Verification Conference, 14-29, 2005
222005
Temporal antecedent failure: Refining vacuity
S Ben-David, D Fisman, S Ruah
International Conference on Concurrency Theory, 492-506, 2007
212007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20