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 × 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 DBLP: Arons:Tamarah

Contributed to:

DATE 20082008
CAV 20052005
CAV 20042004
UML 20042004
FoSSaCS 20032003
CAV 20012001
TACAS 20002000
DAC 19991999

Wrote 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.

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.