Mastroeni, Isabella
Mastroeni, Isabella, 1977-....
Isabella Mastroeni researcher
VIAF ID: 305030185 ( Personal )
Permalink: http://viaf.org/viaf/305030185
Preferred Forms
- 100 0 _ ‡a Isabella Mastroeni ‡c researcher
- 100 1 _ ‡a Mastroeni, Isabella
- 100 1 _ ‡a Mastroeni, Isabella
-
-
- 100 1 _ ‡a Mastroeni, Isabella, ‡d 1977-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Abstract heap relations for a compositional shape analysis. | |
Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données | |
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite | |
Proving the security of software-intensive embedded systems by abstract interpretation.. | |
Static type and value analysis by abstract interpretation of Python programs with native C libraries | |
Verification, model checking, and abstract interpretation: 14th international conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings |