


Остановите войну!
for scientists:


default search action
Reinhard Wilhelm
Person information

- affiliation: Saarland University, Compiler Design Lab, Germany
- affiliation: Schloss Dagstuhl - Leibniz Center for Informatics, Germany
- award (2020): TCRTS Outstanding Technical Achievement and Leadership Award
- award (2010): ACM Distinguished Service Award
- award (2009): Konrad Zuse Medal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [b14]Reinhard Wilhelm:
Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande. Amazon / Via tolino media 2022, ISBN 9783754675946 - [j48]Reinhard Wilhelm
:
Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm. Formal Aspects Comput. 34(2): 1-3 (2022) - 2021
- [j47]Reinhard Wilhelm:
Foundations of programming languages. Formal Aspects Comput. 33(6): 1279-1280 (2021) - [c104]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 - [i63]Reinhard Wilhelm:
Software und das 8. Gebot - Glosse. Inform. Spektrum 44(1): 67-68 (2021) - [i62]Reinhard Wilhelm:
Verifizierter Interessenskonflikt - Glosse. Inform. Spektrum 44(2): 136-137 (2021) - [i61]Reinhard Wilhelm:
Kreisläufe des Lebens. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i60]Reinhard Wilhelm:
Das Glück, Heribert zu heißen. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i59]Reinhard Wilhelm:
Den Kontrolleur kontrollieren. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i58]Reinhard Wilhelm:
TechnoKing Elon Musk und risikomaximierter Minister Andi Scheuer. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i57]Reinhard Wilhelm:
Geadeltes Gemüse. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i56]Reinhard Wilhelm:
Fucking Bitche. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i55]Reinhard Wilhelm:
Das kleine und das große Geschäft bei Amazon. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i54]Reinhard Wilhelm:
Graduelle Mitgliedschaft. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i53]Reinhard Wilhelm:
Eine Bahnfahrt, die ist lustig, eine Bahnfahrt, die ist schön! Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i52]Reinhard Wilhelm:
Standardisierung und Kommunikation. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i51]Reinhard Wilhelm:
Open Access to the University Cash Box. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i50]Reinhard Wilhelm:
Taliban in Wikipedia. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i49]Reinhard Wilhelm:
Weiche oder harte Wegbiegung. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i48]Reinhard Wilhelm:
Die Automatisierung nachgeordneter Prozesse. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i47]Reinhard Wilhelm:
Der Niedergang des Schlapphütefilms. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - [i46]Reinhard Wilhelm:
Trekking oder Tracking, das ist hier die Frage. Neue Einsichten eines Informatikers von geringem Verstande 2021 (2021) - 2020
- [b13]Reinhard Wilhelm:
Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum. Springer 2020, ISBN 978-3-658-28385-8 - [j46]Reinhard Wilhelm:
Real time spent on real time. Commun. ACM 63(10): 54-60 (2020) - [j45]Reinhard Wilhelm:
Determining Reliable and Precise Execution Time Bounds of Real-Time Software. IT Prof. 22(3): 64-69 (2020) - [c103]Reinhard Wilhelm:
Real Time Spent on Real Time. RTSS 2020: 1-2 - [i45]Reinhard Wilhelm:
Geladen bis zum Limit - Glosse. Inform. Spektrum 42(6): 453-454 (2020) - [i44]Reinhard Wilhelm:
Bär, Bulle, Dachs und Co - Glosse. Inform. Spektrum 43(1): 63-64 (2020) - [i43]Reinhard Wilhelm:
Google, übersetze! - Glosse. Inform. Spektrum 43(2): 164-165 (2020) - [i42]Reinhard Wilhelm:
Die Bahn gewährt eine Freifahrt - Glosse. Inform. Spektrum 43(3): 232-233 (2020) - [i41]Reinhard Wilhelm:
Daten- und Personenpfade - Glosse. Inform. Spektrum 43(4): 308-309 (2020) - [i40]Reinhard Wilhelm:
Die Seuche am Hals - Glosse. Inform. Spektrum 43(5): 356-357 (2020) - [i39]Reinhard Wilhelm:
Tiefes Leid und enorme Großzügigkeit - Glosse. Inform. Spektrum 43(6): 444-445 (2020)
2010 – 2019
- 2019
- [j44]Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
:
Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. 188: 336-346 (2019) - [c102]Volker Claus, Stefan Jähnichen, Reinhard Wilhelm:
GI 50 - und wie geht es weiter? GI-Jahrestagung 2019: 25 - [i38]Reinhard Wilhelm:
Der rollende Fortschritt - Glosse. Inform. Spektrum 42(1): 67 (2019) - [i37]Reinhard Wilhelm:
Autonom gefahren - Glosse. Inform. Spektrum 42(2): 148 (2019) - [i36]Reinhard Wilhelm:
Im goldenen Zeitalter der Kommunikation - Glosse. Inform. Spektrum 42(3): 220-221 (2019) - [i35]Reinhard Wilhelm:
Letzte Rätsel - Glosse. Inform. Spektrum 42(4): 310-312 (2019) - [i34]Reinhard Wilhelm:
Au, Toren schafft Autorenschaft - Glosse. Inform. Spektrum 42(5): 370-371 (2019) - 2018
- [c101]Reinhard Wilhelm:
On the Road to Conviction: An Email Exchange with Edward Lee. Principles of Modeling 2018: 524-537 - [c100]Reinhard Wilhelm:
Mixed Feelings About Mixed Criticality (Invited Paper). WCET 2018: 1:1-1:9 - [p5]Reinhard Wilhelm, Jan Reineke, Simon Wegener:
Keeping up with Real Time. Advances in Aeronautical Informatics 2018: 121-133 - [i33]Reinhard Wilhelm:
Gesund oder ungesund, das ist hier die Frage - Glosse. Inform. Spektrum 41(1): 67-68 (2018) - [i32]Reinhard Wilhelm:
Autonomer Optimismus - Glosse. Inform. Spektrum 41(2): 149-150 (2018) - [i31]Reinhard Wilhelm:
Die Individualisierung des Nutzen - Glosse. Inform. Spektrum 41(6): 449 (2018) - 2017
- [c99]Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm:
Benchmarking Static Code Analyzers. SAFECOMP 2017: 197-212 - [i30]Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger
:
Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports 7(7): 72-87 (2017) - [i29]Reinhard Wilhelm:
Künstliche Begeisterung und abgrundtiefes Lernen - Glosse. Inform. Spektrum 40(2): 225-226 (2017) - [i28]Reinhard Wilhelm:
Mit besten Empfehlungen - Glosse. Inform. Spektrum 40(6): 612 (2017) - 2016
- [j43]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) - [c98]Jan Reineke, Reinhard Wilhelm:
Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87 - [i27]Reinhard Wilhelm:
Revolutionäre bibliometrische Maße - Glosse. Inform. Spektrum 39(3): 250-251 (2016) - [i26]Reinhard Wilhelm:
GLOSSE 4.0 - Glosse. Inform. Spektrum 39(5): 407 (2016) - [i25]Reinhard Wilhelm:
Das WissPersPlan-Problem - Glosse. Inform. Spektrum 39(6): 486-487 (2016) - 2015
- [j42]Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. 12(1): 28-36 (2015) - [c97]Sebastian Hahn, Jan Reineke, Reinhard Wilhelm:
Toward Compact Abstractions for Processor Pipelines. Correct System Design 2015: 205-220 - [i24]Reinhard Wilhelm, Otto Spaniol:
Die Energiewende in ihrem Lauf, ... - Glosse. Inform. Spektrum 38(2): 163-164 (2015) - [i23]Reinhard Wilhelm:
Der Algorithmus - eine moderne Menschheitsplage - Glosse. Inform. Spektrum 38(4): 330-331 (2015) - [i22]Reinhard Wilhelm:
Kluge Elterei - Glosse. Inform. Spektrum 38(5): 433-434 (2015) - [i21]Reinhard Wilhelm:
Bedienhilfen - Glosse. Inform. Spektrum 38(6): 577-578 (2015) - 2014
- [j41]Reinhard Wilhelm, Daniel Grund:
Computation takes time, but how much? Commun. ACM 57(2): 94-103 (2014) - [j40]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) - [c96]Reinhard Wilhelm:
Keller im Übersetzerbau. Keller, Stack und automatisches Gedächtnis 2014: 43-53 - [c95]Jan Reineke, Reinhard Wilhelm:
Impact of resource sharing on performance and performance prediction. DATE 2014: 1-2 - [c94]Reinhard Wilhelm:
Software Quality Assurance by Static Program Analysis. SWQD 2014: 1-11 - [i20]Reinhard Wilhelm:
Die Differenzierung der Mail-Halde - Glosse. Inform. Spektrum 37(1): 67-68 (2014) - [i19]Reinhard Wilhelm:
Reisen ins Unwesentliche - Glosse. Inform. Spektrum 37(5): 509-510 (2014) - [i18]Reinhard Wilhelm:
Gespritzt, bestrahlt, gepumpt, aber nicht verifiziert - Glosse. Inform. Spektrum 37(6): 610-611 (2014) - 2013
- [b12]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 - [j39]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) - [c93]Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm:
Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics 2013: 1-18 - [c92]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 - [c91]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 - [i17]Reinhard Wilhelm:
Müll und Metamüll - Glosse. Inform. Spektrum 36(1): 118 (2013) - [i16]Reinhard Wilhelm:
Zwitschernd in den Untergang - Glosse. Inform. Spektrum 36(3): 335 (2013) - [i15]Reinhard Wilhelm:
Achtung Satire: Wasserdampf ade - Glosse. Inform. Spektrum 36(6): 577 (2013) - 2012
- [b11]Helmut Seidl, Reinhard Wilhelm, Sebastian Hack:
Compiler Design - Analysis and Transformation. Springer 2012, ISBN 978-3-642-17547-3, pp. I-XII, 1-177 - [j38]Ernst-Rüdiger Olderog, Reinhard Wilhelm:
Turing und die Verifikation. Inform. Spektrum 35(4): 271-279 (2012) - [c90]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 - [c89]Reinhard Wilhelm, Jan Reineke:
Embedded systems: Many cores - Many problems. SIES 2012: 176-180 - [e13]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] - [i14]Reinhard Wilhelm:
Sehr zu empfehlen - Glosse. Inform. Spektrum 35(2): 157-158 (2012) - [i13]Reinhard Wilhelm:
Paradies 2.0 - Glosse. Inform. Spektrum 35(3): 232 (2012) - [i12]Reinhard Wilhelm:
"Von Scheiße befreit", Frei nach Goethe, Faust I - Glosse. Inform. Spektrum 35(5): 376 (2012) - [i11]Reinhard Wilhelm:
The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse. Inform. Spektrum 35(6): 468 (2012) - 2011
- [j37]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) - [c88]Daniel Grund, Jan Reineke, Reinhard Wilhelm:
A Template for Predictability Definitions with Supporting Evidence. PPES 2011: 22-31 - [e12]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] - [i10]Reinhard Wilhelm:
Usability considered harmful - Glosse. Inform. Spektrum 34(2): 228-229 (2011) - [i9]Reinhard Wilhelm:
Brad Bit and Juliette Binom - Glosse. Inform. Spektrum 34(3): 325-326 (2011) - [i8]Reinhard Wilhelm:
Auf ewig sicher !? - Glosse. Inform. Spektrum 34(4): 420-421 (2011) - [i7]Reinhard Wilhelm:
Die Freuden der rechnergestützten Lebensführung - Glosse. Inform. Spektrum 34(6): 628-629 (2011) - 2010
- [b10]Reinhard Wilhelm, Helmut Seidl:
Compiler Design - Virtual Machines. Springer 2010, ISBN 978-3-642-14908-5, pp. I-XIII, 1-187 - [c87]Reinhard Wilhelm, Matteo Maffei:
Ubiquitous Verification of Ubiquitous Systems. SEUS 2010: 47-58 - [c86]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: 3-22
2000 – 2009
- 2009
- [j36]Christoph M. Kirsch, Reinhard Wilhelm:
EMSOFT 2007 guest editors' introduction. Des. Autom. Embed. Syst. 13(1-2): 3-4 (2009) - [j35]Roswitha Bardohl, Christian Lindig, Angelika Müller-von Brochowski, Reinhard Wilhelm:
Editorial. Comput. Sci. Res. Dev. 23(1): 3-5 (2009) - [j34]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): 966-978 (2009) - [c85]Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm:
Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437 - [c84]Thomas Heinz, Reinhard Wilhelm:
Towards device emulation code generation. LCTES 2009: 109-118 - [c83]Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm:
Improving Timing Analysis for Matlab Simulink/Stateflow. ACES-MB@MoDELS 2009 - [c82]Reinhard Wilhelm:
The PROMPT design principles for predictable multi-core architectures. SCOPES 2009: 31-32 - [c81]Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm:
Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET 2009 - [p4]Reinhard Wilhelm:
Determining Bounds on Execution Times. Embedded Systems Design and Verification 2009: 9 - 2008
- [j33]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): 36:1-36:53 (2008) - [c80]Reinhard Wilhelm, Björn Wachter:
Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36 - [c79]E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli
, Marco Di Natale
:
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE 2008: 659-663 - [c78]Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand:
Timing Validation of Automotive Software. ISoLA 2008: 93-107 - [c77]Reinhard Wilhelm:
Architectural Influence on the Timing Predictability. MMB 2008: 11-12 - [c76]Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm:
Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376 - [c75]Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm:
Algorithm visualization using concrete and abstract shape graphs. SOFTVIS 2008: 33-36 - 2007
- [j32]Bernd Becker
, Andreas Podelski, Werner Damm, Martin Fränzle
, Ernst-Rüdiger Olderog, Reinhard Wilhelm:
SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). it Inf. Technol. 49(2): 118-126 (2007) - [j31]Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm:
Timing predictability of cache replacement policies. Real Time Syst. 37(2): 99-122 (2007) - [j30]Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm:
Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): 5 (2007) - [c74]Christoph M. Kirsch, Reinhard Wilhelm:
Grand challenges in embedded software. EMSOFT 2007: 2-6 - [c73]Nicolas Fritz, Philipp Lucas, Reinhard Wilhelm:
Exploiting SIMD Parallelism with the CGiSCompiler Framework. LCPC 2007: 246-260 - [c72]Jörg Bauer, Reinhard Wilhelm:
Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS 2007: 249-264 - [p3]Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm:
Shape Analysis and Applications. The Compiler Design Handbook, 2nd ed. 2007: 12 - [e11]Christoph M. Kirsch, Reinhard Wilhelm:
Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. ACM 2007, ISBN 978-1-59593-825-1 [contents] - [e10]Reinhard Wilhelm:
5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain. OASIcs 1, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [j29]Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic. Log. J. IGPL 14(5): 755-783 (2006)