Reinhard Wilhelm

Available identifiers

zbMath Open wilhelm.reinhardWikidataQ90599 ScholiaQ90599MaRDI QIDQ598798

List of research outcomes

Publication	Date of Publication	Type
Principles of Abstract Interpretation	2023-08-31	Paper
Cache behavior prediction by abstract interpretation	2022-02-16	Paper
Book review of: K. D. Lee, Foundations of programming languages	2022-01-11	Paper
A semantics for procedure local heaps and its abstractions	2017-07-14	Paper
Logical characterizations of heap abstractions	2017-07-12	Paper
Static Timing Analysis – What is Special?	2016-03-23	Paper
Toward Compact Abstractions for Processor Pipelines	2015-11-04	Paper
Harald Ganzinger’s Legacy: Contributions to Logics and Programming	2013-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4904159	2013-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q3092707	2011-09-20	Paper
Compiler Design	2011-06-23	Paper
Compiler Design	2011-02-14	Paper
Compiler Design	2010-09-28	Paper
Übersetzerbau	2010-01-21	Paper
Polynomial Precise Interval Analysis Revisited	2009-11-12	Paper
Übersetzerbau	2009-06-03	Paper
Static Analysis of Dynamic Communication Systems by Partner Abstraction	2009-03-03	Paper
Abstract Interpretation with Applications to Timing Validation	2008-07-15	Paper
Timing predictability of cache replacement policies	2007-11-14	Paper
Model Checking Software	2007-09-28	Paper
Übersetzerbau	2007-07-16	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4474148	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4471671	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417895	2003-07-30	Paper
Cache behavior prediction by abstract interpretation	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4241049	1999-09-05	Paper
A logic-based approach to program flow analysis	1998-11-08	Paper
A functional description of TEX's formula layout	1998-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4337597	1997-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4855367	1995-11-09	Paper
Tree automata for code selection	1995-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4281624	1994-03-10	Paper
Compiler construction. Theory, design, generation	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3484344	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3484369	1989-01-01	Paper
Attribute (re)evaluation in OPTRAN	1988-01-01	Paper
A Space-Efficient Optimization of Call-by-Need	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735046	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3332233	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3315030	1982-01-01	Paper
Constructors for composed objects	1982-01-01	Paper
A modified tree-to-tree correction problem	1981-01-01	Paper
Computation and use of data flow information in optimizing compilers	1979-01-01	Paper
Counter-one-pass features in one-pass compilation: A formalization using attribute grammars	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138064	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4139634	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4070309	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111086	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Reinhard Wilhelm