4 papers:
DATE-2014-SongDY #analysis #bound #multi #order #parametricity #performance #reduction- Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations (YS, SMPD, HY), pp. 1–6.
SAS-2012-GoubaultPV #composition #static analysis- Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
CAV-2010-GhorbalGP #approach #logic- A Logical Product Approach to Zonotope Intersection (KG, EG, SP), pp. 212–226.
- CAV-2009-GhorbalGP #abstract domain
- The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.
