The following pages link to Isabella Mastroeni (Q511011):
Displayed 36 items.
- Maximal incompleteness as obfuscation potency (Q511013) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Non-standard semantics for program slicing (Q1426864) (← links)
- Completeness in approximate transduction (Q1664380) (← links)
- Completeness of string analysis for dynamic languages (Q2051812) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- On the semantic equivalence of language syntax formalisms (Q2202012) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- Completeness of abstract domains for string analysis of JavaScript programs (Q2279128) (← links)
- Algebraic power analysis by abstract interpretation (Q2386354) (← links)
- Weakening additivity in adjoining closures (Q2520722) (← links)
- Abstract Symbolic Automata (Q2819818) (← links)
- A Formal Framework for Property-Driven Obfuscation Strategies (Q2842780) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Abstract Code Injection (Q3296325) (← links)
- Abstract non-interference (Q3452260) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- A Proof System for Abstract Non-interference (Q3553917) (← links)
- (Q4414386) (← links)
- (Q4530865) (← links)
- (Q4994686) (← links)
- Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification (Q5233244) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- Computer Science Logic (Q5311263) (← links)
- Programming Languages and Systems (Q5316572) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
- Programming Languages and Systems (Q5493401) (← links)
- Making abstract models complete (Q5741575) (← links)
- Static Analysis (Q5897433) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897969) (← links)
- Verifying bounded subset-closed hyperproperties (Q6041175) (← links)
- On the multi-language construction (Q6091307) (← links)
- Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation (Q6164429) (← links)
- Decoupling the ascending and descending phases in abstract interpretation (Q6176563) (← links)