Combining Forward and Backward Analyses of Temporal Properties. - Damien Massé (PADO, 2001)

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. - Damien Massé (SAS, 2002)

Property Checking Driven Abstract Interpretation-Based Static Analysis. - Damien Massé (VMCAI, 2003)

Abstract Domains for Property Checking Driven Analysis of Temporal Properties. - Damien Massé (AMAST, 2004)

Preface. - Damien Massé; Laurent Mauborgne (NSAD@SAS, 2011)

Proving Termination by Policy Iteration. - Damien Massé (NSAD@SAS, 2012)

Policy Iteration-Based Conditional Termination and Ranking Functions. - Damien Massé (VMCAI, 2014)

Multiobjective Optimization for Multimode Transportation Problems. - Laurent Lemarchand; Damien Massé; Pascal Rebreyend; Johan Håkansson (Adv. Oper. Res., 2018)

Kleene Algebra to Compute Invariant Sets of Dynamical Systems. - Thomas Le Mézo; Luc Jaulin; Damien Massé; Benoît Zerr (Algorithms, 2022)

Interval-based validation of a nonlinear estimator. - Maël Godard; Luc Jaulin; Damien Massé (CoRR, 2024)