Travelled to:1 × France
1 × Poland
1 × Russia
3 × USA
Collaborated with:M.Y.Vardi A.Tiemeyer D.Fisman N.Jin Y.Zbar D.Bustan O.Kupferman A.Ta-Shma A.Wigderson S.Zhou L.Fix A.Flaisher D.Korchemny O.Grumberg N.Piterman R.Gerth B.Ginsburg T.Kanza A.Landver S.Mador-Haim E.Singerman
Talks about:tempor (4) linear (3) logic (3) determinist (1) properti (1) approach (1) variabl (1) vacuiti (1) practic (1) monitor (1)
Person: Roy Armoni
DBLP: Armoni:Roy
Contributed to:
2013
20062003
20032002
1997Wrote 6 papers:
- CAV-2013-ArmoniFJ #approach
- SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.
- FATES-RV-2006-ArmoniKTVZ #linear #monitoring
- Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
- CAV-2003-ArmoniFFGPTV #detection #linear #logic
- Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.
- TACAS-2003-ArmoniBKV #linear #logic
- Resets vs. Aborts in Linear Temporal Logic (RA, DB, OK, MYV), pp. 65–80.
- 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.
- STOC-1997-ArmoniTWZ
- SL <= L4/3 (RA, ATS, AW, SZ), pp. 230–239.