Damien Massé

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

4 Damien Massé: Abstract Domains for Property Checking Driven Analysis of Temporal Properties. AMAST 2004: 349-363

2003

3 Damien Massé: Property Checking Driven Abstract Interpretation-Based Static Analysis. VMCAI 2003: 56-69

2002

2 Damien Massé: Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. SAS 2002: 428-443

2001

1 Damien Massé: Combining Forward and Backward Analyses of Temporal Properties. PADO 2001: 103-116

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

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page