Andreas Abel
Andreas Abel
Saarland University, Saarland Informatics Campus
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
672013
Measurement-based modeling of the cache replacement policy
A Abel, J Reineke
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
302013
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
252014
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
212019
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
162015
Gray-box learning of serial compositions of mealy machines
A Abel, J Reineke
NASA Formal Methods Symposium, 272-287, 2016
72016
nanoBench: a low-overhead tool for running microbenchmarks on x86 systems
A Abel, J Reineke
2020 IEEE International Symposium on Performance Analysis of Systems and …, 2020
62020
Measurement-based inference of the cache hierarchy
A Abel
Master’s thesis, Saarland University, 2012.[Online]. Available: http …, 2012
52012
Flushgeist: Cache leaks from beyond the flush
P Vila, A Abel, M Guarnieri, B Köpf, J Reineke
arXiv preprint arXiv:2005.13853, 2020
22020
Automatic cache modeling by measurements
A Abel, J Reineke
6th Junior Researcher Workshop on Real-Time Computing (in conjunction with RTNS), 2012
22012
From Uppaal To Slab
A Abel
Bachelor thesis. Faculty of Natural Sciences and Technology I, Saarland …, 2009
12009
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