All Stories

  1. Principles of Abstract Interpretation

    Article • Formal Aspects of Computing, June 2022, ACM (Association for Computing Machinery)

    Professor Dr. Reinhard Wilhelm

  2. Real time spent on real time

    Article • Communications of the ACM, September 2020, ACM (Association for Computing Machinery)

    Professor Dr. Reinhard Wilhelm

  3. The worst-case execution-time problem—overview of methods and survey of tools

    Article • ACM Transactions on Embedded Computing Systems, April 2008, ACM (Association for Computing Machinery)

    Professor Dr. Reinhard Wilhelm

  4. Parametric shape analysis via 3-valued logic

    Article • ACM Transactions on Programming Languages and Systems, May 2002, ACM (Association for Computing Machinery)

    Professor Dr. Reinhard Wilhelm

  5. Reliable and Precise WCET Determination for a Real-Life Processor

    Article • January 2001, Springer Science + Business Media

    Professor Dr. Reinhard Wilhelm

  6. Fast and Precise WCET Prediction by Separated Cache and Path Analyses

    Article • Real-Time Systems, January 2000, Springer Science + Business Media

    Professor Dr. Reinhard Wilhelm