Stephen Creff
Publications
Publications
|
|
Towards Cyber-by-Design Security for Digital Twins: Implementing Zero Trust Architecture28th IEEE International Conference on Advanced Communications Technology (ICACT), Global IT Research Institute (GiRI), Feb 2026, Pyeongchang, Gangwon-do, South Korea |
Sensor placement optimization for leak detection in a gas system installationWorld Congress on Computational Mechanics & 10th European Congress on Computational Methods in Applied Sciences and Engineering, Jul 2026, Munich, Germany |
|
A simulation tool for leak detection of gas pipelineNAFEMS Eastern Europe Conference 2026, Apr 2026, Budapast, Hungary |
|
A digital twin approach for diagnosing leaks in gas system installations using synthetic data and a simplified physical leakage modelEuropean Workshop on SHM – EWSHM 2026, Jul 2026, Toulouse, France |
|
|
|
The Engineering of AI Evaluation and Scoring: Overview and Insights2025 IEEE International Systems Conference (SysCon), Apr 2025, Montreal, Canada |
|
|
Simulation Verification and Validation in the Light of Systems, Software, and AI EngineeringAnnual Congress of Japan Society of Automotive Engineers (JSAE), May 2025, Yokohama, Japan |
A Conceptual Framework for Uncertainty Management in Industrial Digital Twins to Enhance Reliability, Robustness and ResilienceDigiTwin 2025, Oct 2025, Garmisch-Partenkirchen, Germany |
|
|
|
A Digital Twin-Based Approach with a System-Agnostic Integration Method to Enable Intelligence Capabilities and What-If Scenario Orchestration11th IEEE International Conference on Collaboration and Internet Computing, Nov 2025, Pittsburg, United States |
|
|
Assurance Cases to face the complexity of ML-based systems verificationEmbedded Real Time System Congress, ERTS'24, Jun 2024, Toulouse, France |
|
|
Advancing Industrial Digital Twins: Towards An Open Platform Aligned with Standards21st International Conference on Product Lifecycle Management, Jul 2024, Bangkok, Thailand |
|
|
Characterizing behavioral modeling in Systems and Safety Model-Based Engineerings and their overlap for consistency checking32nd European Safety and Reliability Conference (ESREL 2022), Aug 2022, Dublin, Ireland. pp.265-272, ⟨10.3850/978-981-18-5183-4_R08-02-385-cd⟩ |
|
|
Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems EngineeringProceedings of the 24th ACM International Systems and Software Product Line Conference (SPLC ’20), Oct 2020, Montreal, Canada. ⟨10.1145/3382025.3414963⟩ |
|
|
ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques23RD IEEE INTERNATIONAL EDOC CONFERENCE - THE ENTERPRISE COMPUTING CONFERENCE, Oct 2019, Paris, France |
|
|
Towards Semantic-Aware Collaborations in Systems Engineering24th Asia-Pacific Software Engineering Conference (APSEC), Dec 2017, Nanjing, China |
|
|
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product LinesMODELS 2013, Sep 2013, Miami, United States |
Model-Based Product Line Evolution: an Incremental Growing by Extension16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114 |
|
Une organisation des Lignes de Produits Logiciels autour d'un motif architecturalCAL 2012, May 2012, Montpellier, France |
|
Relationships in Variability Modeling Approaches: A Survey and Classification5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France |
|
Relationships Formalization for Model-Based Product LinesAPSEC 2012, Dec 2012, Hong Kong SAR China. pp.187 |
|
Multiple Feature Models & Relationships in a Model-Based Product Line ProcessLignes de produits, Oct 2011, Paris, France |
|
Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésConférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne |
|
|
|
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationModel Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩ |
XRTwin4Industry: Empowering Industrial Digital Twins with XR and Instruction System - A Framework for Standardization and InteroperabilityFuture Generation Computer Systems, In press, pp.108476. ⟨10.1016/j.future.2026.108476⟩ |
|
A Model-Based Systems Synthesis approach to set and solve a deployment problem of software functions on a heterogeneous embedded hardware architectureIEEE Transactions on Systems, Man, and Cybernetics: Systems, In press, ⟨10.1109/TSMC.2025.3564655⟩ |
|
|
JNI5 – Digital Twins for Assessing, Managing, and Improving the R3 of Critical SystemsInternational Forum on Digital Twin Design & Operations (DTD&O), Nov 2024, Paris, France |
|
|
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produitsAutre [cs.OH]. Université de Rennes, 2013. Français. ⟨NNT : 2013REN1S142⟩ |