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: Tiemeyer:Andreas
Contributed to:
2009
2006
20052003
20022000Wrote 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.