Search dblp for Publications

• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 182 matches

• 2021
• 
  Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner:
  Testing Implementation Soundness of a WCET Analysis Tool. A Journey of Embedded and Cyber-Physical Systems 2021: 5-17
• 2020
• 
  Reinhard Wilhelm:
  Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum. Springer 2020, ISBN 978-3-658-28385-8
• 
  Reinhard Wilhelm:
  Real time spent on real time. Commun. ACM 63(10): 54-60 (2020)
• 
  Reinhard Wilhelm:
  Tiefes Leid und enorme Großzügigkeit. Inform. Spektrum 43(6): 444-445 (2020)
• 
  Reinhard Wilhelm:
  Determining Reliable and Precise Execution Time Bounds of Real-Time Software. IT Prof. 22(3): 64-69 (2020)
• 2019
• 
  Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
  Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. 188: 336-346 (2019)
• 
  Volker Claus, Stefan Jähnichen, Reinhard Wilhelm:
  GI 50 - und wie geht es weiter? GI-Jahrestagung 2019: 25
• 2018
• 
  Reinhard Wilhelm:
  On the Road to Conviction: An Email Exchange with Edward Lee. Principles of Modeling 2018: 524-537
• 
  Reinhard Wilhelm:
  Mixed Feelings About Mixed Criticality (Invited Paper). WCET 2018: 1:1-1:9
• 
  Reinhard Wilhelm, Jan Reineke, Simon Wegener:
  Keeping up with Real Time. Advances in Aeronautical Informatics 2018: 121-133
• 2017
• 
  Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
  Benchmarking Static Code Analyzers. SAFECOMP 2017: 197-212
• 2016
• 
  Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi:
  A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. 3(1): 05:1-05:48 (2016)
• 
  Jan Reineke, Reinhard Wilhelm:
  Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87
• 2015
• 
  Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
  Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12(1): 28-36 (2015)
• 
  Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
  Toward Compact Abstractions for Processor Pipelines. Correct System Design 2015: 205-220
• 2014
• 
  Reinhard Wilhelm, Daniel Grund:
  Computation takes time, but how much? Commun. ACM 57(2): 94-103 (2014)
• 
  Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi:
  Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13(4): 82:1-82:37 (2014)
• 
  Reinhard Wilhelm:
  Keller im Übersetzerbau. Keller, Stack und automatisches Gedächtnis 2014: 43-53
• 
  Jan Reineke, Reinhard Wilhelm:
  Impact of resource sharing on performance and performance prediction. DATE 2014: 1-2
• 
  Reinhard Wilhelm:
  Software Quality Assurance by Static Program Analysis. SWQD 2014: 1-11
• 2013
• 
  Reinhard Wilhelm, Helmut Seidl, Sebastian Hack:
  Compiler Design - Syntactic and Semantic Analysis. Springer 2013, ISBN 978-3-642-17539-8, pp. I-X, 1-225
• 
  Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm:
  Introduction to the special section on rigorous embedded systems design. ACM Trans. Embed. Comput. Syst. 12(1s): 41:1-41:2 (2013)
• 
  Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm:
  Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics 2013: 1-18
• 
  Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav:
  Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics 2013: 414-445
• 
  Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm:
  Impact of Resource Sharing on Performance and Performance Prediction: A Survey. CONCUR 2013: 25-43
• 2012
• 
  Helmut Seidl, Reinhard Wilhelm, Sebastian Hack:
  Compiler Design - Analysis and Transformation. Springer 2012, ISBN 978-3-642-17547-3, pp. I-XII, 1-177
• 
  Ernst-Rüdiger Olderog, Reinhard Wilhelm:
  Turing und die Verifikation. Inform. Spektrum 35(4): 271-279 (2012)
• 
  Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter:
  Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. Advances in Real-Time Systems 2012: 123-143
• 
  Reinhard Wilhelm, Jan Reineke:
  Embedded systems: Many cores - Many problems. SIES 2012: 176-180
• 
  Reinhard Wilhelm, Heiko Falk, Wang Yi:
  SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012. ACM 2012, ISBN 978-1-4503-1212-7 [contents]

skipping 152 more matches