| 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 | 67 | 2013 |
| Measurement-based modeling of the cache replacement policy A Abel, J Reineke 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013 | 30 | 2013 |
| 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 | 25 | 2014 |
| 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 | 21 | 2019 |
| 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 | 16 | 2015 |
| Gray-box learning of serial compositions of mealy machines A Abel, J Reineke NASA Formal Methods Symposium, 272-287, 2016 | 7 | 2016 |
| 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 | 6 | 2020 |
| Measurement-based inference of the cache hierarchy A Abel Master’s thesis, Saarland University, 2012.[Online]. Available: http …, 2012 | 5 | 2012 |
| Flushgeist: Cache leaks from beyond the flush P Vila, A Abel, M Guarnieri, B Köpf, J Reineke arXiv preprint arXiv:2005.13853, 2020 | 2 | 2020 |
| Automatic cache modeling by measurements A Abel, J Reineke 6th Junior Researcher Workshop on Real-Time Computing (in conjunction with RTNS), 2012 | 2 | 2012 |
| From Uppaal To Slab A Abel Bachelor thesis. Faculty of Natural Sciences and Technology I, Saarland …, 2009 | 1 | 2009 |
| 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 | | |
