Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely-Reference-Cited by-同舟云学术

Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely

Published:2010 Issue: Volume: Page:271-286
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Gawlitza Thomas Martin,Seidl Helmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15769-1_17.pdf

Reference20 articles.

1. Lecture Notes in Computer Science,2008

2. Lecture Notes in Computer Science;A. Adjé,2010

3. Björklund, H., Sandberg, S., Vorobyov, S.: Optimization on completely unimodal hypercubes. Technichal report 2002-18, Department of Information Technology, Uppsala University (2002)

4. Lecture Notes in Computer Science;H. Björklund,2004

5. Borchers, B.: Csdp, a c library for semidefinite programming. In: Optimization Methods and Software, vol. 11, p. 613. Taylor and Francis, Abington (1999)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Validating numerical semidefinite programming solvers for polynomial invariants;Formal Methods in System Design;2017-10-14

2. Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants;Static Analysis;2016

3. Practical policy iterations;Formal Methods in System Design;2015-04

4. Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs;Journal of Mathematical Analysis and Applications;2014-02

5. Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison;Lecture Notes in Computer Science;2014