Reinhard Wilhelm

According to our database1, Reinhard Wilhelm
  • authored at least 161 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 2000, "For important contributions in the field of compilers, particularly code-generator generators and program analysis, and for outstanding service as Scientific Director of Schloss Dagstuhl.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Benchmarking Static Code Analyzers.
Proceedings of the Computer Safety, Reliability, and Security, 2017

2016
A Survey on Static Cache Analysis for Real-Time Systems.
LITES, 2016

Static Timing Analysis - What is Special?
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Towards compositionality in execution time analysis: definition and challenges.
SIGBED Review, 2015

Toward Compact Abstractions for Processor Pipelines.
Proceedings of the Correct System Design, 2015

2014
Building timing predictable embedded systems.
ACM Trans. Embedded Comput. Syst., 2014

Computation takes time, but how much?
Commun. ACM, 2014

Software Quality Assurance by Static Program Analysis.
Proceedings of the Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering, 2014

Impact of resource sharing on performance and performance prediction.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Keller im Übersetzerbau.
Proceedings of the Keller, Stack und automatisches Gedächtnis, 2014

2013
Introduction to the special section on rigorous embedded systems design.
ACM Trans. Embedded Comput. Syst., 2013

Impact of Resource Sharing on Performance and Performance Prediction: A Survey.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

Harald Ganzinger's Legacy: Contributions to Logics and Programming.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

Compiler Design - Syntactic and Semantic Analysis.
Springer, ISBN: 978-3-642-17539-8, 2013

2012
Turing und die Verifikation.
Informatik Spektrum, 2012

Embedded systems: Many cores - Many problems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

Compiler Design - Analysis and Transformation.
Springer, ISBN: 978-3-642-17547-3, 2012

2011
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482).
Dagstuhl Manifestos, 2011

A Template for Predictability Definitions with Supporting Evidence.
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2010
Static Timing Analysis for Hard Real-Time Systems.
Proceedings of the Verification, 2010

Ubiquitous Verification of Ubiquitous Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Compiler Design - Virtual Machines.
Springer, ISBN: 978-3-642-14908-5, 2010

2009
Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009

Editorial.
Computer Science - R&D, 2009

EMSOFT 2007 guest editors' introduction.
Design Autom. for Emb. Sys., 2009

Teaching WCET Analysis in Academia and Industry: A Panel Discussion.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

The PROMPT design principles for predictable multi-core architectures.
Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

Towards device emulation code generation.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Polynomial Precise Interval Analysis Revisited.
Proceedings of the Efficient Algorithms, 2009

Determining Bounds on Execution Times.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embedded Comput. Syst., 2008

Algorithm visualization using concrete and abstract shape graphs.
Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Parametric Timing Analysis for Complex Architectures.
Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Architectural Influence on the Timing Predictability.
Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008

Timing Validation of Automotive Software.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.
Proceedings of the Design, Automation and Test in Europe, 2008

Abstract Interpretation with Applications to Timing Validation.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Logical characterizations of heap abstractions.
ACM Trans. Comput. Log., 2007

Timing predictability of cache replacement policies.
Real-Time Systems, 2007

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
it - Information Technology, 2007

Static Analysis of Dynamic Communication Systems by Partner Abstraction.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Exploiting SIMD Parallelism with the CGiSCompiler Framework.
Proceedings of the Languages and Compilers for Parallel Computing, 2007

Grand challenges in embedded software.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Shape Analysis and Applications.
The Compiler Design Handbook, 2nd ed., 2007

2006
Verifying Temporal Heap Properties Specified via Evolution Logic.
Logic Journal of the IGPL, 2006

A Definition and Classification of Timing Anomalies.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

The Development of the Data-Parallel GPU Programming Language CGiS.
Proceedings of the Computational Science, 2006

Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis.
Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), 2006

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

Abstract Interpretation of Graph Transformation.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Preface -- Workshop Trustworthy Software 2006.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

The CGiS Compiler-A Tool Demonstration.
Proceedings of the Compiler Construction, 15th International Conference, 2006

Towards Model-Driven Development of Hard Real-Time Systems.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Determining Bounds on Execution Times.
Proceedings of the Embedded Systems Handbook., 2005

Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

