Reinhard Wilhelm

ORCID

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 53

Top Venues

Inform. Spektrum

Neue Einsichten eines Informatikers von geringem Verstande

ACM Trans. Embed. Comput. Syst.

Formal Aspects Comput.

Technical University of Munich, Germany (PHD)

Education History

Technical University of Munich, Germany

PHD

Publications

Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand
Abstract Interpretation in Industry - Experience and Lessons Learned. SAS (2023)
Reinhard Wilhelm
MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm. Formal Aspects Comput. 34 (2) (2022)
Reinhard Wilhelm
Geadeltes Gemüse. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Das kleine und das große Geschäft bei Amazon. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Trekking oder Tracking, das ist hier die Frage. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Foundations of programming languages. Formal Aspects Comput. 33 (6) (2021)
Reinhard Wilhelm
Graduelle Mitgliedschaft. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Weiche oder harte Wegbiegung. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Open Access to the University Cash Box. Neue Einsichten eines Informatikers von geringem Verstande 2021 (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)
Reinhard Wilhelm
Software und das 8. Gebot - Glosse. Inform. Spektrum 44 (1) (2021)
Reinhard Wilhelm
Fucking Bitche. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Den Kontrolleur kontrollieren. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Standardisierung und Kommunikation. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Die Automatisierung nachgeordneter Prozesse. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Taliban in Wikipedia. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
TechnoKing Elon Musk und risikomaximierter Minister Andi Scheuer. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Kreisläufe des Lebens. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Eine Bahnfahrt, die ist lustig, eine Bahnfahrt, die ist schön! Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Verifizierter Interessenskonflikt. Inform. Spektrum 44 (2) (2021)
Reinhard Wilhelm
Der Niedergang des Schlapphütefilms. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Das Glück, Heribert zu heißen. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021)
Reinhard Wilhelm
Daten- und Personenpfade - Glosse. Inform. Spektrum 43 (4) (2020)
Reinhard Wilhelm
Real Time Spent on Real Time. RTSS (2020)
Reinhard Wilhelm
Real time spent on real time. Commun. ACM 63 (10) (2020)
Reinhard Wilhelm
Tiefes Leid und enorme Großzügigkeit - Glosse. Inform. Spektrum 43 (6) (2020)
Reinhard Wilhelm
Geladen bis zum Limit - Glosse. Inform. Spektrum 42 (6) (2020)
Reinhard Wilhelm
Bär, Bulle, Dachs und Co - Glosse. Inform. Spektrum 43 (1) (2020)
Reinhard Wilhelm
Die Seuche am Hals - Glosse. Inform. Spektrum 43 (5) (2020)
Reinhard Wilhelm
Google, übersetze! - Glosse. Inform. Spektrum 43 (2) (2020)
Reinhard Wilhelm
Determining Reliable and Precise Execution Time Bounds of Real-Time Software. IT Prof. 22 (3) (2020)
Reinhard Wilhelm
Die Bahn gewährt eine Freifahrt - Glosse. Inform. Spektrum 43 (3) (2020)
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. 188 (2019)
Reinhard Wilhelm
Letzte Rätsel - Glosse. Inform. Spektrum 42 (4) (2019)
Volker Claus, Stefan Jähnichen, Reinhard Wilhelm
GI 50 - und wie geht es weiter? GI-Jahrestagung (2019)
Reinhard Wilhelm
Im goldenen Zeitalter der Kommunikation - Glosse. Inform. Spektrum 42 (3) (2019)
Reinhard Wilhelm
Autonom gefahren - Glosse. Inform. Spektrum 42 (2) (2019)
Reinhard Wilhelm
Der rollende Fortschritt - Glosse. Inform. Spektrum 42 (1) (2019)
Reinhard Wilhelm
Au, Toren schafft Autorenschaft - Glosse. Inform. Spektrum 42 (5) (2019)
Reinhard Wilhelm
On the Road to Conviction: An Email Exchange with Edward Lee. Principles of Modeling (2018)
Reinhard Wilhelm
Die Individualisierung des Nutzen - Glosse. Inform. Spektrum 41 (6) (2018)
Reinhard Wilhelm
Gesund oder ungesund, das ist hier die Frage - Glosse. Inform. Spektrum 41 (1) (2018)
Reinhard Wilhelm
Autonomer Optimismus - Glosse. Inform. Spektrum 41 (2) (2018)
Reinhard Wilhelm
Mixed Feelings About Mixed Criticality (Invited Paper). WCET (2018)
Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
Benchmarking Static Code Analyzers. SAFECOMP (2017)
Reinhard Wilhelm
Mit besten Empfehlungen - Glosse. Inform. Spektrum 40 (6) (2017)
Reinhard Wilhelm
Künstliche Begeisterung und abgrundtiefes Lernen - Glosse. Inform. Spektrum 40 (2) (2017)
Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7 (7) (2017)
Reinhard Wilhelm
GLOSSE 4.0 - Glosse. Inform. Spektrum 39 (5) (2016)
Reinhard Wilhelm
Das WissPersPlan-Problem - Glosse. Inform. Spektrum 39 (6) (2016)
Reinhard Wilhelm
Revolutionäre bibliometrische Maße - Glosse. Inform. Spektrum 39 (3) (2016)
Jan Reineke, Reinhard Wilhelm
Static Timing Analysis - What is Special? Semantics, Logics, and Calculi (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) (2016)
Reinhard Wilhelm
Kluge Elterei - Glosse. Inform. Spektrum 38 (5) (2015)
Reinhard Wilhelm
Der Algorithmus - eine moderne Menschheitsplage - Glosse. Inform. Spektrum 38 (4) (2015)
Reinhard Wilhelm, Otto Spaniol
Die Energiewende in ihrem Lauf, ... - Glosse. Inform. Spektrum 38 (2) (2015)
Reinhard Wilhelm
Bedienhilfen - Glosse. Inform. Spektrum 38 (6) (2015)
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12 (1) (2015)
Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
Toward Compact Abstractions for Processor Pipelines. Correct System Design (2015)
Reinhard Wilhelm, Daniel Grund
Computation takes time, but how much? Commun. ACM 57 (2) (2014)
Reinhard Wilhelm
Keller im Übersetzerbau. Keller, Stack und automatisches Gedächtnis (2014)
Reinhard Wilhelm
Software Quality Assurance by Static Program Analysis. SWQD (2014)
Reinhard Wilhelm
Reisen ins Unwesentliche - Glosse. Inform. Spektrum 37 (5) (2014)
Reinhard Wilhelm
Gespritzt, bestrahlt, gepumpt, aber nicht verifiziert - Glosse. Inform. Spektrum 37 (6) (2014)
Reinhard Wilhelm
Die Differenzierung der Mail-Halde - Glosse. Inform. Spektrum 37 (1) (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) (2014)
Jan Reineke, Reinhard Wilhelm
Impact of resource sharing on performance and performance prediction. DATE (2014)
Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm
Introduction to the special section on rigorous embedded systems design. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
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)
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)
Reinhard Wilhelm
Müll und Metamüll - Glosse. Inform. Spektrum 36 (1) (2013)
Reinhard Wilhelm
Achtung Satire: Wasserdampf ade - Glosse. Inform. Spektrum 36 (6) (2013)
Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics (2013)
Reinhard Wilhelm
Zwitschernd in den Untergang - Glosse. Inform. Spektrum 36 (3) (2013)
Reinhard Wilhelm
Sehr zu empfehlen - Glosse. Inform. Spektrum 35 (2) (2012)
Ernst-Rüdiger Olderog, Reinhard Wilhelm
Turing und die Verifikation. Inform. Spektrum 35 (4) (2012)
Reinhard Wilhelm
The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse. Inform. Spektrum 35 (6) (2012)
Reinhard Wilhelm
"Von Scheiße befreit", Frei nach Goethe, Faust I - Glosse. Inform. Spektrum 35 (5) (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)
Reinhard Wilhelm
Paradies 2.0 - Glosse. Inform. Spektrum 35 (3) (2012)
Reinhard Wilhelm, Jan Reineke
Embedded systems: Many cores - Many problems. SIES (2012)
Daniel Grund, Jan Reineke, Reinhard Wilhelm
A Template for Predictability Definitions with Supporting Evidence. PPES (2011)
Reinhard Wilhelm
Brad Bit and Juliette Binom - Glosse. Inform. Spektrum 34 (3) (2011)
Reinhard Wilhelm
Auf ewig sicher !? - Glosse. Inform. Spektrum 34 (4) (2011)
Reinhard Wilhelm
Die Freuden der rechnergestützten Lebensführung - Glosse. Inform. Spektrum 34 (6) (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) (2011)
Reinhard Wilhelm
Usability considered harmful - Glosse. Inform. Spektrum 34 (2) (2011)
Reinhard Wilhelm, Matteo Maffei
Ubiquitous Verification of Ubiquitous Systems. SEUS (2010)
Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
Static Timing Analysis for Hard Real-Time Systems. VMCAI (2010)
Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm
Polynomial Precise Interval Analysis Revisited. Efficient Algorithms (2009)
Thomas Heinz, Reinhard Wilhelm
Towards device emulation code generation. LCTES (2009)
Reinhard Wilhelm
The PROMPT design principles for predictable multi-core architectures. SCOPES (2009)
Roswitha Bardohl, Christian Lindig, Angelika Müller-von Brochowski, Reinhard Wilhelm
Editorial. Comput. Sci. Res. Dev. 23 (1) (2009)
Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm
Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET (2009)
Christoph M. Kirsch, Reinhard Wilhelm
EMSOFT 2007 guest editors' introduction. Des. Autom. Embed. Syst. 13 (1-2) (2009)
Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm
Improving Timing Analysis for Matlab Simulink/Stateflow. ACES-MB@MoDELS (2009)
Reinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (7) (2009)
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström
The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7 (3) (2008)
Reinhard Wilhelm, Björn Wachter
Abstract Interpretation with Applications to Timing Validation. CAV (2008)
Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand
Timing Validation of Automotive Software. ISoLA (2008)

Reinhard Wilhelm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reinhard Wilhelm