


Остановите войну!
for scientists:
Search dblp for Publications
Please enter a search query
- 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.
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 185 matches
- 2022
- Reinhard Wilhelm:
Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande. Amazon 2022 - 2021
- Reinhard Wilhelm:
Foundations of programming languages. Formal Aspects Comput. 33(6): 1279-1280 (2021) - Reinhard Wilhelm:
Verifizierter Interessenskonflikt. Inform. Spektrum 44(2): 136-137 (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:
Determining Reliable and Precise Execution Time Bounds of Real-Time Software. IT Prof. 22(3): 64-69 (2020) - Reinhard Wilhelm:
Real Time Spent on Real Time. RTSS 2020: 1-2 - 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)
skipping 155 more matches
loading more results
failed to load more results, please try again later

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
retrieved on 2022-06-30 06:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint