Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Guillermo Sapiro
Claudia Calabrese
Musa Çağlar
Hao Mao
Peter Malec
Konstantinos I. Chatzilygeroudis
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TAMARAH ARONS
Author Info
Open Visualization
Name
Affiliation
Papers
TAMARAH ARONS
Weizmann Inst Sci, John von Neumann Minerva Ctr Verificat React Syst, IL-76100 Rehovot, Israel
12
Collaborators
Citations
PageRank
23
278
14.59
Referers
Referees
References
444
289
186
Search Limit
100
444
Publications (12 rows)
Collaborators (23 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Efficient symbolic simulation of low level software
8
0.57
2008
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation
2
0.43
2006
Formalizing UML Models and OCL Constraints in PVS
46
2.76
2005
Formal verification of backward compatibility of microcode
24
1.29
2005
Deductive Verification of UML Models in TLPVS
13
0.79
2004
TLPVS: A PVS-Based LTL Verification System
15
1.14
2003
Parameterized verification by probabilistic abstraction
11
0.70
2003
Using Timestamping and History Variables to Verify Sequential Consistency
5
0.46
2001
Parameterized Verification with Automatically Computed Inductive Assertions
111
3.68
2001
A Comparison of Two Verification Methods for Speculative Instruction Execution
18
0.93
2000
Verifying Tomasulo's algorithm by refinement
17
1.14
1999
Verification of Data-Insensitive CIrcuits: An In-Order-Retirement Case Study
8
0.69
1998
1