E-LIB Suche - Ergebnisse für: Mastroeni, Isabella

1

Adversities in Abstract Interpretation - Accommodating Robu..:

Giacobazzi, Roberto ; Mastroeni, Isabella ; Perantoni, Elia
ACM Transactions on Programming Languages and Systems. 46 (2024) 2 - p. 1-31 , 2024

Link: https://doi.org/10.1145/..

2

How Fitting is Your Abstract Domain?:

, In: Static Analysis; Lecture Notes in Computer Science,

Giacobazzi, Roberto ; Mastroeni, Isabella ; Perantoni, Elia - p. 286-309 , 2023

Link: https://doi.org/10.1007/..

3

Domain Precision in Galois Connection-Less Abstract Interpr..:

, In: Static Analysis; Lecture Notes in Computer Science,

Mastroeni, Isabella ; Pasqua, Michele - p. 434-459 , 2023

Link: https://doi.org/10.1007/..

4

Decoupling the Ascending and Descending Phases in Abstract ..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Arceri, Vincenzo ; Mastroeni, Isabella ; Zaffanella, Enea - p. 25-44 , 2022

Link: https://doi.org/10.1007/..

5

Verifying opacity by abstract interpretation:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,

Mastroeni, Isabella ; Pasqua, Michele - p. 1817-1826 , 2022

Link: https://dl.acm.org/doi/1..

6

Property-Driven Code Obfuscations Reinterpreting Jones-Opti..:

, In: Static Analysis; Lecture Notes in Computer Science,

Giacobazzi, Roberto ; Mastroeni, Isabella - p. 247-271 , 2022

Link: https://doi.org/10.1007/..

7

Analyzing Dynamic Code : A Sound Abstract Interpreter fo..:

Arceri, Vincenzo ; Mastroeni, Isabella
ACM Transactions on Privacy and Security (TOPS). 24 (2021) 2 - p. 1-38 , 2021

Link: https://dl.acm.org/doi/1..

8

Analyzing Dynamic Code: A Sound Abstract Interpreter forEvi..:

Arceri, Vincenzo ; Mastroeni, Isabella
ACM Transactions on Privacy and Security. 24 (2021) 2 - p. 1-38 , 2021

Link: https://doi.org/10.1145/..

9

Completeness of string analysis for dynamic languages:

Arceri, Vincenzo ; Olliaro, Martina ; Cortesi, Agostino.
Information and Computation. 281 (2021) - p. 104791 , 2021

Link: https://doi.org/10.1016/..

10

Static Analysis for ECMAScript String Manipulation Programs:

Arceri, Vincenzo ; Mastroeni, Isabella ; Xu, Sunyi
Applied Sciences. 10 (2020) 10 - p. 3525 , 2020

Link: https://doi.org/10.3390/..

11

A sound abstract interpreter for dynamic code:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,

Arceri, Vincenzo ; Mastroeni, Isabella - p. 1979-1988 , 2020

Link: https://dl.acm.org/doi/1..

12

Equational Logic and Categorical Semantics for Multi-Langua..:

Buro, Samuele ; Crole, Roy ; Mastroeni, Isabella
Electronic Notes in Theoretical Computer Science. 352 (2020) - p. 79-103 , 2020

Link: https://doi.org/10.1016/..

13

On the semantic equivalence of language syntax formalisms:

Buro, Samuele ; Mastroeni, Isabella
Theoretical Computer Science. 840 (2020) - p. 234-248 , 2020

Link: https://doi.org/10.1016/..

14

On Multi-language Abstraction: Towards a Static Analysis of..:

, In: Static Analysis; Lecture Notes in Computer Science,

Buro, Samuele ; Crole, Roy L. ; Mastroeni, Isabella - p. 310-332 , 2020

Link: https://doi.org/10.1007/..

15

An Abstract Domain for Objects in Dynamic Programming Langu..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Arceri, Vincenzo ; Pasqua, Michele ; Mastroeni, Isabella - p. 136-151 , 2020

Link: https://doi.org/10.1007/..