Pierre-Alain Yvars

18 papers B 1C 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Model-Based Systems Synthesis Approach to Set and Solve a Deployment Problem of Software Functions on a Heterogeneous Embedded Hardware Architecture.
IEEE Trans. Syst. Man Cybern. Syst.
Stephen Creff, Pierre-Alain Yvars, Laurent Zimmer, Jérôme Le Noir, Sébastien Madelénat
2025 — conf
From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3).
ICINCO (1)
Mathieu Roisin, Dimitri Renard, David Annebicque, Bernard Riera, Pierre-Alain Yvars
2024 C conf
Constraint Programming for Logic controller Synthesis.
CoDIT
Mathieu Roisin, Pierre-Alain Yvars, Bernard Riera
2024 J jnl
DEPS: a model- and property-based language for system synthesis problems.
Softw. Syst. Model.
Pierre-Alain Yvars, Laurent Zimmer
2021 J jnl
Designing physical systems through a model-based synthesis approach. Example of a Li-ion battery for electrical vehicles.
Comput. Ind.
Sephora Diampovesa, Arnaud Hubert, Pierre-Alain Yvars
2021 — conf
Integration of Constraint Programming and Model-Based Approach for System Synthesis.
SysCon
Pierre-Alain Yvars, Laurent Zimmer
2014 J jnl
Preventing design conflicts in distributed design systems composed of heterogeneous agents.
Eng. Appl. Artif. Intell.
Baris Canbaz, Bernard Yannou, Pierre-Alain Yvars
2014 J jnl
Resolving Design Conflicts and Evaluating Solidarity in Distributed Design.
IEEE Trans. Syst. Man Cybern. Syst.
Baris Canbaz, Bernard Yannou, Pierre-Alain Yvars
2014 — conf
Systemic optimization of an active vibration micro-isolator: An interval computation and constraint propagation based approach.
AIM
Yann Meyer, Pierre-Alain Yvars, Thierry Verdot
2013 J jnl
A usage coverage-based approach for assessing product family design.
Eng. Comput.
Jiliang Wang, Bernard Yannou, Fabrice Alizon, Pierre-Alain Yvars
2013 J jnl
Constraint based approach for the steady-state simulation of complex systems: Application to ship control.
Eng. Appl. Artif. Intell.
Vincent Larroudé, Raphaël Chenouard, Pierre-Alain Yvars, Dominique Millet
2012 — conf
A constraint programming approach for generating firing sequences in timed Petri nets with token identification.
WODES
Yongliang Huang, Thomas Bourdeaud'huy, Pierre-Alain Yvars, Armand Toguyéni
2010 J jnl
A Constraint-Based Approach to the Composition Relation Management of a Product Class in Design.
J. Comput. Inf. Sci. Eng.
Pierre-Alain Yvars
2009 J jnl
A CSP approach for the network of product lifecycle constraints consistency in a collaborative design context.
Eng. Appl. Artif. Intell.
Pierre-Alain Yvars
1999 — conf
A Priori Verification of Product Models in Mechanical Design.
EUROVAV
Florence Sellini, Pierre-Alain Yvars
1999 B conf
Veri-KoMoD: Verification of Knowledge Models in the Mechanical Design Field.
EKAW
Florence Sellini, Pierre-Alain Yvars
1998 J jnl
Modèles objet & représentation déclarative du produit en conception mécanique.
Obj. Logiciel Base données Réseaux
Florence Sellini, Pierre-Alain Yvars
1997 — conf
Considerations About Validation of Knowledge Models in KBE Systems.
EUROVAV
Florence Sellini, Catalina Vargas, Pierre-Alain Yvars