Search

Your search keyword '"Chang, Bor-Yuh Evan"' showing total 33 results

Search Constraints

Start Over You searched for: Author "Chang, Bor-Yuh Evan" Remove constraint Author: "Chang, Bor-Yuh Evan" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
33 results on '"Chang, Bor-Yuh Evan"'

Search Results

1. Discriminating Traces with Time

2. Abstract Domains and Solvers for Sets Reasoning

3. Shape Analysis for Unstructured Sharing

4. Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

5. Construction of Abstract Domains for Heterogeneous Properties (Position Paper)

6. Refuting Heap Reachability

7. QUIC Graphs: Relational Invariant Generation for Containers

8. Reduced Product Combination of Abstract Domains for Shapes

9. Invariant Generation for Parametrized Systems Using Self-reflection : (Extended Version)

10. A Bit Too Precise? Bounded Verification of Quantized Digital Filters

11. The Flow-Insensitive Precision of Andersen’s Analysis in Practice

12. Access Nets: Modeling Access to Physical Spaces

13. Separating Shape Graphs

14. Shape Analysis with Structural Invariant Checkers

15. Analysis of Low-Level Code Using Cooperating Decompilers

16. Boogie: A Modular Reusable Verifier for Object-Oriented Programs

17. A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety

18. Abstract Interpretation with Alien Expressions and Heap Structures

19. Discriminating Traces with Time

Catalog

Books, media, physical & digital resources