Travelled to:1 × France
1 × USA
Collaborated with:R.Armoni A.Tiemeyer M.Y.Vardi D.Korchemny L.Fix A.Flaisher R.Gerth B.Ginsburg T.Kanza A.Landver S.Mador-Haim E.Singerman
Talks about:tempor (2) determinist (1) properti (1) monitor (1) languag (1) specif (1) linear (1) assert (1) logic (1) dynam (1)
Person: Yael Zbar
DBLP: Zbar:Yael
Contributed to:
2006
2002Wrote 2 papers:
- FATES-RV-2006-ArmoniKTVZ #linear #monitoring
- Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
- TACAS-2002-ArmoniFFGGKLMSTVZ #logic
- The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.