Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Reinhard Wilhelm
Static Timing Analysis for Hard Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ubiquitous Verification of Ubiquitous Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Temporal Heap Properties Specified via Evolution Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving Shape-Analysis Problems in Languages With Destructive Updating