Damien Massé

According to our database, Damien Massé authored at least 9 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Kleene Algebra to Compute Invariant Sets of Dynamical Systems.

Thomas Le Mézo, Luc Jaulin, Damien Massé, Benoît Zerr

Algorithms, 2022

2018

Multiobjective Optimization for Multimode Transportation Problems.

Laurent Lemarchand, Damien Massé, Pascal Rebreyend, Johan Håkansson

Adv. Oper. Res., 2018

2014

Policy Iteration-Based Conditional Termination and Ranking Functions.

Damien Massé

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2012

Proving Termination by Policy Iteration.

Damien Massé

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

2011

Preface.

Damien Massé, Laurent Mauborgne

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

2004

Abstract Domains for Property Checking Driven Analysis of Temporal Properties.

Damien Massé

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Property Checking Driven Abstract Interpretation-Based Static Analysis.

Damien Massé

Proceedings of the Verification, 2003

2002

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties.

Damien Massé

Proceedings of the Static Analysis, 9th International Symposium, 2002

2001

Combining Forward and Backward Analyses of Temporal Properties.

Damien Massé

Proceedings of the Programs as Data Objects, Second Symposium, 2001