Suivre
Stephanie Roussel
Stephanie Roussel
Adresse e-mail validée de onera.fr
Titre
Citée par
Citée par
Année
Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem
T Soh, D Le Berre, S Roussel, M Banbara, N Tamura
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
312014
Towards thinking manufacturing and design together: An aeronautical case study
T Polacsek, S Roussel, F Bouissiere, C Cuiller, PE Dereux, S Kersuzan
Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain …, 2017
212017
Planning personalised museum visits
D Le Berre, P Marquis, S Roussel
Proceedings of the International Conference on Automated Planning and …, 2013
202013
Autonomous agents and multiagent systems challenges in earth observation satellite constellations
G Picard, C Caron, JL Farges, J Guerra, C Pralet, S Roussel
International Conference on Autonomous Agents and Multiagent Systems (AAMAS …, 2021
132021
BAS3E: A framework to conceive, design, and validate present and future SST architectures
V Morand, C Yanez, JCD Perez, C Fernandez, S Roussel, X Pucel, ...
Proceedings of the 1st NASA International Orbital Debris Conference, 10, 2019
132019
Preferential discrete model-based diagnosis for intermittent and permanent faults
V Bouziat, X Pucel, S Roussel, L Travé-Massuyès
29th International Workshop on Principles of Diagnosis (DX 2018), 8p., 2018
122018
A modal logic for reasoning on consistency and completeness of regulations
C Garion, S Roussel, L Cholvy
Dagstuhl Seminar Proceedings, 2009
102009
A scheduling tool for bridging the gap between aircraft design and aircraft manufacturing
C Pralet, S Roussel, T Polacsek, F Bouissière, C Cuiller, PE Dereux, ...
Proceedings of the International Conference on Automated Planning and …, 2018
82018
Diagnosis of intermittent faults with conditional preferences
C Pralet, X Pucel, S Roussel
Proceedings of the 27th International Workshop on Principles of Diagnosis …, 2016
82016
The aircraft and its manufacturing system: From early requirements to global design
A Chan, A Fernandes Pires, T Polacsek, S Roussel
International Conference on Advanced Information Systems Engineering, 164-179, 2022
72022
Intermittent fault diagnosis as discrete signal estimation: Trackability analysis
X Pucel, S Roussel
DX 2017, 2016
72016
A reasoning platform based on the MI Shapley inconsistency value
S Konieczny, S Roussel
European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2013
72013
Design for efficient production, a model-based approach
T Polacsek, S Roussel, C Pralet, C Cuiller
2019 13th International Conference on Research Challenges in Information …, 2019
62019
Effect of the archwire slot profile on the performance of bonded orthodontic brackets
G Lewis, S Kambhampati, S Roussel
Bio-Medical Materials and Engineering 7 (3), 205-212, 1997
61997
Assembly line preliminary design optimization for an aircraft
S Roussel, T Polacsek, A Chan
CP 2023 (The 29th International Conference on Principles and Practice of …, 2023
52023
Single state trackability of discrete event systems
V Bouziat, X Pucel, S Roussel, L Travé-Massuyès
DX'19–30th International Workshop on Principles of Diagnosis, 2019
52019
Mining to compress table constraints
S Jabbour, S Roussel, L Sais, Y Salhi
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
52015
Sat4j 2.3. 2: on the fly solver configuration
D Le Berre, S Roussel
Journal on Satisfiability, Boolean Modeling and Computation 8 (3-4), 197-202, 2012
52012
Cooperative interpersonal communication and relevant information
S Roussel, L Cholvy
ESSLLI Workshop on Logical Methods for Social Concepts, Bordeaux. Citeseer, 2009
52009
Consistency and Completeness of Regulations.
L Cholvy, S Roussel
NORMAS, 51-65, 2008
52008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20