Static Analysis of Digital Filters-Reference-Cited by-同舟云学术

Static Analysis of Digital Filters

Published:2004 Issue: Volume: Page:33-48
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Feret Jérôme

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24725-8_4

Reference10 articles.

1. Lecture Notes in Computer Science;B. Blanchet,2002

2. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proc. PLDI 2003. ACM Press, New York (2003)

3. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. POPL 1977. ACM Press, New York (1977)

4. Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of logic and computation 2(4) (August 1992)

5. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Proc. POPL 1978. ACM Press, New York (1978)

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

1. Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

2. Analysis of Embedded Numerical Programs in the Presence of Numerical Filters;Computer Science Foundations and Applied Logic;2024

3. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023

4. DynamiTe: dynamic termination and non-termination proofs;Proceedings of the ACM on Programming Languages;2020-11-13

5. Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis;Static Analysis;2020