Andreas Abel
Andreas Abel
Verified email at cs.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
Impact of resource sharing on performance and performance prediction: A survey
A Abel, F Benz, J Doerfert, B Dörr, S Hahn, F Haupenthal, M Jacobs, ...
International Conference on Concurrency Theory, 25-43, 2013
612013
Measurement-based modeling of the cache replacement policy
A Abel, J Reineke
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
272013
Reverse engineering of cache replacement policies in intel microprocessors and their evaluation
A Abel, J Reineke
2014 IEEE International Symposium on Performance Analysis of Systems and …, 2014
232014
MeMin: SAT-based exact minimization of incompletely specified mealy machines
A Abel, J Reineke
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 94-101, 2015
142015
uops. info: Characterizing latency, throughput, and port usage of instructions on intel microarchitectures
A Abel, J Reineke
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
132019
Gray-box learning of serial compositions of mealy machines
A Abel, J Reineke
NASA Formal Methods Symposium, 272-287, 2016
72016
Measurement-based inference of the cache hierarchy
A Abel
Master’s thesis, Saarland University, 2012.[Online]. Available: http …, 2012
52012
nanoBench: A Low-Overhead Tool for Running Microbenchmarks on x86 Systems
A Abel, J Reineke
arXiv preprint arXiv:1911.03282, 2019
32019
Automatic cache modeling by measurements
A Abel, J Reineke
6th Junior Researcher Workshop on Real-Time Computing (in conjunction with RTNS), 2012
12012
From Uppaal To Slab
A Abel
Bachelor thesis. Faculty of Natural Sciences and Technology I, Saarland …, 2009
12009
Flushgeist: Cache Leaks from Beyond the Flush
P Vila, A Abel, M Guarnieri, B Köpf, J Reineke
arXiv preprint arXiv:2005.13853, 2020
2020
Automatic Generation of Models of Microarchitectures
A Abel
Saarländische Universitäts-und Landesbibliothek, 2020
2020
Dataflow Framework for Checker Framework
A Abel, K Muslu, B Myers
The system can't perform the operation now. Try again later.
Articles 1–13