4 papers:
DATE-2014-AhmadC #performance #predict #simulation- Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
- DATE-2011-BarceloGBS #estimation #performance #scalability
- An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation (SB, XG, SAB, JS), pp. 1602–1607.
ICSM-2002-Pizka #concept #evolution #named- STA — A Conceptual Model for System Evolution (MP), pp. 462–468.
SAC-2002-BorealeB #analysis #automation #protocol #security- Experimenting with STA, a tool for automatic analysis of security protocols (MB, MGB), pp. 281–285.
