Augmenting a regular expression-based temporal logic with local variables
- Cindy Eisner
- Dana Fisman
- 2008
- FMCAD 2008
Publications
Date
Featured collections
Popular topics
5 results for Dana Fisman
A topological characterization of weakness
- Cindy Eisner
- Dana Fisman
- et al.
- 2005
- PODC 2005
Vacuity in practice: temporal antecedent failure
- Shoham Ben-David
- Fady Copty
- et al.
- 2015
- Formal Methods in System Design
Safety and liveness, weakness and strength, and the underlying topological relations
- Cindy Eisner
- Dana Fisman
- et al.
- 2014
- ACM TOCL
Embedding finite automata within regular expressions
- Shoham Ben-David
- Dana Fisman
- et al.
- 2008
- Theoretical Computer Science