Mesures de compositions locales par spectroscopie de plasma induit par laser

Interaction entre des ondes de choc induites par laser et des gouttelettes

Flame shape transition in a swirl stabilised liquid fueled burner

Laser induced plasma spectroscopy for local equivalence ratio measurements in an oscillating combustion environment

Repair/recovery of the territory assignment problem

Proceedings of the DA2PL'2016 EURO Mini Conference

DA2PL'2014: from Multiple Criteria Decision Aid to Preference Learning

Inverse multiple criteria sorting problem

A multi-criteria repair/recovery framework for the tail assignment problem in airlines

An interactive algorithm for multiple criteria constrained sorting problem

Proceedings of the DA2PL'2012 Workshop - From Multiple Criteria Decision Aid to Preference Learning, Mons, Belgium

A decomposition based minimax regret approach for inverse multiple criteria sorting problem

Listing the families of Sufficient Coalitions of criteria involved in Sorting procedures

Learning criteria weights of an optimistic Electre Tri sorting rule

Learning the parameters of a majority rule sorting model taking attribute interactions into account

An interactive algorithm for resource allocation with balance concerns

Enumerating and categorizing positive Boolean functions separable by a k -additive capacity

Learning monotone preferences using a majority rule sorting model

Learning MR-Sort Rules with coalitional veto

MCDA tools and Risk Analysis: the Decision Deck Project

Bayesian Recommendations and Utility Elicitation with Intensity of Preference Statements

A Population-Based Algorithm for Learning a Majority Rule Sorting Model with Coalitional Veto

Learning a Majority Rule Model from Large Sets of Assignment Examples

Multicriteria Sorting with Category Size Restrictions

Constrained Multicriteria Sorting Method Applied to Portfolio Selection

Testing from Abstract Data Type Specifications

Spécifications formelles du chanfreinage

An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications

Evaluation symbolique appliquée à l'étude de réseaux de régulation génétique

Efficient computation of arbitrary control dependencies

Transformations de graphes décorés

Complex software systems : Formalization and Applications

Generation of All-Paths Unit Test with Function Calls

Testing Software and Systems

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Testing of Software and Communicating Systems

Proof-Guided Test Selection from First-Order Specifications with Equality

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Transformations de graphes pour les opérations topologiques en modélisation géométrique

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Feature specification: a logic-independent approach

Automatic generation of symbolic test purposes

JERBOA : un modeleur géométrique à base de règles

Fast Computation of Arbitrary Control Dependencies

Interaction-based offline runtime verification of distributed systems

Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine

An implementation relation and test framework for timed distributed systems

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts