Damien Massé

12 papers B 3Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Inner and outer approximation of the image of a set by a nonlinear function.
Int. J. Approx. Reason.
Maël Godard, Luc Jaulin, Damien Massé
2024 J jnl
Interval-based validation of a nonlinear estimator.
CoRR
Maël Godard, Luc Jaulin, Damien Massé
2022 J jnl
Kleene Algebra to Compute Invariant Sets of Dynamical Systems.
Algorithms
Thomas Le Mézo, Luc Jaulin, Damien Massé, Benoît Zerr
2018 J jnl
Multiobjective Optimization for Multimode Transportation Problems.
Adv. Oper. Res.
Laurent Lemarchand, Damien Massé, Pascal Rebreyend, Johan Håkansson
2014 B conf
Policy Iteration-Based Conditional Termination and Ranking Functions.
VMCAI
Damien Massé
2012 — ed.
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011
NSAD@SAS
Damien Massé, Laurent Mauborgne
2012 — conf
Proving Termination by Policy Iteration.
NSAD@SAS
Damien Massé
2011 — conf
Preface.
NSAD@SAS
Damien Massé, Laurent Mauborgne
2004 — conf
Abstract Domains for Property Checking Driven Analysis of Temporal Properties.
AMAST
Damien Massé
2003 B conf
Property Checking Driven Abstract Interpretation-Based Static Analysis.
VMCAI
Damien Massé
2002 B conf
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.
SAS
Damien Massé
2001 — conf
Combining Forward and Backward Analyses of Temporal Properties.
PADO
Damien Massé