| |
| 2004 | ||
|---|---|---|
| 4 | EE | Damien Massé: Abstract Domains for Property Checking Driven Analysis of Temporal Properties. AMAST 2004: 349-363 |
| 2003 | ||
| 3 | EE | Damien Massé: Property Checking Driven Abstract Interpretation-Based Static Analysis. VMCAI 2003: 56-69 |
| 2002 | ||
| 2 | EE | Damien Massé: Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. SAS 2002: 428-443 |
| 2001 | ||
| 1 | EE | Damien Massé: Combining Forward and Backward Analyses of Temporal Properties. PADO 2001: 103-116 |