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 176 matches

• 2019
• 
  Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
  Benchmarking static code analyzers. Rel. Eng. & Sys. Safety 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. LITES 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 Review 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. Embedded 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. Embedded 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. Informatik 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]
• 2011
• 
  Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm:
  Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos 1(1): 21-40 (2011)
• 
  Daniel Grund, Jan Reineke, Reinhard Wilhelm:
  A Template for Predictability Definitions with Supporting Evidence. PPES 2011: 22-31
• 
  Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm:
  Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France. OASICS 18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011, ISBN 978-3-939897-28-6 [contents]
• 2010
• 
  Reinhard Wilhelm, Helmut Seidl:
  Compiler Design - Virtual Machines. Springer 2010, ISBN 978-3-642-14908-5, pp. I-XIII, 1-187
• 
  Reinhard Wilhelm, Matteo Maffei:
  Ubiquitous Verification of Ubiquitous Systems. SEUS 2010: 47-58

skipping 146 more matches