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 × 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 DBLP: Armoni:Roy

Contributed to:

CAV 20132013
FATES/RV 20062006
CAV 20032003
TACAS 20032003
TACAS 20022002
STOC 19971997

Wrote 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.
SL <= L4/3 (RA, ATS, AW, SZ), pp. 230–239.

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.