Considerations About Validation of Knowledge Models in KBE Systems. - Florence Sellini; Catalina Vargas; Pierre-Alain Yvars (EUROVAV, 1997)

Modèles objet & représentation déclarative du produit en conception mécanique. - Florence Sellini; Pierre-Alain Yvars (Obj. Logiciel Base données Réseaux, 1998)

Veri-KoMoD: Verification of Knowledge Models in the Mechanical Design Field. - Florence Sellini; Pierre-Alain Yvars (EKAW, 1999)

A Priori Verification of Product Models in Mechanical Design. - Florence Sellini; Pierre-Alain Yvars (EUROVAV, 1999)

A CSP approach for the network of product lifecycle constraints consistency in a collaborative design context. - Pierre-Alain Yvars (Eng. Appl. Artif. Intell., 2009)

A Constraint-Based Approach to the Composition Relation Management of a Product Class in Design. - Pierre-Alain Yvars (J. Comput. Inf. Sci. Eng., 2010)

A constraint programming approach for generating firing sequences in timed Petri nets with token identification. - Yongliang Huang; Thomas Bourdeaud'huy; Pierre-Alain Yvars; Armand Toguyéni (WODES, 2012)

Constraint based approach for the steady-state simulation of complex systems: Application to ship control. - Vincent Larroudé; Raphaël Chenouard; Pierre-Alain Yvars; Dominique Millet (Eng. Appl. Artif. Intell., 2013)

A usage coverage-based approach for assessing product family design. - Jiliang Wang; Bernard Yannou; Fabrice Alizon; Pierre-Alain Yvars (Eng. Comput., 2013)

Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach. - Yann Meyer; Pierre-Alain Yvars; Thierry Verdot (AIM, 2014)

Preventing design conflicts in distributed design systems composed of heterogeneous agents. - Baris Canbaz; Bernard Yannou; Pierre-Alain Yvars (Eng. Appl. Artif. Intell., 2014)

Resolving Design Conflicts and Evaluating Solidarity in Distributed Design. - Baris Canbaz; Bernard Yannou; Pierre-Alain Yvars (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Integration of Constraint Programming and Model-Based Approach for System Synthesis. - Pierre-Alain Yvars; Laurent Zimmer (SysCon, 2021)

Designing physical systems through a model-based synthesis approach. Example of a Li-ion battery for electrical vehicles. - Sephora Diampovesa; Arnaud Hubert; Pierre-Alain Yvars (Comput. Ind., 2021)

Constraint Programming for Logic controller Synthesis. - Mathieu Roisin; Pierre-Alain Yvars; Bernard Riera 001 (CoDIT, 2024)

DEPS: a model- and property-based language for system synthesis problems. - Pierre-Alain Yvars; Laurent Zimmer (Softw. Syst. Model., 2024)

A Model-Based Systems Synthesis Approach to Set and Solve a Deployment Problem of Software Functions on a Heterogeneous Embedded Hardware Architecture. - Stephen Creff; Pierre-Alain Yvars; Laurent Zimmer; Jérôme Le Noir; Sébastien Madelénat (IEEE Trans. Syst. Man Cybern. Syst., 2025)