The following pages link to (Q4529777):
Displaying 25 items.
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (Q283177) (← links)
- Discovering invariants via simple component analysis (Q435979) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Scalable polyhedral verification of recurrent neural networks (Q832168) (← links)
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- The octagon abstract domain (Q853733) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Exact join detection for convex polyhedra and other numerical abstractions (Q2269830) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Cooperative Query Answering by Abstract Interpretation (Q3075526) (← links)
- TreeKs: A Functor to Make Numerical Abstract Domains Scalable (Q5170170) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Acceleration in Convex Data-Flow Analysis (Q5458862) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
