Stephen Creff
25
Documents
Publications
Publications
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
Communication dans un congrès
hal-05458680
v1
|
|
A simulation tool for leak detection of gas pipelineNAFEMS Eastern Europe Conference 2026, Apr 2026, Budapast, Hungary
Communication dans un congrès
hal-05428799
v1
|
|
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
Communication dans un congrès
hal-05370310
v1
|
|
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, Pyeong Chang, South Korea
Communication dans un congrès
hal-05305081
v1
|
|
|
|
The Engineering of AI Evaluation and Scoring: Overview and Insights2025 IEEE International Systems Conference (SysCon), Apr 2025, Montreal, Canada
Communication dans un congrès
hal-04977577
v1
|
A Conceptual Framework for Uncertainty Management in Industrial Digital Twins to Enhance Reliability, Robustness and ResilienceDigiTwin 2025, Oct 2025, Garmisch-Partenkirchen, Germany
Communication dans un congrès
hal-05322554
v1
|
|
|
|
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
Communication dans un congrès
hal-05030062
v1
|
|
|
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
Communication dans un congrès
hal-05305062
v1
|
|
|
Assurance Cases to face the complexity of ML-based systems verificationEmbedded Real Time System Congress, ERTS'24, Jun 2024, Toulouse, France
Communication dans un congrès
hal-04588599
v2
|
|
|
Advancing Industrial Digital Twins: Towards An Open Platform Aligned with Standards21st International Conference on Product Lifecycle Management, Jul 2024, Bangkok, Thailand
Communication dans un congrès
hal-04612160
v1
|
|
|
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⟩
Communication dans un congrès
hal-03776835
v1
|
|
|
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⟩
Communication dans un congrès
hal-02949745
v1
|
|
|
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
Communication dans un congrès
hal-02201469
v1
|
|
|
Towards Semantic-Aware Collaborations in Systems Engineering24th Asia-Pacific Software Engineering Conference (APSEC), Dec 2017, Nanjing, China
Communication dans un congrès
hal-01674924
v1
|
|
|
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product LinesMODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès
hal-00914377
v1
|
Model-Based Product Line Evolution: an Incremental Growing by Extension16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
Communication dans un congrès
hal-00738772
v1
|
|
Une organisation des Lignes de Produits Logiciels autour d'un motif architecturalCAL 2012, May 2012, Montpellier, France
Communication dans un congrès
hal-00704312
v1
|
|
Relationships in Variability Modeling Approaches: A Survey and Classification5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
Communication dans un congrès
hal-00771748
v1
|
|
Relationships Formalization for Model-Based Product LinesAPSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
Communication dans un congrès
hal-00773497
v1
|
|
Multiple Feature Models & Relationships in a Model-Based Product Line ProcessLignes de produits, Oct 2011, Paris, France
Communication dans un congrès
hal-00676780
v1
|
|
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
Communication dans un congrès
hal-00517222
v1
|
|
|
|
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⟩
Communication dans un congrès
hal-00470523
v1
|
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⟩
Article dans une revue
hal-05057537
v1
|
|
|
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
Poster de conférence
hal-04790584
v1
|
|
|
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⟩
Thèse
tel-00926119
v2
|
Chargement...
Chargement...