| Publication | Date of Publication | Type |
|---|
Principles of Abstract Interpretation
Formal Aspects of Computing | 2023-08-31 | Paper |
Cache behavior prediction by abstract interpretation
Static Analysis | 2022-02-16 | Paper |
Book review of: K. D. Lee, Foundations of programming languages
Formal Aspects of Computing | 2022-01-11 | Paper |
A semantics for procedure local heaps and its abstractions
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Logical characterizations of heap abstractions
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Static timing analysis -- what is special?
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Toward compact abstractions for processor pipelines
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Harald Ganzinger's legacy: contributions to logics and programming
Programming Logics | 2013-04-19 | Paper |
| scientific article; zbMATH DE number 6131609 (Why is no real title available?) | 2013-01-28 | Paper |
| scientific article; zbMATH DE number 5948801 (Why is no real title available?) | 2011-09-20 | Paper |
| Compiler design. Analysis and transformation. | 2011-06-23 | Paper |
| Compiler design. Syntactic and semantic analysis | 2011-02-14 | Paper |
| Compiler design. Virtual machines. | 2010-09-28 | Paper |
Compiler design. Vol. 3: Analysis and transformation.
eXamen.press | 2010-01-21 | Paper |
Polynomial Precise Interval Analysis Revisited
Lecture Notes in Computer Science | 2009-11-12 | Paper |
Übersetzerbau
eXamen.press | 2009-06-03 | Paper |
Static Analysis of Dynamic Communication Systems by Partner Abstraction
Static Analysis | 2009-03-03 | Paper |
Abstract Interpretation with Applications to Timing Validation
Computer Aided Verification | 2008-07-15 | Paper |
Timing predictability of cache replacement policies
Real-Time Systems | 2007-11-14 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Übersetzerbau
eXamen.press | 2007-07-16 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2081042 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2079644 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1956555 (Why is no real title available?) | 2003-07-30 | Paper |
Cache behavior prediction by abstract interpretation
Science of Computer Programming | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1281980 (Why is no real title available?) | 1999-09-05 | Paper |
A logic-based approach to program flow analysis
Acta Informatica | 1998-11-08 | Paper |
A functional description of TEX's formula layout
Journal of Functional Programming | 1998-08-30 | Paper |
| scientific article; zbMATH DE number 1011618 (Why is no real title available?) | 1997-05-21 | Paper |
| scientific article; zbMATH DE number 814823 (Why is no real title available?) | 1995-11-09 | Paper |
Tree automata for code selection
Acta Informatica | 1995-01-11 | Paper |
| scientific article; zbMATH DE number 512912 (Why is no real title available?) | 1994-03-10 | Paper |
Compiler construction. Theory, design, generation
Springer-Lehrbuch | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 4155917 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4155861 (Why is no real title available?) | 1989-01-01 | Paper |
Attribute (re)evaluation in OPTRAN
Acta Informatica | 1988-01-01 | Paper |
A Space-Efficient Optimization of Call-by-Need
IEEE Transactions on Software Engineering | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3967879 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3864481 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3845083 (Why is no real title available?) | 1982-01-01 | Paper |
Constructors for composed objects
Computer Languages | 1982-01-01 | Paper |
A modified tree-to-tree correction problem
Information Processing Letters | 1981-01-01 | Paper |
Computation and use of data flow information in optimizing compilers
Acta Informatica | 1979-01-01 | Paper |
Counter-one-pass features in one-pass compilation: A formalization using attribute grammars
Information Processing Letters | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3566109 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3567979 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3488604 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3535609 (Why is no real title available?) | 1975-01-01 | Paper |
