Section: Dissemination
PhD theses
Pietro Ferrara defended his PhD on May 22, 2009 on static analysis via abstract interpretation of multithreaded programs [11] .
Team
Abstraction
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
- Space Software Validation using Abstract Interpretation
- Why does Astrée scale up?
- Design of the Apron Library
- Hierarchy of Semantics by Abstract Interpretation and Formal Proofs
- Semantics Design by Abstract Interpretation
- Verification of Security Protocols in the Formal Model
- Verification of Security Protocols in the Computational Model
- Verification of Security Protocols: Formal Model and Computational Model
- Analysis of Biological Pathways
- Shape analysis of a realistic memory model
- Checkmate: a Generic Static Analyzer of Java Multithreaded Programs
- Static Analysis via Abstract Interpretation of Multithreaded Programs
- SubPolyhedra: A (more) scalable approach to infer linear inequalities
- Refining Abstract Interpretation-based Static Analyses with Hints
- Approximated Inference of Linear Invariants
- An Abstract Domain to Infer Interval Linear Relationships
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography