Most of the papers available here appear in print, and the corresponding copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.



Books

  • A Practical Introduction to PSL
    Cindy Eisner and Dana Fisman
    Springer 2006.

Book Chapters

  • Functional Specification of Hardware via Temporal Logic
    Cindy Eisner and Dana Fisman
    Chapter in Handbook of Model Checking, to appear.
  • Syntax-Guided Synthesis
    R. Alur, R. Bodik, E. Dallal, D. Fisman, P. Garg, G. Juniwal, H. Kress-Gazit, P. Madusudan, M. Martin, M. Raghothman, S. Saha , S. Seshia, R. Singh, A. Solar-Lezama, E. Torlak and A. Udupa in DSEE'15

Refereed Publications

  • SyGuS-Comp 2016: Results and Analysis
    Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama in SYNT'16
  • Families of DFAs as Acceptors of ω-Regular Languages
    Dana Angluin, Udi Boker and Dana Fisman in FMCS'16
  • Regular Programming for Quantitative Properties of Data Streams
    Rajeev Alur, Dana Fisman and Mukund Raghothaman in ESOP'16
  • A Complexity Measure on Büchi Automata
    Dana Fisman in LATA'16
  • Colored Nested Words
    Rajeev Alur and Dana Fisman in LATA'16
  • Results and Analysis of SyGuS-Comp’15
    Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama in SYNT'15
  • A Modular Approach for Büchi Determinization
    Dana Fisman and Yoad Lustig in CONCUR'15
  • Learning Regular Languages via Alternating Automata
    Dana Angluin, Sarah Eisenstat and Dana Fisman in IJCAI'15
  • Learning Regular Omega Languages
    Dana Angluin and Dana Fisman in ALT'14
  • Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
    Cindy Eisner, Dana Fisman and John Havlicek in TOCL'14
  • SVA and PSL Local Variables - A Practical Approach
    Roy Armoni, Dana Fisman and Naiyong Jin in CAV'13
  • Rational Synthesis
    Dana Fisman, Orna Kupferman and Yoad Lustig in TACAS'10
  • Reasoning about Finite-State Switched Systems
    Dana Fisman and Orna Kupferman in HVC'09
  • Augmenting a Regular Expression-Based Temporal Logic with Local Variables
    Cindy Eisner and Dana Fisman in FMCAD'08
  • A Framework for Inherent Vacuity
    Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy and Moshe Vardi in HVC'08
  • Structural Contradictions
    Cindy Eisner and Dana Fisman in HVC'08
  • On Verifying Fault Tolerance of Distributed Protocols
    Dana Fisman, Orna Kupferman and Yoad Lustig in TACAS'08
  • Vacuity in Practice: Temporal Antecedent Failure
    Shoham Ben-David, Fady Copty, Dana Fisman and Sitvanit Ruah in FMSD'15
  • Temporal Antecedent Failure: Refining Vacuity
    Shoham Ben-David, Dana Fisman and Sitvanit Ruah in CONCUR'07
  • On the Characterization of Until as a Fixed Point Under Clocked Semantics
    Dana Fisman in HVC'07
  • The Safety Simple Subset
    Shoham Ben-David, Dana Fisman and Sitvanit Ruah in HVC'05
  • A Topological Characterization of Weakness
    Cindy Eisner, Dana Fisman and John Havlicek in PODC'05
  • Embedding Finite Automata within Regular Expressions
    Shoham Ben-David, Dana Fisman and Sitvanit Ruah in ISOLA'04, journal version at TCS'08
  • Reasoning with Temporal Logic on Truncated Paths
    Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac and David Van Campenhout in CAV'03
  • The Definition of a Temporal Clock Operator
    Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac and David Van Campenhout in ICALP'03
  • The Temporal Logic Sugar
    Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, and Yoav Rodeh in CAV'01
  • Beyond Regular Model Checking
    Dana Fisman and Amir Pnueli in FSTTCS'01

Techincal Reports

  • Automata Construction for PSL
    Doron Bustan, Dana Fisman and John Havlicek Weizmann MCS05-04 report


Publications by research themes