Reinhard Wilhelm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
24
Active years
1974–2023
Best venue rank
A*
Where they publish
- BGI8 papers
- BCC6 papers
- A*POPL4 papers
- BSAS3 papers
- ADATE3 papers
- BVMCAI2 papers
- A*CAV2 papers
- BRTCSA2 papers
- Journal PublishedEMSOFT2 papers
- ARTSS1 paper
- BSAFECOMP1 paper
- BCONCUR1 paper
- AMODELS1 paper
- CSCOPES1 paper
- CISoLA1 paper
- CDDECS1 paper
- MulticonferenceICCS1 paper
- BATVA1 paper
- ADSN1 paper
- AESOP1 paper
- AISSTA1 paper
- AGD1 paper
- BWG1 paper
- A*ICSE1 paper
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAS | Abstract Interpretation in Industry - Experience and Lessons Learned. | Daniel Kstner, Reinhard Wilhelm, Christian Ferdinand |
| 2020 | RTSS | Real Time Spent on Real Time. | Reinhard Wilhelm |
| 2019 | GI | GI 50 - und wie geht es weiter? | Volker Claus, Stefan Jhnichen, Reinhard Wilhelm |
| 2017 | SAFECOMP | Benchmarking Static Code Analyzers. | Jrg Herter, Daniel Kstner, Christoph Mallon, Reinhard Wilhelm |
| 2014 | DATE | Impact of resource sharing on performance and performance prediction. | Jan Reineke, Reinhard Wilhelm |
| 2013 | CONCUR | Impact of Resource Sharing on Performance and Performance Prediction: A Survey. | Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Drr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm |
| 2011 | DATE | A Template for Predictability Definitions with Supporting Evidence. | Daniel Grund, Jan Reineke, Reinhard Wilhelm |
| 2010 | VMCAI | Static Timing Analysis for Hard Real-Time Systems. | Reinhard Wilhelm, Sebastian Altmeyer, Claire Burguire, Daniel Grund, Jrg Herter, Jan Reineke, Bjrn Wachter, Stephan Wilhelm |
| 2009 | MODELS | Improving Timing Analysis for Matlab Simulink/Stateflow. | Lili Tan, Bjrn Wachter, Philipp Lucas, Reinhard Wilhelm |
| 2009 | SCOPES | The PROMPT design principles for predictable multi-core architectures. | Reinhard Wilhelm |
| 2008 | CAV | Abstract Interpretation with Applications to Timing Validation. | Reinhard Wilhelm, Bjrn Wachter |
| 2008 | DATE | Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. | E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | ISoLA | Timing Validation of Automotive Software. | Daniel Kstner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand |
| 2008 | RTCSA | Parametric Timing Analysis for Complex Architectures. | Sebastian Altmeyer, Christian Humbert, Bjrn Lisper, Reinhard Wilhelm |
| 2007 | EMSOFT | Grand challenges in embedded software. | Christoph M. Kirsch, Reinhard Wilhelm |
| 2007 | SAS | Static Analysis of Dynamic Communication Systems by Partner Abstraction. | Jrg Bauer, Reinhard Wilhelm |
| 2006 | CC | The CGiS Compiler-A Tool Demonstration. | Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm |
| 2006 | DDECS | Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis. | Jochen Eisinger, Ilia Polian, Bernd Becker, Alexander Metzner, Stephan Thesing, Reinhard Wilhelm |
| 2006 | ICCS | The Development of the Data-Parallel GPU Programming Language CGiS. | Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm |
| 2006 | RTCSA | Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality. | Werner Damm, Alexander Metzner, Friedrich Eisenbrand, Gennady Shmonin, Reinhard Wilhelm, Sebastian Winkel |
| 2005 | POPL | A semantics for procedure local heaps and its abstractions. | Noam Rinetzky, Jrg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2004 | ATVA | Component-Wise Instruction-Cache Behavior Prediction. | Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm |
| 2004 | CAV | Static Program Analysis via 3-Valued Logic. | Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2004 | VMCAI | Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. | Reinhard Wilhelm |
| 2003 | DSN | An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
| 2003 | ESOP | Verifying Temporal Heap Properties Specified via Evolution Logic. | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, 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 |
| 2001 | EMSOFT | Reliable and Precise WCET Determination for a Real-Life Processor. | Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
| 2000 | CC | Shape Analysis. | Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps |
| 2000 | ISSTA | Putting static analysis to work for verification: A case study. | Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 1999 | GI | Run-Time Guarantees for Real-Time Systems - The USES Approach. | Christian Ferdinand, Daniel Kstner, Marc Langenbach, Florian Martin, Michael Schmidt, Jrn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
| 1999 | POPL | Parametric Shape Analysis via 3-Valued Logic. | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
| 1998 | CC | Analysis of Loops. | Florian Martin, Martin Helmut Alt, Reinhard Wilhelm, Christian Ferdinand |
| 1996 | POPL | Solving Shape-Analysis Problems in Languages with Destructive Updating. | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
| 1996 | SAS | Cache Behavior Prediction by Abstract Interpretation. | Martin Helmut Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm |
| 1995 | GD | CLaX - A Visualized Compiler. | Georg Sander, Martin Helmut Alt, Christian Ferdinand, Reinhard Wilhelm |
| 1994 | CC | Implementing 2DT on a Multiprocessor. | Yosi Ben-Asher, Gudula Rnger, Reinhard Wilhelm, Assaf Schuster |
| 1988 | CC | OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences. | Peter Lipps, Ulrich Mncke, Reinhard Wilhelm |
| 1988 | CC | Two Tree Pattern Matchers for Code Selection. | Beatrix Weisgerber, Reinhard Wilhelm |
| 1984 | POPL | Inverse Currying Transformation on Attribute Grammars. | Reinhard Wilhelm |
| 1982 | GI | Imperative, prdikative und funktionale Programmierung (Kurzfassung). | Reinhard Wilhelm |
| 1982 | WG | Iterative Algorithms on Grammar Graphs. | Ulrich Mncke, Reinhard Wilhelm |
| 1981 | GI | Invariance of Approximate Semantics with Respect to Program Transformations. | Robert Giegerich, Ulrich Mncke, Reinhard Wilhelm |
| 1977 | GI | Implementierbarkeit attributierter Grammatiken. | Robert Giegerich, Reinhard Wilhelm |
| 1976 | ICSE | Design Evaluation of the Compiler Generating System MUGI. | Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann |
| 1975 | GI | Verschrnkung von Compiler-Moduln. | Harald Ganzinger, Reinhard Wilhelm |
| 1974 | GI | Code-Optimierung Mittels Attributierter Transformationsgrammatiken. | Reinhard Wilhelm |