The DOI matches its Crossref record; 12 of the 12 references it cites were found in a registry or an index.
Ascertaining Uncertainty for Efficient Exact Cache Analysis
Open accessOverview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
The worst-case execution-time problem—overview of methods and survey of tools
Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., et al. (2008) · ACM Transactions on Embedded Computing Systems · doi:10.1145/1347375.1347389 · Cited by 1,871
Hitting the memory wall: implications of the obvious
Wulf, W. A., & McKee, S. A. (1995) · ACM SIGARCH Computer Architecture News · doi:10.1145/216585.216588 · Cited by 1,624
Hitting the Memory Wall: Implications of the Obvious
Wulf, W. A., & McKee, S. A. (1995) · Cited by 1,379
The nuXmv Symbolic Model Checker
Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., & Tonetta, S. (2014) · Lecture Notes in Computer Science · doi:10.1007/978-3-319-08867-9_22 · Cited by 545
Efficient and Precise Cache Behavior Prediction for Real-Time Systems
Ferdinand, C., & Wilhelm, R. (1999) · Real-Time Systems · doi:10.1023/a:1008186323068 · Cited by 233
The trace partitioning abstract domain
Rival, X., & Mauborgne, L. (2007) · ACM Transactions on Programming Languages and Systems · doi:10.1145/1275497.1275501 · Cited by 184
CacheAudit: A Tool for the Static Analysis of Cache Side Channels
Doychev, G., Köpf, B., Mauborgne, L., & Reineke, J. (2015) · ACM Transactions on Information and System Security · doi:10.1145/2756550 · Cited by 156
Self-citationClarkson, M. R., & Schneider, F. B. (2008) · IEEE Computer Security Foundations Workshop (CSFW) · doi:10.1109/csf.2008.7 · Cited by 114
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
Lv, M., Yi, W., Guan, N., et al. (2010) · Proceedings/Proceedings - Real-Time Systems Symposium · doi:10.1109/rtss.2010.30 · Cited by 103
A Survey on Static Cache Analysis for Real-Time Systems
Lv, M., Guan, N., Reineke, J., Wilhelm, R., & Yi, W. (2016) · Leibniz transactions on embedded systems · doi:10.4230/lites-v003-i001-a005 · Cited by 78
Self-citation
Cited by
In-memory computing with resistive switching devices
Ielmini, D., & Wong, H.-S. P. (2018) · Nature Electronics · doi:10.1038/s41928-018-0092-2 · Cited by 2,298
SLIM: Simultaneous Logic-in-Memory Computing Exploiting Bilayer Analog OxRAM Devices
Kingra, S. K., Parmar, V., Chang, C.-C., Hudec, B., Hou, T.-H., & Suri, M. (2020) · Scientific Reports · doi:10.1038/s41598-020-59121-0 · Cited by 1,439
A review of emerging non-volatile memory (NVM) technologies and applications
Chen, A. (2016) · Solid-State Electronics · doi:10.1016/j.sse.2016.07.006 · Cited by 668
The Future of Memristors: Materials Engineering and Neural Networks
Sun, K., Chen, J., & Yan, X. (2021) · Advanced Functional Materials · doi:10.1002/adfm.202006773 · Cited by 482
Reliability of analog resistive switching memory for neuromorphic computing
Zhao, M., Gao, B., Tang, J., Qian, H., & Wu, H. (2020) · Applied Physics Reviews · doi:10.1063/1.5124915 · Cited by 349
Metadata
- Authors
- Touzeau, V., Maïza, C., Monniaux, D., & Reineke, J.
- Venue
- Lecture Notes in Computer Science
- Publisher
- Springer International Publishing
- Published
- 2017
- Pages
- 22-40
- ISSN
- 0302-9743 (ISSN-L)
- 1611-3349
- OpenAlex
- W2761823169
- Cited by
- 267
- References
- 12
- FWCI
- 22.61
- Type
- conference paper
- Language
- en
- Open access
- green
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Ascertaining Uncertainty for Efficient Exact Cache Analysis. https://app.cochat.ai/papers/10.1007/978-3-319-63390-9_2
- The paper
- Touzeau, V., Maïza, C., Monniaux, D., & Reineke, J. (2017). Ascertaining Uncertainty for Efficient Exact Cache Analysis. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-319-63390-9_2
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
