Damien Massé

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 2

Top Topics

Image Thresholding

Multiobjective Evolutionary Algorithm

Transportation Problem

Ranking Functions

Top Venues

Adv. Oper. Res.

Publications

Thomas Le Mézo, Luc Jaulin, Damien Massé, Benoît Zerr
Kleene Algebra to Compute Invariant Sets of Dynamical Systems. Algorithms 15 (3) (2022)
Laurent Lemarchand, Damien Massé, Pascal Rebreyend, Johan Håkansson
Multiobjective Optimization for Multimode Transportation Problems. Adv. Oper. Res. 2018 (2018)
Damien Massé
Policy Iteration-Based Conditional Termination and Ranking Functions. VMCAI (2014)
Damien Massé, Laurent Mauborgne
Preface. Electron. Notes Theor. Comput. Sci. 288 (2012)
Damien Massé
Proving Termination by Policy Iteration. Electron. Notes Theor. Comput. Sci. 287 (2012)
Damien Massé
Abstract Domains for Property Checking Driven Analysis of Temporal Properties. AMAST (2004)
Damien Massé
Property Checking Driven Abstract Interpretation-Based Static Analysis. VMCAI (2003)
Damien Massé
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties. SAS (2002)
Damien Massé
Combining Forward and Backward Analyses of Temporal Properties. PADO (2001)