Reinhard Wilhelm

252 papers A* 7A 8B 21C 3Misc 5Journal 106Unranked 72

Year	Rank	Type	Title / Venue / Authors
2025	—	`book`	Dagstuhl and the ability to cycle there: A Development Story. Reinhard Wilhelm
2025	—	`book`	Dagstuhl und die Fähigkeit mit dem Fahrrad hin zu fahren: Eine Entwicklungsgeschichte. Reinhard Wilhelm
2024	—	`conf`	Sound WCET Analysis, Explanation of the Method and of the Results. ERSA@RTSS Reinhard Wilhelm, Jan Reineke
2023	B	`conf`	Abstract Interpretation in Industry - Experience and Lessons Learned. SAS Daniel Kästner, Reinhard Wilhelm, Christian Ferdinand
2022	J	`jnl`	Principles of Abstract Interpretation: Formal Aspects Comput. Reinhard Wilhelm
2022	—	`book`	Von Autopiloten, Taliban und dem Friedrichstadtpalast: Neue Einsichten eines Informatikers von geringem Verstande. Reinhard Wilhelm
2021	J	`jnl`	Das Glück, Heribert zu heißen. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Das kleine und das große Geschäft bei Amazon. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Den Kontrolleur kontrollieren. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Der Niedergang des Schlapphütefilms. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Die Automatisierung nachgeordneter Prozesse. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Eine Bahnfahrt, die ist lustig, eine Bahnfahrt, die ist schön! Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Foundations of programming languages. Formal Aspects Comput. Reinhard Wilhelm
2021	J	`jnl`	Fucking Bitche. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Geadeltes Gemüse. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Graduelle Mitgliedschaft. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Kreisläufe des Lebens. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Open Access to the University Cash Box. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Software und das 8. Gebot - Glosse. Inform. Spektrum Reinhard Wilhelm
2021	J	`jnl`	Standardisierung und Kommunikation. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Taliban in Wikipedia. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	TechnoKing Elon Musk und risikomaximierter Minister Andi Scheuer. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	—	`conf`	Testing Implementation Soundness of a WCET Analysis Tool. A Journey of Embedded and Cyber-Physical Systems Reinhard Wilhelm, Markus Pister, Gernot Gebhard, Daniel Kästner
2021	J	`jnl`	Trekking oder Tracking, das ist hier die Frage. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2021	J	`jnl`	Verifizierter Interessenskonflikt - Glosse. Inform. Spektrum Reinhard Wilhelm
2021	J	`jnl`	Weiche oder harte Wegbiegung. Neue Einsichten eines Informatikers von geringem Verstande Reinhard Wilhelm
2020	J	`jnl`	Bär, Bulle, Dachs und Co - Glosse. Inform. Spektrum Reinhard Wilhelm
2020	J	`jnl`	Daten- und Personenpfade - Glosse. Inform. Spektrum Reinhard Wilhelm
2020	J	`jnl`	Determining Reliable and Precise Execution Time Bounds of Real-Time Software. IT Prof. Reinhard Wilhelm
2020	J	`jnl`	Die Bahn gewährt eine Freifahrt - Glosse. Inform. Spektrum Reinhard Wilhelm
2020	J	`jnl`	Die Seuche am Hals - Glosse. Inform. Spektrum Reinhard Wilhelm
2020	—	`book`	Einsichten eines Informatikers von geringem Verstande - Glossen aus dem Informatik Spektrum Reinhard Wilhelm
2020	J	`jnl`	Geladen bis zum Limit - Glosse. Inform. Spektrum Reinhard Wilhelm
2020	J	`jnl`	Google, übersetze! - Glosse. Inform. Spektrum Reinhard Wilhelm
2020	A	`conf`	Real Time Spent on Real Time. RTSS Reinhard Wilhelm
2020	J	`jnl`	Real time spent on real time. Commun. ACM Reinhard Wilhelm
2020	J	`jnl`	Tiefes Leid und enorme Großzügigkeit - Glosse. Inform. Spektrum Reinhard Wilhelm
2019	J	`jnl`	Au, Toren schafft Autorenschaft - Glosse. Inform. Spektrum Reinhard Wilhelm
2019	J	`jnl`	Autonom gefahren - Glosse. Inform. Spektrum Reinhard Wilhelm
2019	J	`jnl`	Benchmarking static code analyzers. Reliab. Eng. Syst. Saf. Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
2019	J	`jnl`	Der rollende Fortschritt - Glosse. Inform. Spektrum Reinhard Wilhelm
2019	—	`conf`	GI 50 - und wie geht es weiter? GI-Jahrestagung Volker Claus, Stefan Jähnichen, Reinhard Wilhelm
2019	J	`jnl`	Im goldenen Zeitalter der Kommunikation - Glosse. Inform. Spektrum Reinhard Wilhelm
2019	J	`jnl`	Letzte Rätsel - Glosse. Inform. Spektrum Reinhard Wilhelm
2018	J	`jnl`	Autonomer Optimismus - Glosse. Inform. Spektrum Reinhard Wilhelm
2018	J	`jnl`	Die Individualisierung des Nutzen - Glosse. Inform. Spektrum Reinhard Wilhelm
2018	J	`jnl`	Gesund oder ungesund, das ist hier die Frage - Glosse. Inform. Spektrum Reinhard Wilhelm
2018	—	`ch.`	Keeping up with Real Time. Advances in Aeronautical Informatics Reinhard Wilhelm, Jan Reineke, Simon Wegener
2018	—	`conf`	Mixed Feelings About Mixed Criticality (Invited Paper). WCET Reinhard Wilhelm
2018	—	`conf`	On the Road to Conviction: An Email Exchange with Edward Lee. Principles of Modeling Reinhard Wilhelm
2017	B	`conf`	Benchmarking Static Code Analyzers. SAFECOMP Jörg Herter, Daniel Kästner, Christoph Mallon, Reinhard Wilhelm
2017	J	`jnl`	Künstliche Begeisterung und abgrundtiefes Lernen - Glosse. Inform. Spektrum Reinhard Wilhelm
2017	J	`jnl`	Mit besten Empfehlungen - Glosse. Inform. Spektrum Reinhard Wilhelm
2017	J	`jnl`	Resource Bound Analysis (Dagstuhl Seminar 17291). Dagstuhl Reports Marco Gaboardi, Jan Hoffmann, Reinhard Wilhelm, Florian Zuleger
2016	J	`jnl`	A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi
2016	J	`jnl`	Das WissPersPlan-Problem - Glosse. Inform. Spektrum Reinhard Wilhelm
2016	J	`jnl`	GLOSSE 4.0 - Glosse. Inform. Spektrum Reinhard Wilhelm
2016	J	`jnl`	Revolutionäre bibliometrische Maße - Glosse. Inform. Spektrum Reinhard Wilhelm
2016	—	`conf`	Static Timing Analysis - What is Special? Semantics, Logics, and Calculi Jan Reineke, Reinhard Wilhelm
2015	J	`jnl`	Bedienhilfen - Glosse. Inform. Spektrum Reinhard Wilhelm
2015	J	`jnl`	Der Algorithmus - eine moderne Menschheitsplage - Glosse. Inform. Spektrum Reinhard Wilhelm
2015	J	`jnl`	Die Energiewende in ihrem Lauf, ... - Glosse. Inform. Spektrum Reinhard Wilhelm, Otto Spaniol
2015	J	`jnl`	Kluge Elterei - Glosse. Inform. Spektrum Reinhard Wilhelm
2015	—	`conf`	Toward Compact Abstractions for Processor Pipelines. Correct System Design Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
2015	J	`jnl`	Towards compositionality in execution time analysis: definition and challenges. SIGBED Rev. Sebastian Hahn, Jan Reineke, Reinhard Wilhelm
2014	J	`jnl`	Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 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
2014	J	`jnl`	Computation takes time, but how much? Commun. ACM Reinhard Wilhelm, Daniel Grund
2014	J	`jnl`	Die Differenzierung der Mail-Halde - Glosse. Inform. Spektrum Reinhard Wilhelm
2014	J	`jnl`	Gespritzt, bestrahlt, gepumpt, aber nicht verifiziert - Glosse. Inform. Spektrum Reinhard Wilhelm
2014	A	`conf`	Impact of resource sharing on performance and performance prediction. DATE Jan Reineke, Reinhard Wilhelm
2014	—	`conf`	Keller im Übersetzerbau. Keller, Stack und automatisches Gedächtnis Reinhard Wilhelm
2014	J	`jnl`	Reisen ins Unwesentliche - Glosse. Inform. Spektrum Reinhard Wilhelm
2014	—	`conf`	Software Quality Assurance by Static Program Analysis. SWQD Reinhard Wilhelm
2013	J	`jnl`	Achtung Satire: Wasserdampf ade - Glosse. Inform. Spektrum Reinhard Wilhelm
2013	—	`book`	Compiler Design - Syntactic and Semantic Analysis. Reinhard Wilhelm, Helmut Seidl, Sebastian Hack
2013	—	`conf`	Harald Ganzinger's Legacy: Contributions to Logics and Programming. Programming Logics Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
2013	B	`conf`	Impact of Resource Sharing on Performance and Performance Prediction: A Survey. CONCUR Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm
2013	—	`conf`	Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
2013	J	`jnl`	Introduction to the special section on rigorous embedded systems design. ACM Trans. Embed. Comput. Syst. Joseph Sifakis, Lothar Thiele, Reinhard Wilhelm
2013	J	`jnl`	Müll und Metamüll - Glosse. Inform. Spektrum Reinhard Wilhelm
2013	J	`jnl`	Zwitschernd in den Untergang - Glosse. Inform. Spektrum Reinhard Wilhelm
2012	J	`jnl`	"Von Scheiße befreit", Frei nach Goethe, Faust I - Glosse. Inform. Spektrum Reinhard Wilhelm
2012	—	`book`	Compiler Design - Analysis and Transformation. Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
2012	—	`conf`	Embedded systems: Many cores - Many problems. SIES Reinhard Wilhelm, Jan Reineke
2012	—	`conf`	Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints. Advances in Real-Time Systems Reinhard Wilhelm, Philipp Lucas, Oleg Parshin, Lili Tan, Björn Wachter
2012	J	`jnl`	Paradies 2.0 - Glosse. Inform. Spektrum Reinhard Wilhelm
2012	B	`ed.`	SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012 LCTES Reinhard Wilhelm, Heiko Falk, Wang Yi
2012	J	`jnl`	Sehr zu empfehlen - Glosse. Inform. Spektrum Reinhard Wilhelm
2012	J	`jnl`	The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse. Inform. Spektrum Reinhard Wilhelm
2012	J	`jnl`	Turing und die Verifikation. Inform. Spektrum Ernst-Rüdiger Olderog, Reinhard Wilhelm
2011	—	`conf`	A Template for Predictability Definitions with Supporting Evidence. PPES Daniel Grund, Jan Reineke, Reinhard Wilhelm
2011	J	`jnl`	Auf ewig sicher !? - Glosse. Inform. Spektrum Reinhard Wilhelm
2011	J	`jnl`	Brad Bit and Juliette Binom - Glosse. Inform. Spektrum Reinhard Wilhelm
2011	—	`ed.`	Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, Grenoble, France, March 18, 2011 PPES Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm
2011	J	`jnl`	Die Freuden der rechnergestützten Lebensführung - Glosse. Inform. Spektrum Reinhard Wilhelm
2011	J	`jnl`	Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). Dagstuhl Manifestos Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, Reinhard Wilhelm
2011	J	`jnl`	Usability considered harmful - Glosse. Inform. Spektrum Reinhard Wilhelm
2010	—	`book`	Compiler Design - Virtual Machines. Reinhard Wilhelm, Helmut Seidl
2010	B	`conf`	Static Timing Analysis for Hard Real-Time Systems. VMCAI Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguière, Daniel Grund, Jörg Herter, Jan Reineke, Björn Wachter, Stephan Wilhelm
2010	—	`conf`	Ubiquitous Verification of Ubiquitous Systems. SEUS Reinhard Wilhelm, Matteo Maffei
2009	—	`ch.`	Determining Bounds on Execution Times. Embedded Systems Design and Verification Reinhard Wilhelm
2009	J	`jnl`	EMSOFT 2007 guest editors' introduction. Des. Autom. Embed. Syst. Christoph M. Kirsch, Reinhard Wilhelm
2009	J	`jnl`	Editorial. Comput. Sci. Res. Dev. Roswitha Bardohl, Christian Lindig, Angelika Müller-von Brochowski, Reinhard Wilhelm
2009	—	`conf`	Improving Timing Analysis for Matlab Simulink/Stateflow. ACES-MB@MoDELS Lili Tan, Björn Wachter, Philipp Lucas, Reinhard Wilhelm
2009	J	`jnl`	Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Reinhard Wilhelm, Daniel Grund, Jan Reineke, Marc Schlickling, Markus Pister, Christian Ferdinand
2009	—	`conf`	Polynomial Precise Interval Analysis Revisited. Efficient Algorithms Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm
2009	—	`conf`	Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm
2009	C	`conf`	The PROMPT design principles for predictable multi-core architectures. SCOPES Reinhard Wilhelm
2009	B	`conf`	Towards device emulation code generation. LCTES Thomas Heinz, Reinhard Wilhelm
2008	A*	`conf`	Abstract Interpretation with Applications to Timing Validation. CAV Reinhard Wilhelm, Björn Wachter
2008	—	`conf`	Algorithm visualization using concrete and abstract shape graphs. SOFTVIS Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm
2008	—	`conf`	Architectural Influence on the Timing Predictability. MMB Reinhard Wilhelm
2008	A	`conf`	Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2008	B	`conf`	Parametric Timing Analysis for Complex Architectures. RTCSA Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm
2008	J	`jnl`	The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 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
2008	C	`conf`	Timing Validation of Automotive Software. ISoLA Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand
2007	—	`ed.`	5th International Workshop on Worst-Case Execution Time Analysis, WCET 2005, Palma de Mallorca, Spain, July 5, 2005 WCET Reinhard Wilhelm
2007	—	`conf`	Exploiting SIMD Parallelism with the CGiSCompiler Framework. LCPC Nicolas Fritz, Philipp Lucas, Reinhard Wilhelm
2007	Misc	`conf`	Grand challenges in embedded software. EMSOFT Christoph M. Kirsch, Reinhard Wilhelm
2007	J	`jnl`	Logical characterizations of heap abstractions. ACM Trans. Comput. Log. Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
2007	Misc	`ed.`	Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria EMSOFT Christoph M. Kirsch, Reinhard Wilhelm
2007	J	`jnl`	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. Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
2007	—	`ch.`	Shape Analysis and Applications. The Compiler Design Handbook, 2nd ed. Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
2007	B	`conf`	Static Analysis of Dynamic Communication Systems by Partner Abstraction. SAS Jörg Bauer, Reinhard Wilhelm
2007	J	`jnl`	Timing predictability of cache replacement policies. Real Time Syst. Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm
2006	—	`conf`	A Definition and Classification of Timing Anomalies. WCET Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
2006	—	`conf`	Abstract Interpretation of Graph Transformation. Simulation and Verification of Dynamic Systems Jörg Bauer, Reinhard Wilhelm
2006	—	`conf`	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. Software Verification: Infinite-State Model Checking and Static Program Analysis Jörg Bauer, Reinhard Wilhelm
2006	C	`conf`	Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. DDECS Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm
2006	B	`conf`	Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. RTCSA Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel
2006	—	`conf`	Preface -- Workshop Trustworthy Software 2006. Trustworthy Software Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
2006	B	`conf`	The CGiS Compiler-A Tool Demonstration. CC Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
2006	Misc	`conf`	The Development of the Data-Parallel GPU Programming Language CGiS. International Conference on Computational Science (4) Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm
2006	—	`conf`	Towards Model-Driven Development of Hard Real-Time Systems. ASWSD Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm
2006	J	`jnl`	Verifying Temporal Heap Properties Specified via Evolution Logic. Log. J. IGPL Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2006	—	`ed.`	Workshop "Trustworthy Software" 2006, Saarland University, Saarbrücken, Germany, May 18-19, 2006 Trustworthy Software Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
2005	—	`conf`	2005 WCET Preface - Message from the Workshop Chair. WCET Reinhard Wilhelm
2005	A*	`conf`	A semantics for procedure local heaps and its abstractions. POPL Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2005	—	`conf`	Algorithm animation using shape analysis: visualising abstract executions. SOFTVIS Dierk Johannes, Raimund Seidel, Reinhard Wilhelm
2005	—	`conf`	Automatic Verification of Strongly Dynamic Software Systems. VSTTE Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
2005	—	`ch.`	Determining Bounds on Execution Times. Embedded Systems Handbook Reinhard Wilhelm
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2004	—	`conf`	Abstracts Collection. Design of Systems with Predictable Behaviour Lothar Thiele, Reinhard Wilhelm
2004	—	`conf`	Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm
2004	B	`conf`	Component-Wise Instruction-Cache Behavior Prediction. ATVA Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm
2004	—	`conf`	Design for Time-Predictability. Design of Systems with Predictable Behaviour Lothar Thiele, Reinhard Wilhelm
2004	J	`jnl`	Design for Timing Predictability. Real Time Syst. Lothar Thiele, Reinhard Wilhelm
2004	—	`conf`	Formal Analysis of Processor Timing Models. SPIN Reinhard Wilhelm
2004	—	`ed.`	Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003 Design of Systems with Predictable Behaviour Lothar Thiele, Reinhard Wilhelm
2004	—	`conf`	Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour Christoph Berg, Jakob Engblom, Reinhard Wilhelm
2004	A*	`conf`	Static Program Analysis via 3-Valued Logic. CAV Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2004	—	`conf`	Timing Analysis and Timing Predictability. FMCO Reinhard Wilhelm
2004	B	`conf`	Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. VMCAI Reinhard Wilhelm
2003	A	`conf`	An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. DSN Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand
2003	—	`conf`	Convenient User Annotations for a WCET Tool. WCET Christian Ferdinand, Reinhold Heckmann, Henrik Theiling, Reinhard Wilhelm
2003	—	`conf`	Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. WCET Reinhard Wilhelm, Jakob Engblom, Stephan Thesing, David B. Whalley
2003	J	`jnl`	Logical Characterizations of Heap Abstractions CoRR Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2003	—	`conf`	Run-Time Guarantees for Real-Time Systems. FORMATS Reinhard Wilhelm
2003	J	`jnl`	The influence of processor architecture on the design and the results of WCET tools. Proc. IEEE Reinhold Heckmann, Marc Langenbach, Stephan Thesing, Reinhard Wilhelm
2003	—	`conf`	Validierung des Zeitverhaltens von kritischer Echtzeit-Software. GI Jahrestagung (1) Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm
2003	A	`conf`	Verifying Temporal Heap Properties Specified via Evolution Logic. ESOP Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2002	J	`jnl`	Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
2002	—	`ch.`	Shape Analysis and Applications. The Compiler Design Handbook Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv
2001	—	`conf`	Algorithm Explanation: Visualizing Abstract States and Invariants. Software Visualization Reinhard Wilhelm, Tomasz Müldner, Raimund Seidel
2001	B	`ed.`	Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings CC Reinhard Wilhelm
2001	Misc	`ed.`	Informatics - 10 Years Back. 10 Years Ahead. Informatics - 10 Years Back. 10 Years Ahead. Reinhard Wilhelm
2001	Misc	`conf`	Reliable and Precise WCET Determination for a Real-Life Processor. EMSOFT Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
2000	J	`jnl`	Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real Time Syst. Henrik Theiling, Christian Ferdinand, Reinhard Wilhelm
2000	J	`jnl`	Focusing in Algorithm Explanation. IEEE Trans. Vis. Comput. Graph. Beatrix Braune, Reinhard Wilhelm
2000	A	`conf`	Putting static analysis to work for verification: A case study. ISSTA Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2000	B	`conf`	Shape Analysis. CC Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps
1999	—	`conf`	Animation of the Generation and Computation of Finite Automata for Learning Software. WIA Beatrix Braune, Stephan Diehl, Andreas Kerren, Reinhard Wilhelm
1999	J	`jnl`	Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program. Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Helmut Alt
1999	J	`jnl`	Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real Time Syst. Christian Ferdinand, Reinhard Wilhelm
1999	A*	`conf`	Parametric Shape Analysis via 3-Valued Logic. POPL Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1999	—	`ed.`	Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'99), Atlanta, Georgia, USA, May 5, 1999 LCTES Y. Annie Liu, Reinhard Wilhelm
1999	—	`conf`	Run-Time Guarantees for Real-Time Systems - The USES Approach. GI Jahrestagung Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm
1999	J	`jnl`	Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction. Real Time Syst. Reinhard Wilhelm
1998	J	`jnl`	A Logic-Based Approach to Program Flow Analysis. Acta Informatica Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
1998	B	`conf`	Analysis of Loops. CC Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand
1998	B	`conf`	On Predicting Data Cache Behavior for Real-Time Systems. LCTES Christian Ferdinand, Reinhard Wilhelm
1998	J	`jnl`	Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1997	J	`jnl`	A Functional Description of TEX's Formula Layout. J. Funct. Program. Reinhold Heckmann, Reinhard Wilhelm
1997	J	`jnl`	Program Analysis: A Toolmaker's Perspective. ACM SIGPLAN Notices Reinhard Wilhelm
1997	—	`book`	Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage Reinhard Wilhelm, Dieter Maurer
1996	B	`conf`	Cache Behavior Prediction by Abstract Interpretation. SAS Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm
1996	—	`book`	Grundlagen der Dokumentenverarbeitung. Reinhard Wilhelm, Reinhold Heckmann
1996	—	`book`	Informatik - Grundlagen, Anwendungen, Perspektiven. Reinhard Wilhelm
1996	—	`ed.`	Informatik: Grundlagen - Amwendungen - Perspektiven [Forum "Perspektiven der Informatik", Dagstuhl, November 1993] Perspektiven der Informatik Reinhard Wilhelm
1996	—	`conf`	Parallel Implementation of Functional Languages. LOMAPS Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber
1996	J	`jnl`	Program Analysis - A Toolmaker's Perspective. ACM Comput. Surv. Reinhard Wilhelm
1996	A*	`conf`	Solving Shape-Analysis Problems in Languages with Destructive Updating. POPL Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1995	J	`jnl`	2DT-FP: A parallel functional programming language on two-dimensional data. Int. J. Parallel Program. Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm
1995	—	`conf`	An application specific parallel programming paradigm. HPCN Europe Thomas Rauber, Gudula Rünger, Reinhard Wilhelm
1995	A	`conf`	CLaX - A Visualized Compiler. GD Georg Sander, Martin Helmut Alt, Christian Ferdinand, Reinhard Wilhelm
1995	—	`book`	Compiler design. Reinhard Wilhelm, Dieter Maurer
1994	B	`conf`	Implementing 2DT on a Multiprocessor. CC Yosi Ben-Asher, Gudula Rünger, Reinhard Wilhelm, Assaf Schuster
1994	—	`book`	Les compilateurs - théorie, construction, génération. Reinhard Wilhelm, Dieter Maurer
1994	J	`jnl`	Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. Inform. Forsch. Entwickl. Peter G. Bouillon, Georg Sander, Reinhard Wilhelm
1994	J	`jnl`	Tree Automata for Code Selection. Acta Informatica Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
1993	—	`conf`	2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. PARLE Yosi Ben-Asher, Gudula Rünger, Assaf Schuster, Reinhard Wilhelm
1993	—	`conf`	Einleitung. Perspektiven der Informatik Volker Claus, Reinhard Wilhelm
1993	—	`conf`	Generation of Synchronization Code for Parallel Compilers. PLILP Martin Helmut Alt, Georg Sander, Reinhard Wilhelm
1993	—	`conf`	Generische und generative Methoden. Perspektiven der Informatik Reinhard Wilhelm
1993	—	`conf`	Parallele und verteilte Systeme. Perspektiven der Informatik Reinhard Wilhelm, Otto Spaniol
1993	—	`conf`	Programmiersprachen. Perspektiven der Informatik Reinhard Wilhelm, Hans Hagen
1993	—	`conf`	Transformation Development: TrafoLa-H Subsystem. PROSPECTRA Book Martin Helmut Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm
1992	—	`ch.`	Baumautomaten zur Codeselektion. Informatik Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
1992	—	`book`	Übersetzerbau - Theorie, Konstruktion, Generierung Reinhard Wilhelm, Dieter Maurer
1991	—	`conf`	An Overview of the OPTRAN System. Attribute Grammars, Applications and Systems Peter Lipps, Ulrich Möncke, Reinhard Wilhelm
1991	—	`conf`	Attributive Reevaluation in OPTRAN. Attribute Grammars, Applications and Systems Reinhard Wilhelm
1991	—	`conf`	Grammar Flow Analysis. Attribute Grammars, Applications and Systems Ulrich Möncke, Reinhard Wilhelm
1991	J	`jnl`	Table Compression for Tree Automata. ACM Trans. Program. Lang. Syst. Jürgen Börstler, Ulrich Möncke, Reinhard Wilhelm
1991	—	`conf`	Tree Automata for Code Selection. Code Generation Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm
1990	—	`conf`	A Logic-Based Approach to Data Flow Analysis Problem. PLILP Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
1990	—	`conf`	Tree Tranformations, Functional Languages, and Attribute Grammars. WAGA Reinhard Wilhelm
1989	—	`book`	Foundations of Programming Languages Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm
1989	J	`jnl`	MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. Inform. Forsch. Entwickl. Dieter Maurer, Reinhard Wilhelm
1989	J	`jnl`	Simulating Circular Attribute Grammars Through Attribute Reevaluation. Inf. Process. Lett. Winfried Thome, Reinhard Wilhelm
1989	—	`conf`	Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). Software-Entwicklung Reinhard Wilhelm
1988	J	`jnl`	Attribute (Re)evaluation in OPTRAN. Acta Informatica Peter Lipps, Ulrich Möncke, Matthias Olk, Reinhard Wilhelm
1988	—	`conf`	Complied Graph Reduction on a Processor Network. ARCS Martin Raber, Thomas Remmel, Erwin Hoffmann, Dieter Maurer, Fritz Müller, Hans-Georg Oberhauser, Reinhard Wilhelm
1988	—	`conf`	Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. Innovative Informations-Infrastrukturen M. Baston, H.-J. Bach, A. Lucks-Baus, Fritz Müller, Reinhard Wilhelm
1988	B	`conf`	OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences. CC Peter Lipps, Ulrich Möncke, Reinhard Wilhelm
1988	—	`conf`	S Innovative Informations-Infrastrukturen Gerhard Becker, Brigitte Kuhn, Dieter Maurer, Reinhard Wilhelm
1988	B	`conf`	Two Tree Pattern Matchers for Code Selection. CC Beatrix Weisgerber, Reinhard Wilhelm
1987	J	`jnl`	A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng. F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm
1986	A	`ed.`	ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings ESOP Bernard J. Robinet, Reinhard Wilhelm
1986	—	`book`	Grundlagen der Programmiersprachen Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm
1984	—	`conf`	How to Implement a System for Manipulation of Attributed Trees. Fachtagung über Programmiersprachen Ulrich Möncke, Beatrix Weisgerber, Reinhard Wilhelm
1984	A*	`conf`	Inverse Currying Transformation on Attribute Grammars. POPL Reinhard Wilhelm
1983	J	`jnl`	Symbolische Programmausführung - Das aktuelle Schlagwort. Inform. Spektrum Reinhard Wilhelm
1982	—	`conf`	A Truly Generative Semantics-Directed Compiler Generator. SIGPLAN Symposium on Compiler Construction Harald Ganzinger, Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm
1982	J	`jnl`	Constructors for Composed Objects. Comput. Lang. Jan Messerschmidt, Reinhard Wilhelm
1982	—	`conf`	Imperative, prädikative und funktionale Programmierung (Kurzfassung). GI Jahrestagung Reinhard Wilhelm
1982	B	`conf`	Iterative Algorithms on Grammar Graphs. WG Ulrich Möncke, Reinhard Wilhelm
1982	—	`conf`	LL- and LR-Attributed Grammars. Fachtagung über Programmiersprachen Reinhard Wilhelm
1981	J	`jnl`	A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett. Reinhard Wilhelm
1981	—	`conf`	Invariance of Approximate Semantics with Respect to Program Transformations. GI Jahrestagung Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm
1980	—	`ed.`	CAD-Fachgespräch, GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings CAD-Fachgespräch Reinhard Wilhelm
1980	—	`ed.`	GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings GI Jahrestagung Reinhard Wilhelm
1980	—	`conf`	OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm
1979	J	`jnl`	Attributierte Grammatiken. Inform. Spektrum Reinhard Wilhelm
1979	J	`jnl`	Computation and Use of Data Flow Information in Optimizing Compilers. Acta Informatica Reinhard Wilhelm
1978	J	`jnl`	Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars. Inf. Process. Lett. Robert Giegerich, Reinhard Wilhelm
1977	—	`conf`	Automatic Generation of Optimizing Multipass Compilers. IFIP Congress Harald Ganzinger, Knut Ripken, Reinhard Wilhelm
1977	—	`—`	Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung. Reinhard Wilhelm
1977	—	`conf`	Implementierbarkeit attributierter Grammatiken. GI Jahrestagung Robert Giegerich, Reinhard Wilhelm
1976	A*	`conf`	Design Evaluation of the Compiler Generating System MUGI. ICSE Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann
1976	—	`conf`	MUG1 - an incremental compiler-compiler. ACM Annual Conference Harald Ganzinger, Knut Ripken, Reinhard Wilhelm
1975	—	`conf`	Verschränkung von Compiler-Moduln. GI Jahrestagung Harald Ganzinger, Reinhard Wilhelm
1974	—	`conf`	Code-Optimierung Mittels Attributierter Transformationsgrammatiken. GI Jahrestagung Reinhard Wilhelm