Isabella Mastroeni
Università degli Studi di Verona
H-index: 16
Europe-Italy
Top articles of Isabella Mastroeni
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281) | Arie Gurfinkel Isabella Mastroeni Antoine Miné Peter Müller Anna Becchi | 2024 | |
Check for updates | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers | Segmentation Framework via Optimal Mass Transportation Pre-processing Jia-Wei Liao¹ Tsung-Ming Huang Tiexiang Li | 2023/7/17 |
How fitting is your abstract domain? | Roberto Giacobazzi Isabella Mastroeni Elia Perantoni | 2023/10/22 | |
Domain Precision in Galois Connection-Less Abstract Interpretation | Isabella Mastroeni Michele Pasqua | 2023/10/22 | |
On multi-language abstraction: Towards a static analysis of multi-language programs | Formal Methods in System Design | Samuele Buro Roy Crole Isabella Mastroeni | 2023/3/28 |
Decoupling the ascending and descending phases in abstract interpretation | Vincenzo Arceri Isabella Mastroeni Enea Zaffanella | 2022/11/25 | |
Verifying opacity by abstract interpretation | Isabella Mastroeni Michele Pasqua | 2022/4/25 | |
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation | Roberto Giacobazzi Isabella Mastroeni | 2022/12/2 | |
On Multi-Language Abstraction | Roy Crole Samuele Buro Isabella Mastroeni | 2021/1/13 | |
Completeness of string analysis for dynamic languages | Information and Computation | Vincenzo Arceri Martina Olliaro Agostino Cortesi Isabella Mastroeni | 2021/12/1 |
Improving dynamic code analysis by code abstraction | arXiv preprint arXiv:2109.02813 | Isabella Mastroeni Vincenzo Arceri | 2021/9/7 |
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval | ACM Transactions on Privacy and Security (TOPS) | Vincenzo Arceri Isabella Mastroeni | 2021/1/21 |
An abstract domain for objects in dynamic programming languages | Vincenzo Arceri Michele Pasqua Isabella Mastroeni | 2020 | |
Equational logic and set-theoretic models for multi-languages | Samuele Buro Roy Crole Isabella Mastroeni | 2020/12/2 | |
On the semantic equivalence of language syntax formalisms | Theoretical Computer Science | Samuele Buro Isabella Mastroeni | 2020/11/6 |
Equational logic and categorical semantics for multi-languages | Electronic Notes in Theoretical Computer Science | Samuele Buro Roy Crole Isabella Mastroeni | 2020/10/1 |
Static analysis for ECMAScript string manipulation programs | Applied Sciences | Vincenzo Arceri Isabella Mastroeni Sunyi Xu | 2020/5/20 |
A sound abstract interpreter for dynamic code | Vincenzo Arceri Isabella Mastroeni | 2020/3/30 |