2005 WCET Preface - Message from the Workshop Chair.
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

Algorithm animation using shape analysis: visualising abstract executions.
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

A semantics for procedure local heaps and its abstractions.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Design for Timing Predictability.
Real-Time Systems, 2004

Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.
Proceedings of the Verification, 2004

Formal Analysis of Processor Timing Models.
Proceedings of the Model Checking Software, 2004

Timing Analysis and Timing Predictability.
Proceedings of the Formal Methods for Components and Objects, 2004

Design for Time-Predictability.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Abstracts Collection.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Requirements for and Design of a Processor with Predictable Timing.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

Static Program Analysis via 3-Valued Logic.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Component-Wise Instruction-Cache Behavior Prediction.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.
Proceedings of the Automotive Software, 2004

2003
The influence of processor architecture on the design and the results of WCET tools.
Proceedings of the IEEE, 2003

Logical Characterizations of Heap Abstractions
CoRR, 2003

Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Convenient User Annotations for a WCET Tool.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 2003

Run-Time Guarantees for Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Verifying Temporal Heap Properties Specified via Evolution Logic.
Proceedings of the Programming Languages and Systems, 2003

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Parametric shape analysis via 3-valued logic.
ACM Trans. Program. Lang. Syst., 2002

Shape Analysis and Applications.
The Compiler Design Handbook, 2002

2001
Reliable and Precise WCET Determination for a Real-Life Processor.
Proceedings of the Embedded Software, First International Workshop, 2001

Algorithm Explanation: Visualizing Abstract States and Invariants.
Proceedings of the Software Visualization, 2001

2000
Focusing in Algorithm Explanation.
IEEE Trans. Vis. Comput. Graph., 2000

Fast and Precise WCET Prediction by Separated Cache and Path Analyses.
Real-Time Systems, 2000

Putting static analysis to work for verification: A case study.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Shape Analysis.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1999
Cache Behavior Prediction by Abstract Interpretation.
Sci. Comput. Program., 1999

Timing Analysis and Validation for Real-Time Systems - Guest Editor's Introduction.
Real-Time Systems, 1999

Efficient and Precise Cache Behavior Prediction for Real-Time Systems.
Real-Time Systems, 1999

Animation of the Generation and Computation of Finite Automata for Learning Software.
Proceedings of the Automata Implementation, 1999

Parametric Shape Analysis via 3-Valued Logic.
Proceedings of the POPL '99, 1999

Run-Time Guarantees for Real-Time Systems - The USES Approach.
Proceedings of the Informatik '99, 1999

1998
Solving Shape-Analysis Problems in Languages with Destructive Updating.
ACM Trans. Program. Lang. Syst., 1998

A Logic-Based Approach to Program Flow Analysis.
Acta Inf., 1998

On Predicting Data Cache Behavior for Real-Time Systems.
Proceedings of the Languages, 1998

Analysis of Loops.
Proceedings of the Compiler Construction, 7th International Conference, 1998

1997
Program Analysis: A Toolmaker's Perspective.
SIGPLAN Notices, 1997

A Functional Description of TEX's Formula Layout.
J. Funct. Program., 1997

Übersetzerbau - Theorie, Konstruktion, Generierung, 2. Auflage
Springer, ISBN: 3-540-61692-6, 1997

1996
Program Analysis - A Toolmaker's Perspective.
ACM Comput. Surv., 1996

Cache Behavior Prediction by Abstract Interpretation.
Proceedings of the Static Analysis, Third International Symposium, 1996

Solving Shape-Analysis Problems in Languages with Destructive Updating.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Parallel Implementation of Functional Languages.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Grundlagen der Dokumentenverarbeitung.
Addison-Wesley, ISBN: 978-3-89319-877-1, 1996

1995
2DT-FP: A parallel functional programming language on two-dimensional data.
International Journal of Parallel Programming, 1995

An application specific parallel programming paradigm.
Proceedings of the High-Performance Computing and Networking, 1995

CLaX - A Visualized Compiler.
Proceedings of the Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, 1995

Compiler design.
Addison-Wesley, ISBN: 978-0-201-42290-0, 1995

1994
Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung.
Inform., Forsch. Entwickl., 1994

Tree Automata for Code Selection.
Acta Inf., 1994

