Daniel Grund
Daniel Grund
Verified email at cs.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
R Wilhelm, D Grund, J Reineke, M Schlickling, M Pister, C Ferdinand
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
2682009
GrGen: A fast SPO-based graph rewriting tool
R Geiß, G Batz, D Grund, S Hack, A Szalkowski
Graph Transformations, 383-397, 2006
2352006
Timing predictability of cache replacement policies
J Reineke, D Grund, C Berg, R Wilhelm
Real-Time Systems 37 (2), 99-122, 2007
2152007
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
176*2011
Register allocation for programs in SSA-form
S Hack, D Grund, G Goos
Compiler Construction, 247-262, 2006
1452006
Predictability considerations in the design of multi-core embedded systems
C Cullmann, C Ferdinand, G Gebhard, D Grund, C Maiza, J Reineke, ...
Proceedings of Embedded Real Time Software and Systems, 2010
1152010
Building timing predictable embedded systems
P Axer, R Ernst, H Falk, A Girault, D Grund, N Guan, B Jonsson, ...
ACM Transactions on Embedded Computing Systems (TECS) 13 (4), 1-37, 2014
1002014
Relative competitive analysis of cache replacement policies
J Reineke, D Grund
ACM Sigplan Notices 43 (7), 51-60, 2008
532008
Precise and efficient FIFO-replacement analysis based on static phase detection
D Grund, J Reineke
22nd Euromicro Conference on Real-Time Systems (ECRTS), 2010, 155-164, 2010
502010
Caches in WCET analysis
J Reineke
Universität des Saarlandes, Saarbrücken, PhD Thesis, 2008
462008
Abstract interpretation of FIFO replacement
D Grund, J Reineke
Static Analysis, 120-136, 2009
432009
Toward precise PLRU cache analysis
D Grund, J Reineke
10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010 …, 2010
422010
A fast cutting-plane algorithm for optimal coalescing
D Grund, S Hack
Compiler Construction, 111-125, 2007
402007
Static timing analysis for hard real-time systems
R Wilhelm, S Altmeyer, C Burguière, D Grund, J Herter, J Reineke, ...
Verification, Model Checking, and Abstract Interpretation, 3-22, 2010
392010
Computation takes time, but how much?
R Wilhelm, D Grund
Communications of the ACM 57 (2), 94-103, 2014
322014
Fast liveness checking for SSA-form programs
B Boissinot, S Hack, D Grund, B Dupont de Dine hin, F Rastello
Proceedings of the 6th annual IEEE/ACM international symposium on Code …, 2008
312008
Branch target buffers: WCET analysis framework and timing predictability
D Grund, J Reineke, G Gebhard
Journal of Systems Architecture 57 (6), 625-637, 2011
292011
Branch target buffers: WCET analysis framework and timing predictability
D Grund, J Reineke, G Gebhard
Embedded and Real-Time Computing Systems and Applications, 2009
292009
Sensitivity of cache replacement policies
J Reineke, D Grund
24*2008
Static Cache Analysis for Real-Time Systems: LRU, FIFO, PLRU
D Grund
PhD thesis, Saarland University, 2011
232011
The system can't perform the operation now. Try again later.
Articles 1–20