Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReinhard 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)