Travelled to:1 × France
1 × Poland
1 × Portugal
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:A.Pnueli ∅ L.D.Zuck E.Elster J.Shalev E.Singerman S.Ozer J.Hooman H.Kugler M.v.d.Zwaag S.Ruah J.Xu L.Fix S.Mador-Haim M.Mishaeli A.Tiemeyer M.Y.Vardi D.Geist G.Biran M.Slavkin Y.Nustov M.Farkas K.Holtz A.Long D.King S.Barret
Talks about:verif (7) parameter (2) execut (2) probabilist (1) methodolog (1) comparison (1) timestamp (1) algorithm (1) sequenti (1) microcod (1)
Person: Tamarah Arons
DBLP: Arons:Tamarah
Contributed to:
2008
20052004
2004
20032001
2000
1999Wrote 9 papers:
- DATE-2008-AronsEOSS #low level #performance #simulation
- Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.
- 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-2004-Arons #algorithm #execution #verification
- Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.
- UML-2004-AronsHKPZ #deduction #modelling #uml #verification
- Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.
- FoSSaCS-2003-AronsPZ #abstraction #probability #verification
- Parameterized Verification by Probabilistic Abstraction (TA, AP, LDZ), pp. 87–102.
- CAV-2001-Arons #consistency #using #verification
- Using Timestamping and History Variables to Verify Sequential Consistency (TA), pp. 423–435.
- CAV-2001-AronsPRXZ #automation #induction #verification
- Parameterized Verification with Automatically Computed Inductive Assertions (TA, AP, SR, JX, LDZ), pp. 221–234.
- TACAS-2000-AronsP #comparison #execution #verification
- A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
- DAC-1999-GeistBASNFHLKB #verification
- A Methodology for the Verification of a “System on Chip” (DG, GB, TA, MS, YN, MF, KH, AL, DK, SB), pp. 574–579.