BibTeX records: Daniel Grund

download as .bib file

@article{DBLP:journals/cacm/WilhelmG14,
  author       = {Reinhard Wilhelm and
                  Daniel Grund},
  title        = {Computation takes time, but how much?},
  journal      = {Commun. {ACM}},
  volume       = {57},
  number       = {2},
  pages        = {94--103},
  year         = {2014},
  url          = {https://doi.org/10.1145/2500886},
  doi          = {10.1145/2500886},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/WilhelmG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AxerEFGGGJMRRSHW014,
  author       = {Philip Axer and
                  Rolf Ernst and
                  Heiko Falk and
                  Alain Girault and
                  Daniel Grund and
                  Nan Guan and
                  Bengt Jonsson and
                  Peter Marwedel and
                  Jan Reineke and
                  Christine Rochange and
                  Maurice Sebastian and
                  Reinhard von Hanxleden and
                  Reinhard Wilhelm and
                  Wang Yi},
  title        = {Building timing predictable embedded systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {13},
  number       = {4},
  pages        = {82:1--82:37},
  year         = {2014},
  url          = {https://doi.org/10.1145/2560033},
  doi          = {10.1145/2560033},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/AxerEFGGGJMRRSHW014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ReinekeAG0M14,
  author       = {Jan Reineke and
                  Sebastian Altmeyer and
                  Daniel Grund and
                  Sebastian Hahn and
                  Claire Maiza},
  title        = {Selfish-LRU: Preemption-aware caching for predictability and performance},
  booktitle    = {20th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2014, Berlin, Germany, April 15-17, 2014},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/RTAS.2014.6925997},
  doi          = {10.1109/RTAS.2014.6925997},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/ReinekeAG0M14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ReinekeG13,
  author       = {Jan Reineke and
                  Daniel Grund},
  title        = {Sensitivity of cache replacement policies},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {12},
  number       = {1s},
  pages        = {42:1--42:18},
  year         = {2013},
  url          = {https://doi.org/10.1145/2435227.2435238},
  doi          = {10.1145/2435227.2435238},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/ReinekeG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/HahnG12,
  author       = {Sebastian Hahn and
                  Daniel Grund},
  editor       = {Robert Davis},
  title        = {Relational Cache Analysis for Static Timing Analysis},
  booktitle    = {24th Euromicro Conference on Real-Time Systems, {ECRTS} 2012, Pisa,
                  Italy, July 11-13, 2012},
  pages        = {102--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ECRTS.2012.14},
  doi          = {10.1109/ECRTS.2012.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/HahnG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GrundRG11,
  author       = {Daniel Grund and
                  Jan Reineke and
                  Gernot Gebhard},
  title        = {Branch target buffers: {WCET} analysis framework and timing predictability},
  journal      = {J. Syst. Archit.},
  volume       = {57},
  number       = {6},
  pages        = {625--637},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.sysarc.2010.05.013},
  doi          = {10.1016/J.SYSARC.2010.05.013},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/GrundRG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrundRW11,
  author       = {Daniel Grund and
                  Jan Reineke and
                  Reinhard Wilhelm},
  editor       = {Philipp Lucas and
                  Lothar Thiele and
                  Benoit Triquet and
                  Theo Ungerer and
                  Reinhard Wilhelm},
  title        = {A Template for Predictability Definitions with Supporting Evidence},
  booktitle    = {Bringing Theory to Practice: Predictability and Performance in Embedded
                  Systems, {DATE} Workshop {PPES} 2011, March 18, 2011, Grenoble, France},
  series       = {OASIcs},
  volume       = {18},
  pages        = {22--31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2011},
  url          = {https://doi.org/10.4230/OASIcs.PPES.2011.22},
  doi          = {10.4230/OASICS.PPES.2011.22},
  timestamp    = {Wed, 02 Aug 2023 16:29:12 +0200},
  biburl       = {https://dblp.org/rec/conf/date/GrundRW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/GrundR10,
  author       = {Daniel Grund and
                  Jan Reineke},
  title        = {Precise and Efficient FIFO-Replacement Analysis Based on Static Phase
                  Detection},
  booktitle    = {22nd Euromicro Conference on Real-Time Systems, {ECRTS} 2010, Brussels,
                  Belgium, July 6-9, 2010},
  pages        = {155--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECRTS.2010.8},
  doi          = {10.1109/ECRTS.2010.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/GrundR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WilhelmABGHRWW10,
  author       = {Reinhard Wilhelm and
                  Sebastian Altmeyer and
                  Claire Burgui{\`{e}}re and
                  Daniel Grund and
                  J{\"{o}}rg Herter and
                  Jan Reineke and
                  Bj{\"{o}}rn Wachter and
                  Stephan Wilhelm},
  editor       = {Gilles Barthe and
                  Manuel V. Hermenegildo},
  title        = {Static Timing Analysis for Hard Real-Time Systems},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 11th International
                  Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5944},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11319-2\_3},
  doi          = {10.1007/978-3-642-11319-2\_3},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/WilhelmABGHRWW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/GrundR10,
  author       = {Daniel Grund and
                  Jan Reineke},
  editor       = {Bj{\"{o}}rn Lisper},
  title        = {Toward Precise {PLRU} Cache Analysis},
  booktitle    = {10th International Workshop on Worst-Case Execution Time Analysis,
                  {WCET} 2010, July 6, 2010, Brussels, Belgium},
  series       = {OASIcs},
  volume       = {15},
  pages        = {23--35},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2010},
  url          = {https://doi.org/10.4230/OASIcs.WCET.2010.23},
  doi          = {10.4230/OASICS.WCET.2010.23},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcet/GrundR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WilhelmGRSPF09,
  author       = {Reinhard Wilhelm and
                  Daniel Grund and
                  Jan Reineke and
                  Marc Schlickling and
                  Markus Pister and
                  Christian Ferdinand},
  title        = {Memory Hierarchies, Pipelines, and Buses for Future Architectures
                  in Time-Critical Embedded Systems},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {28},
  number       = {7},
  pages        = {966--978},
  year         = {2009},
  url          = {https://doi.org/10.1109/TCAD.2009.2013287},
  doi          = {10.1109/TCAD.2009.2013287},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcad/WilhelmGRSPF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/GrundRG09,
  author       = {Daniel Grund and
                  Jan Reineke and
                  Gernot Gebhard},
  title        = {Branch Target Buffers: {WCET} Analysis Framework and Timing Predictability},
  booktitle    = {15th {IEEE} International Conference on Embedded and Real-Time Computing
                  Systems and Applications, {RTCSA} 2009, Beijing, China, 24-26 August
                  2009},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RTCSA.2009.8},
  doi          = {10.1109/RTCSA.2009.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/GrundRG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GrundR09,
  author       = {Daniel Grund and
                  Jan Reineke},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Abstract Interpretation of {FIFO} Replacement},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {120--136},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_10},
  doi          = {10.1007/978-3-642-03237-0\_10},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GrundR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BoissinotHGDR08,
  author       = {Benoit Boissinot and
                  Sebastian Hack and
                  Daniel Grund and
                  Beno{\^{\i}}t Dupont de Dinechin and
                  Fabrice Rastello},
  editor       = {Mary Lou Soffa and
                  Evelyn Duesterwald},
  title        = {Fast liveness checking for ssa-form programs},
  booktitle    = {Sixth International Symposium on Code Generation and Optimization
                  {(CGO} 2008), April 5-9, 2008, Boston, MA, {USA}},
  pages        = {35--44},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1356058.1356064},
  doi          = {10.1145/1356058.1356064},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cgo/BoissinotHGDR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ReinekeG08,
  author       = {Jan Reineke and
                  Daniel Grund},
  editor       = {Kriszti{\'{a}}n Flautner and
                  John Regehr},
  title        = {Relative competitive analysis of cache replacement policies},
  booktitle    = {Proceedings of the 2008 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
                  Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ,
                  USA, June 12-13, 2008},
  pages        = {51--60},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1375657.1375665},
  doi          = {10.1145/1375657.1375665},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lctrts/ReinekeG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GrundR08,
  author       = {Daniel Grund and
                  Jan Reineke},
  title        = {Estimating the Performance of Cache Replacement Policies},
  booktitle    = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
                  CA, {USA}},
  pages        = {101--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/MEMCOD.2008.4547695},
  doi          = {10.1109/MEMCOD.2008.4547695},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/GrundR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/ReinekeG08,
  author       = {Jan Reineke and
                  Daniel Grund},
  editor       = {Zhen Liu and
                  Vishal Misra and
                  Prashant J. Shenoy},
  title        = {Relative competitiveness of cache replacement policies},
  booktitle    = {Proceedings of the 2008 {ACM} {SIGMETRICS} International Conference
                  on Measurement and Modeling of Computer Systems, {SIGMETRICS} 2008,
                  Annapolis, MD, USA, June 2-6, 2008},
  pages        = {431--432},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1375457.1375506},
  doi          = {10.1145/1375457.1375506},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmetrics/ReinekeG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ReinekeGBW07,
  author       = {Jan Reineke and
                  Daniel Grund and
                  Christoph Berg and
                  Reinhard Wilhelm},
  title        = {Timing predictability of cache replacement policies},
  journal      = {Real Time Syst.},
  volume       = {37},
  number       = {2},
  pages        = {99--122},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11241-007-9032-3},
  doi          = {10.1007/S11241-007-9032-3},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/ReinekeGBW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GrundH07,
  author       = {Daniel Grund and
                  Sebastian Hack},
  editor       = {Shriram Krishnamurthi and
                  Martin Odersky},
  title        = {A Fast Cutting-Plane Algorithm for Optimal Coalescing},
  booktitle    = {Compiler Construction, 16th International Conference, {CC} 2007, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2007, Braga, Portugal, March 26-30, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4420},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71229-9\_8},
  doi          = {10.1007/978-3-540-71229-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/GrundH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/FarkasG07,
  author       = {Tibor Farkas and
                  Daniel Grund},
  title        = {Rule Checking within the Model-Based Development of Safety-Critical
                  Systems and Embedded Automotive Software},
  booktitle    = {International Symposium on Autonomous Decentralized Systems {(ISADS}
                  2007), 21-23 March 2007, Sedona, AZ, {USA}},
  pages        = {287--294},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISADS.2007.66},
  doi          = {10.1109/ISADS.2007.66},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isads/FarkasG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/HackGG06,
  author       = {Sebastian Hack and
                  Daniel Grund and
                  Gerhard Goos},
  editor       = {Alan Mycroft and
                  Andreas Zeller},
  title        = {Register Allocation for Programs in SSA-Form},
  booktitle    = {Compiler Construction, 15th International Conference, {CC} 2006, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3923},
  pages        = {247--262},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11688839\_20},
  doi          = {10.1007/11688839\_20},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/HackGG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GeissBGHS06,
  author       = {Rubino Gei{\ss} and
                  Gernot Veit Batz and
                  Daniel Grund and
                  Sebastian Hack and
                  Adam Szalkowski},
  editor       = {Andrea Corradini and
                  Hartmut Ehrig and
                  Ugo Montanari and
                  Leila Ribeiro and
                  Grzegorz Rozenberg},
  title        = {GrGen: {A} Fast SPO-Based Graph Rewriting Tool},
  booktitle    = {Graph Transformations, Third International Conference, {ICGT} 2006,
                  Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4178},
  pages        = {383--397},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841883\_27},
  doi          = {10.1007/11841883\_27},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/gg/GeissBGHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics