BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Hungary
1 × Russia
1 × The Netherlands
1 × USA
Collaborated with:
Y.Lustig O.Kupferman D.Angluin T.Antonopoulos C.Eisner J.Havlicek A.McIsaac D.V.Campenhout R.Armoni N.Jin R.Alur M.Raghothaman I.Beer S.Ben-David A.Gringauze Y.Rodeh
Talks about:
tempor (3) polynomi (2) queri (2) logic (2) membership (1) distribut (1) unambigu (1) synthesi (1) protocol (1) properti (1)

Person: Dana Fisman

DBLP DBLP: Fisman:Dana

Contributed to:

CAV 20132013
TACAS 20102010
TACAS 20082008
CAV 20032003
ICALP 20032003
CAV 20012001
ESOP 20162016
CSL 20172017
CSL 20202020

Wrote 9 papers:

CAV-2013-ArmoniFJ #approach
SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.
TACAS-2010-FismanKL #synthesis
Rational Synthesis (DF, OK, YL), pp. 190–204.
TACAS-2008-FismanKL #distributed #fault tolerance #on the #protocol #verification
On Verifying Fault Tolerance of Distributed Protocols (DF, OK, YL), pp. 315–331.
CAV-2003-EisnerFHLMC #logic #reasoning
Reasoning with Temporal Logic on Truncated Paths (CE, DF, JH, YL, AM, DVC), pp. 27–39.
The Definition of a Temporal Clock Operator (CE, DF, JH, AM, DVC), pp. 857–870.
CAV-2001-BeerBEFGR #logic
The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.
ESOP-2016-AlurFR #data type #programming
Regular Programming for Quantitative Properties of Data Streams (RA, DF, MR), pp. 15–40.
CSL-2017-AngluinAF #learning #polynomial #query
Query Learning of Derived Omega-Tree Languages in Polynomial Time (DA, TA, DF), p. 21.
CSL-2020-AngluinAF #ambiguity #automaton #predict #query
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries (DA, TA, DF), p. 17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.