Implementing 2DT on a Multiprocessor.
Proceedings of the Compiler Construction, 5th International Conference, 1994

Les compilateurs - théorie, construction, génération.
Masson, ISBN: 978-2-225-84615-1, 1994

1993
Transformation Development: TrafoLa-H Subsystem.
Proceedings of the Program Development by Specification and Transformation, 1993

Generation of Synchronization Code for Parallel Compilers.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks.
Proceedings of the PARLE '93, 1993

Parallele und verteilte Systeme.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

Programmiersprachen.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

Generische und generative Methoden.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

Einleitung.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

1992
Übersetzerbau - Theorie, Konstruktion, Generierung
Springer, ISBN: 3-540-55704-0, 1992

1991
Table Compression for Tree Automata.
ACM Trans. Program. Lang. Syst., 1991

Attributive Reevaluation in OPTRAN.
Proceedings of the Attribute Grammars, 1991

Grammar Flow Analysis.
Proceedings of the Attribute Grammars, 1991

An Overview of the OPTRAN System.
Proceedings of the Attribute Grammars, 1991

Tree Automata for Code Selection.
Code Generation, 1991

1990
Tree Tranformations, Functional Languages, and Attribute Grammars.
Proceedings of the Attribute Grammars and their Applications, 1990

A Logic-Based Approach to Data Flow Analysis Problem.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989
Simulating Circular Attribute Grammars Through Attribute Reevaluation.
Inf. Process. Lett., 1989

MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen.
Inform., Forsch. Entwickl., 1989

Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag).
Proceedings of the Software-Entwicklung: Konzepte, 1989

Foundations of Programming Languages
John Wiley, ISBN: 0-471-92139-4, 1989

1988
Attribute (Re)evaluation in OPTRAN.
Acta Inf., 1988

SiATEX - eine interaktive Arbeitsumgeubng für TEX.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Two Tree Pattern Matchers for Code Selection.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

Complied Graph Reduction on a Processor Network.
Proceedings of the Architektur und Betrieb vpn Rechensystemen, 1988

1987
A Space-Efficient Optimization of Call-by-Need.
IEEE Trans. Software Eng., 1987

1986
Grundlagen der Programmiersprachen
Teubner, ISBN: 3-519-02254-0, 1986

1984
How to Implement a System for Manipulation of Attributed Trees.
Proceedings of the Programmiersprachen und Programmentwicklung, 1984

Inverse Currying Transformation on Attribute Grammars.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983
Symbolische Programmausführung - Das aktuelle Schlagwort.
Informatik Spektrum, 1983

1982
Constructors for Composed Objects.
Comput. Lang., 1982

A Truly Generative Semantics-Directed Compiler Generator.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

LL- and LR-Attributed Grammars.
Proceedings of the Programmiersprachen und Programmentwicklung, 1982

Imperative, prädikative und funktionale Programmierung (Kurzfassung).
Proceedings of the GI - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings, 1982

1981
A Modified Tree-to-Tree Correction Problem.
Inf. Process. Lett., 1981

Invariance of Approximate Semantics with Respect to Program Transformations.
Proceedings of the GI, 1981

1980
OPTRAN, a Language for the Specification of Program Transformations.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

1979
Attributierte Grammatiken.
Informatik Spektrum, 1979

Computation and Use of Data Flow Information in Optimizing Compilers.
Acta Inf., 1979

1978
Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars.
Inf. Process. Lett., 1978

1977
Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung.
PhD thesis, 1977

Automatic Generation of Optimizing Multipass Compilers.
IFIP Congress, 1977

Implementierbarkeit attributierter Grammatiken.
Proceedings of the GI - 7. Jahrestagung, Nürnberg, 26.-28. September 1977, Proceedings, 1977

1976
Design Evaluation of the Compiler Generating System MUGI.
Proceedings of the 2nd International Conference on Software Engineering, 1976

MUG1 - an incremental compiler-compiler.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975
Verschränkung von Compiler-Moduln.
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974
Code-Optimierung Mittels Attributierter Transformationsgrammatiken.
Proceedings of the GI - 4. Jahrestagung, Berlin, 9.-12. Oktober 1974, 1974


  Loading...