Reinhard Wilhelm
#25,678
Most Influential Person Now
German computer scientist
Reinhard Wilhelm's AcademicInfluence.com Rankings
Reinhard Wilhelmcomputer-science Degrees
Computer Science
#1388
World Rank
#1436
Historical Rank
Software Engineering
#303
World Rank
#309
Historical Rank
Database
#7612
World Rank
#7905
Historical Rank
Download Badge
Computer Science
Reinhard Wilhelm's Degrees
- PhD Computer Science Saarland University
Similar Degrees You Can Earn
Why Is Reinhard Wilhelm Influential?
(Suggest an Edit or Addition)According to Wikipedia, Reinhard Wilhelm is a German computer scientist. Life and work Wilhelm was born in , today part of the municipality of Finnentrop, Westphalia. He studied math, physics and mathematical logic at University of Münster and computer science at Technical University Munich and Stanford University. He finished his PhD at TU Munich in 1977. In 1978, he obtained a professorship at Saarland University, where he led the chair for programming languages and compiler construction until his retirement in 2014. In addition, Wilhelm has held the post of scientific director of the Leibniz Center for Informatics at Schloss Dagstuhl from its inception in 1990 until 2014. Today he is a professor emeritus at Saarland University.
Reinhard Wilhelm's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- The worst-case execution-time problem—overview of methods and survey of tools (2008) (1944)
- Parametric shape analysis via 3-valued logic (1999) (1070)
- Solving shape-analysis problems in languages with destructive updating (1996) (393)
- Reliable and Precise WCET Determination for a Real-Life Processor (2001) (340)
- Cache Behavior Prediction by Abstract Interpretation (1996) (290)
- The influence of processor architecture on the design and the results of WCET tools (2003) (283)
- Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems (2009) (266)
- Parametric shape analysis via 3-valued logic (2002) (249)
- Shape Analysis (2000) (231)
- Efficient and Precise Cache Behavior Prediction for Real-Time Systems (1999) (224)
- Timing predictability of cache replacement policies (2007) (214)
- Fast and Precise WCET Prediction by Separated Cache and Path Analyses (2000) (209)
- A Definition and Classification of Timing Anomalies (2006) (205)
- Design for Timing Predictability (2004) (172)
- Informatics - 10 Years Back. 10 Years Ahead (2001) (145)
- A semantics for procedure local heaps and its abstractions (2005) (134)
- Putting static analysis to work for verification: A case study (2000) (131)
- On Predicting Data Cache Behavior for Real-Time Systems (1998) (125)
- Building timing predictable embedded systems (2014) (121)
- Predictability Considerations in the Design of Multi-Core Embedded Systems ∗ (2010) (118)
- Solving shape-analysis problems in languages with destructive updating (1998) (115)
- An abstract interpretation-based timing validation of hard real-time avionics software (2003) (111)
- Guidelines for a graduate curriculum on embedded software and systems (2005) (86)
- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone (2004) (80)
- Towards compositionality in execution time analysis: definition and challenges (2015) (79)
- Analysis of Loops (1998) (78)
- Verifying Temporal Heap Properties Specified via Evolution Logic (2003) (73)
- A Survey on Static Cache Analysis for Real-Time Systems (2016) (65)
- A truly generative semantics-directed compiler generator (1982) (62)
- Impact of resource sharing on performance and performance prediction (2013) (58)
- Determining Bounds on Execution Times (2005) (55)
- Applying Compiler Techniques to Cache Behavior Prediction (2007) (54)
- Requirements for and Design of a Processor with Predictable Timing (2004) (52)
- Parametric Shape Analysis via 3 - valued Logic TOPLAS (2002) (49)
- Compiler Design (2013) (48)
- Invariance of Approximate Semantics with Respect to Program Transformations (1981) (48)
- Grammar Flow Analysis (1991) (41)
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (2007) (41)
- Embedded systems: Many cores — Many problems (2012) (41)
- Logical characterizations of heap abstractions (2003) (40)
- Static Timing Analysis for Hard Real-Time Systems (2010) (39)
- Automatic Generation of Optimizing Multipass Compilers (1977) (38)
- OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences (1988) (38)
- Focusing in Algorithm Explanation (2000) (38)
- Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis (2006) (38)
- Convenient User Annotations for a WCET Tool (2003) (37)
- Parametric Timing Analysis for Complex Architectures (2008) (37)
- Abstract Interpretation with Applications to Timing Validation (2008) (35)
- Tree automata for code selection (1994) (34)
- Computation takes time, but how much? (2014) (31)
- Compiler Design: Analysis and Transformation (2012) (31)
- Shape Analysis and Applications (2007) (26)
- Run-Time Guarantees for Real-Time Systems - The USES Approach (1999) (26)
- Animation of the Generation and Computation of Finite Automata for Learning Software (1999) (26)
- Design for Time-Predictability (2004) (25)
- WCET TOOL CHALLENGE 2011: REPORT (2011) (23)
- Timing Analysis and Timing Predictability (2004) (23)
- A Template for Predictability Definitions with Supporting Evidence (2011) (22)
- A Logic-Based Approach to Data Flow Analysis Problem (1990) (22)
- Contaminant transport modeling (1995) (21)
- Compiler Design (1995) (19)
- Table compression for tree automata (1991) (18)
- Component-Wise Instruction-Cache Behavior Prediction (2004) (18)
- Compiler Design: Syntactic and Semantic Analysis (2013) (18)
- Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code (2004) (18)
- Principles of Abstract Interpretation (2022) (18)
- Polynomial Precise Interval Analysis Revisited (2009) (18)
- 4th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS (2004) (18)
- OPTRAN, a Language for the Specification of Program Transformations (1980) (18)
- Designing Predictable Multicore Architectures for Avionics and Automotive Systems — extended abstract — (2009) (17)
- Timing Validation of Automotive Software (2008) (17)
- How to Implement a System for Manipulation of Attributed Trees (1984) (16)
- Algorithm Explanation: Visualizing Abstract States and Invariants (2001) (16)
- Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482) (2011) (16)
- Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality (2006) (15)
- Fast and Efficient Cache Behavior Prediction (1997) (15)
- Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) (2010) (15)
- The CGiS Compiler-A Tool Demonstration (2006) (14)
- Two Tree Pattern Matchers for Code Selection (1988) (14)
- Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (2008) (14)
- MUG1 - an incremental compiler-compiler (1976) (14)
- Toward Compact Abstractions for Processor Pipelines (2015) (14)
- Design evaluation of the compiler generating system MUG1 (1976) (14)
- Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire (2003) (13)
- Towards Intelligent Integrated Planning-Execution (1997) (13)
- Parametri Shape Analysis via 3-Valued Logi (1999) (13)
- Iterative Algorithms on Grammar Graphs (1982) (13)
- Predictability of Cache Replacement Policies (2006) (13)
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (2013) (13)
- Parallel Implementation of Functional Languages (1996) (12)
- Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars (1978) (12)
- Deriving optimal data distributions for group parallel numerical algorithms (1995) (12)
- A Modified Tree-to-Tree Correction Problem (1981) (12)
- A logic-based approach to program flow analysis (1998) (11)
- Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints (2012) (11)
- Towards Model-Driven Development of Hard Real-Time Systems (2006) (11)
- SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme) (2007) (11)
- CLaX - A Visualized Compiler (1995) (10)
- Pipeline behavior prediction for superscalar processors (1999) (10)
- Program analysis—a toolmaker's perspective (1996) (10)
- Algorithm animation using shape analysis: visualising abstract executions (2005) (9)
- The Development of the Data-Parallel GPU Programming Language CGiS (2006) (9)
- Complied Graph Reduction on a Processor Network (1988) (9)
- Real Time Spent on Real Time (2020) (9)
- Computing the Maximum Blocking Time for Scheduling with Deferred Preemption (2009) (9)
- A functional description of TEX's formula layout (1997) (9)
- Tree Tranformations, Functional Languages, and Attribute Grammars (1990) (9)
- Improving Timing Analysis for Matlab Simulink/Stateflow (2009) (9)
- A Model Checker based on Abstraction Refinement (2002) (8)
- Formal Verification of Demand Paging (2010) (8)
- Proceedings of the European Symposium on Programming (1986) (7)
- LL- and LR-Attributed Grammars (1982) (7)
- Mixed Feelings About Mixed Criticality (Invited Paper) (2018) (7)
- Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, March 18, 2011, Grenoble, France (2011) (7)
- Computation and use of data flow information in optimizing compilers (1979) (7)
- Functional Programming Languages (2010) (7)
- Checking universally quantified temporal properties with three-valued analysis (2005) (6)
- Static Timing Analysis - What is Special? (2015) (6)
- Operations research methods in compiler backends (1998) (6)
- Two tree pattern matchers for code selection : (including targeting) (1986) (6)
- CERN SPS multicomputer and CAMAC real-time control system (1974) (6)
- Embedded Systems Handbook - CONTENTS (2005) (6)
- Compiler Design - Virtual Machines (2010) (6)
- An Automated Flow to Map Throughput Constrained Applications to a MPSoC ∗ (2011) (6)
- Operating Mode Specific WCET Analysis (2013) (6)
- Transformation Development: TrafoLa-H Subsystem (1993) (5)
- Automatic verification of a simple mark and sweep garbabge collector (2001) (5)
- Formal Analysis of Processor Timing Models (2004) (5)
- Attribute (Re)evaluation in OPTRAN (1988) (5)
- Grand challenges in embedded software (2007) (5)
- Inverse currying transformation on attribute grammars (1984) (5)
- Benchmarking Static Code Analyzers (2017) (5)
- Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers (2007) (5)
- Algorithm visualization using concrete and abstract shape graphs (2008) (4)
- Java and CoSy Technology for Embedded Systems : the JOSES Project (1999) (4)
- Attributierte Grammatiken (1979) (4)
- Timing Analysis and Validation for Real-Time Systems – Guest Editor's Introduction (1999) (4)
- Generating analyzers with PAG (1995) (4)
- Implementing 2DT on a Multiprocessor (1994) (4)
- Timing Predictability — a Must for Avionics Systems (2006) (4)
- 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks (1993) (4)
- A Space-Efficient Optimization of Call-by-Need (1987) (4)
- The PROMPT design principles for predictable multi-core architectures (2009) (4)
- The TRANSPOSE machine-a global implementation of a parallel graph reducer (1989) (4)
- Generation of Synchronization Code for Parallel Compilers (1993) (4)
- Measurement-based Inference of the Cache Hierarchy (2012) (3)
- Hard real-time development environments (2005) (3)
- Run-Time Guarantees for Real-Time Systems (2003) (3)
- Invariance with Optic Flow (2007) (3)
- Testing Implementation Soundness of a WCET Analysis Tool (2020) (3)
- A methodology for auto/manual logic in a computer controlled process (1979) (3)
- Exploiting SIMD Parallelism with the CGiSCompiler Framework (2007) (3)
- Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems (1999) (3)
- Modeling, Analysis, and Verification: The Formal Methods Manifesto 2010 (2011) (3)
- A Computation Model for the Parallel Solution of Differential Equations (1995) (3)
- Abstracts Collection (2004) (3)
- An application specific parallel programming paradigm (1995) (3)
- Determining Reliable and Precise Execution Time Bounds of Real-Time Software (2020) (3)
- Abstract Interpretation of Graph Transformation (2006) (2)
- Foundations of programming languages (1988) (2)
- Simulating Circular Attribute Grammars Through Attribute Reevaluation (1989) (2)
- Ubiquitous Verification of Ubiquitous Systems (2010) (2)
- An abstract machine for an object-oriented language with top-level classes (1994) (2)
- 03471 Abstracts Collection -- Design of Systems with Predictable Behaviour (2004) (2)
- Analysis of Dynamic Communicating Systems by Hierarchical Abstraction (2006) (2)
- Generating Code from Abstract VHDL Models (2007) (2)
- An Overview of the OPTRAN System (1991) (2)
- Constructors for Composed Objects (1982) (2)
- Towards device emulation code generation (2009) (2)
- Attributive Reevaluation in OPTRAN (1991) (2)
- Replication in Unstructured Peer-to-Peer Networks with Availability Constraints (2008) (1)
- Software Quality Assurance by Static Program Analysis (2014) (1)
- The WCET Tool Challenge 2011 (2011) (1)
- Abstract Interpretation of Graph Grammars (2006) (1)
- A Survey on Cache Analysis for Real-Time Systems (2015) (1)
- Automatic Verification of Temporal Properties of Concurrent Heap-Manipulating Programs using Evolution Logic (2002) (1)
- Keeping up with Real Time (2018) (1)
- ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings (1986) (1)
- Resource Bound Analysis (Dagstuhl Seminar 17291) (2017) (1)
- Proceedings of the 10th International Conference on Compiler Construction (2001) (1)
- Abstract Interpretation with Applications to Timing Validation Invited Tutorial (2008) (1)
- On the Utility of Canonical Abstraction (2005) (1)
- Perspectives Workshop: Design of Systems with Predictable Behaviour, 16.-19. November 2003 (2004) (1)
- 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 (2001) (1)
- Extraction of Attack Signatures (2007) (1)
- Predicting Component Failures at Early Design Time (2006) (1)
- Mixed Feelings About Mixed Criticality (2018) (1)
- Automatic Verification of Strongly Dynamic Software Systems (2005) (1)
- Logic Programming Languages (2010) (1)
- EMSOFT 2007 guest editors’ introduction (2009) (0)
- Modeling Bug Reporter Reputation (2009) (0)
- Harald Ganzinger's Legacy: Contributions to Logics and Programming (2013) (0)
- Exploiting SIMD Parallelismwith the CGiS Compiler (2007) (0)
- FAST AND EFFICIENT CACHE BEHAVIOUR PREDICTION (1998) (0)
- Object-Oriented Programming Languages (2010) (0)
- On the Road to Conviction: An Email Exchange with Edward Lee (2018) (0)
- 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 5, 2005, Palma de Mallorca, Spain (2007) (0)
- ePubWU Institutional Repository (2019) (0)
- The Structure of Compilers (2013) (0)
- Brad Bit and Juliette Binom - Glosse (2011) (0)
- Proc. of the European symposium on programming on ESOP 86 (1986) (0)
- Collection Workshop Trustworthy Software 2006 INTERREG IIIC / e-Bird (2006) (0)
- Static analysis and program transformation (2012) (0)
- Introduction to the special section on rigorous embedded systems design (2013) (0)
- Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany (2006) (0)
- Die Differenzierung der Mail-Halde (2020) (0)
- The International Swabian Rim Workshop on Extremely Agile Goal-Oriented Insightbased System Engineering - Glosse (2012) (0)
- Usability considered harmful (2020) (0)
- Preface -- Workshop Trustworthy Software 2006 (2006) (0)
- Compiler Construction (2001) (0)
- 2005 WCET Preface - Message from the Workshop Chair (2005) (0)
- Compiler Design: Code Generation and Machine-Level Optimization (2021) (0)
- Information Brokerage via Internet, Problems and Solutions (the Www Server of the Ibfi Schloo Dagstuhl: Entry Point to High Quality Information about Computer Science) (1997) (0)
- Program analysis: a toolmaker's perspective (1997) (0)
- Timing Analysis and Timing Predictability Extended Abstract (2005) (0)
- Checking Timing Behavior and Memory Usage by Abstract Interpretation of Executable Code (2003) (0)
- Imperative Programming Languages (2010) (0)
- 2DT-FP: A parallel functional programming language on two-dimensional data (1995) (0)
- Autonomer Optimismus - Glosse (2018) (0)
- Dedicated to the memory of Harald Ganzinger (2004) (0)
- Parametric Timing Analysis for Complex Systems (2008) (0)
- Abstracts Collection -- Workshop Trustworthy Software 2006 (2006) (0)
- Actuating device for unlocking a locking pawl of a folding backrest of a motor vehicle seat (1996) (0)
- Timing Analysis Deriving Run-Time Guarantees for Real-Time Systems (2012) (0)
- Preface (Frontmatter, Table of Contents, Preface) (2011) (0)
- Abstracts from the proceedings of the IEEE computer society office automation symposium (1987) (0)
- Design of Systems with Predictable Behaviour (Dagstuhl Seminar 03471) (2021) (0)
- Predi ting the Pipeline Behavior of Supers alar Pro essors by Abstra tInterpretationJ (2000) (0)
- Foundations and Intraprocedural Optimization (2012) (0)
- Generation of distributed supervisors for parallel compilers (1993) (0)
- Usability considered harmful - Glosse (2011) (0)
- Defining Compositionality in Execution Time Analysis (2015) (0)
- Foundations of programming languages (2021) (0)
- Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (2012) (0)
- Compilation Techniques for Fair Execution of Shared Memory Parallel Programs over a Network of Workstations (2007) (0)
- Teaching WCET Analysis in Academia and Industry: A Panel Discussion (2009) (0)
- Informatics 10 Years Back, 10 Years Ahead (Dagstuhl Seminar 00352) (2021) (0)
- Optimization of Functional Programs (2012) (0)
- Paradies 2.0 (2020) (0)
- Dagstuhl News January - December 2000 (2000) (0)
- Architectural Influence on the Timing Predictability (2011) (0)
- Fast and Eecient Cache Behavior Prediction (1997) (0)
- Das WissPersPlan-Problem (2020) (0)
- Open Access to the University Cash Box (2021) (0)
- Taliban in Wikipedia (2021) (0)
- Software Optimization (Dagstuhl Seminar 03351) (2021) (0)
- Session details: Time predictability and memory management (2009) (0)
- Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria (2007) (0)
- Dagstuhl Annual Report January - December 2011 (2012) (0)
This paper list is powered by the following services:
Other Resources About Reinhard Wilhelm
What Schools Are Affiliated With Reinhard Wilhelm?
Reinhard Wilhelm is affiliated with the following schools:
