Abstract Interpretation of FIFO Replacement

This publication has 13 references indexed in Scilit:

• The worst-case execution-time problem—overview of methods and survey of tools
  ACM Transactions on Embedded Computing Systems, 2008
• Timing predictability of cache replacement policies
  Real-Time Systems, 2007
• Combination of Abstractions in the ASTRÉE Static Analyzer
  Published by Springer Nature ,2007
• Basic Concepts of Abstract Interpretation
  Published by Springer Nature ,2004
• Cache miss equations
  ACM Transactions on Programming Languages and Systems, 1999
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
  Theoretical Computer Science, 1999
• Precise miss analysis for program transformations with caches of arbitrary associativity
  Published by Association for Computing Machinery (ACM) ,1998
• Cache behavior prediction by abstract interpretation
  Published by Springer Nature ,1996
• Data flow analysis of communicating finite state machines
  ACM Transactions on Programming Languages and Systems, 1991
• On Communicating Finite-State Machines
  Journal of the ACM, 1983