Finding Relevant Templates via the Principal Component Analysis

DOI10.1007/978-3-319-52234-0_26zbMath1484.68052OpenAlexW2569595079MaRDI QIDQ2961584

Yassamine Seladji

Publication date: 21 February 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-52234-0_26

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Discovering invariants via simple component analysis
• The octagon abstract domain
• Principal component analysis.
• Generalizing the Template Polyhedral Domain
• SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
• Principal component analysis in linear systems: Controllability, observability, and model reduction
• Abstract interpretation and application to logic programs
• Probabilistic Principal Component Analysis
• A Multilinear Singular Value Decomposition
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation