| On the multi-language construction S Buro, I Mastroeni Programming Languages and Systems: 28th European Symposium on Programming …, 2019 | 15 | 2019 |
| On multi-language abstraction: Towards a static analysis of multi-language programs S Buro, R Crole, I Mastroeni Formal Methods in System Design, 1-35, 2023 | 10 | 2023 |
| Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference S Buro, I Mastroeni Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 9 | 2018 |
| Equational logic and categorical semantics for multi-languages S Buro, R Crole, I Mastroeni Electronic Notes in Theoretical Computer Science 352, 79-103, 2020 | 5 | 2020 |
| On the Semantic Equivalence of Language Syntax Formalisms S Buro, I Mastroeni Italian Conference on Theoretical Computer Science 2504, 34-51, 2019 | 3 | 2019 |
| Equational logic and set-theoretic models for multi-languages S Buro, R Crole, I Mastroeni University of Leicester, 2020 | 2 | 2020 |
| On Multi-Language Semantics: Semantic Models, Equational Logic, and Abstract Interpretation of Multi-Language Code S Buro | | 2021 |
| On Multi-Language Abstraction R Crole, S Buro, I Mastroeni University of Leicester, 2021 | | 2021 |
| KArMA-A Knowledge-Aided Monitoring Approach for SQL Injection Attacks S Buro, I Mastroeni Dipartimento di Informatica, 2017 | | 2017 |
| Set-Theoretic Models for Equational Multi-Languages S Buro, RL Crole, I Mastroeni | | |
Isabella MastroeniComputer Science Dept. - University of VeronaVerifisert e-postadresse på univr.it
Isabella MastroeniComputer Science Dept. - University of VeronaVerifisert e-postadresse på univr.it