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 × United Kingdom
4 × USA
Collaborated with:
M.Y.Vardi J.Yang R.Armoni L.Fix Y.Zbar G.Kamhi A.Novakovsky A.Wolffberg A.Flaisher D.Korchemny S.Mador-Haim E.Singerman O.Grumberg N.Piterman T.Arons E.Elster M.Mishaeli J.Shalev L.D.Zuck R.Gerth B.Ginsburg T.Kanza A.Landver
Talks about:
tempor (3) linear (2) logic (2) determinist (1) architectur (1) transact (1) properti (1) microcod (1) backward (1) vacuiti (1)

Person: Andreas Tiemeyer

DBLP DBLP: Tiemeyer:Andreas

Contributed to:

DAC 20092009
FATES/RV 20062006
CAV 20052005
CAV 20032003
TACAS 20022002
DAC 20002000

Wrote 6 papers:

DAC-2009-KamhiNTW #analysis #architecture #named #statistics #transaction
MAGENTA: transaction-based statistical micro-architectural root-cause analysis (GK, AN, AT, AW), pp. 639–643.
FATES-RV-2006-ArmoniKTVZ #linear #monitoring
Deterministic Dynamic Monitors for Linear-Time Assertions (RA, DK, AT, MYV, YZ), pp. 163–177.
CAV-2005-AronsEFMMSSTVZ #verification
Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.
CAV-2003-ArmoniFFGPTV #detection #linear #logic
Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.
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.
DAC-2000-YangT #lazy evaluation #model checking
Lazy symbolic model checking (JY, AT), pp. 35–38.

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.