BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analysi (2)
reduct (1)
variat (1)
circuit (1)
bound (1)

Stem zonotop$ (all stems)

4 papers:

DATEDATE-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.
SASSAS-2012-GoubaultPV #composition #static analysis
Modular Static Analysis with Zonotopes (EG, SP, FV), pp. 24–40.
CAVCAV-2010-GhorbalGP #approach #logic
A Logical Product Approach to Zonotope Intersection (KG, EG, SP), pp. 212–226.
CAVCAV-2009-GhorbalGP #abstract domain
The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.