Table of Contents

• Merging FMEA and Digital Twins to Improve TrustfulnessFabrizio Baiardi. 1-7 [doi]
• Reliability Assessment of Large Oil Tanks Considering Variable CorrelationZhihao Song, Xintian Liu, Genhua Yang. 8-12 [doi]
• Financial Reduction of Aircraft Maintenance Plan Under Safety and Maintenance ConstraintsBrunno Campos Martins Barbosa, Luiz Guilherme Borges Silva, Guilherme Conceição Rocha. 13-17 [doi]
• System-Theoretic Process Analysis Applied for Verification Processes During Launch OperationsAntonio Vinicius Diniz Merladet, Carlos Henrique Netto Lahoz, Chiara Manfletti, Diogo Silva Castilho, Rodrigo De Melo Silveira. 18-22 [doi]
• A Novel Spatial Sampling Strategy Combining the Kriging Model and Maximin Design for Structural Reliability AnalysisYiling Gao, Xinxing Wu, Yansen Deng, Jingkui Li. 23-28 [doi]
• How "Protection System" Reliability Differs from "System" Reliability and Why It's ImportantMartin A. Wortman, Ernie Kee, Pranav Kannan. 29-35 [doi]
• Temperature Compensation in Vibration-Based Structural Health Monitoring Using Neural Network RegressionSoroosh Kamali, Alessandro Marzani, Luca Sciullo, Marco Di Felice, Giuseppe Augugliaro, Canio Mennuti. 36-42 [doi]
• Quantum Imprecise Bayesian Networks (QIBN) for Modelling Socio-Ecological-Technical Systems under UncertaintyUmberto Alibrandi, Enrico Zio, Khalid M. Mosalam. 43-52 [doi]
• PNP-Lightweight Model for Predicting Remaining Useful Life of Lithium-Ion Battery to Applying Embedded SystemsGwi-Man Bak, Eun-Seo Lee, Youngchul Bae. 53-60 [doi]
• A New Temperature and Luminance Combined Degradation Model to Estimate the Lifetime of OLEDJun-Tae Lee, Yo-Min Choi, Sang-Dae Kim. 61-66 [doi]
• A General Data-Driven Framework for Remaining Useful Life Estimation with Uncertainty Quantification Using Split Conformal PredictionWeijun Xu, Enrico Zio. 67-74 [doi]
• Remaining Useful Life Prediction of Turbofans with Virtual Health Indicator: A Comparison of Particle Filter-Based ApproachesEtienne Jules, Francesco Cancelliere, Cécile Mattrand, Jean-Marc Bourinet. 75-82 [doi]
• Wear Life Prediction of Spur Gear Transmission System Considering Roughness InfluenceXiaowen Shi, Xintian Liu. 83-87 [doi]
• Reliability Rereasch of a MEMS Flow Sensor with Accelerated Degradation TestingQiaoqiao Kang, Yuzhe Lin, Jifang Tao. 88-93 [doi]
• Enhancing Data Quality in Industry: A New Approach to Automatic Outlier CleaningMinh Hung Ho, Adrien Cambier, Julie C. Prinet. 94-102 [doi]
• Optimization Method for an Improved Training of Physics Informed Neural NetworksMarzia Sepe, Enrico Zio, Piero Baraldi. 103-109 [doi]
• Belief Reliability Evaluation Method Based on Similar Product InformationTianpei Zu, Ze Wang, Yi Jin 0004, Rui Kang. 110-115 [doi]
• An Industry-Based Survey on Development and Integration of Safety Element out of ContextAbdellatif Nouri, Jens Warmuth. 116-123 [doi]
• Anomaly Detection in a Micro-CHP Using Convolutional Autoencoders and Fine Tuning for Domain AdaptationPiero Danti, Alessandro Innocenti. 124-131 [doi]
• Performance Consistency Metric Considering Two-Dimensional Performance Characterization for IGBTsYubing Chen, Meilin Wen, Qingyuan Zhang, Dong Zhang, Rui Kang. 132-136 [doi]
• Modelling and Analysis of the Scheduled Maintenance for the Test Cell of the IFMIF DONES FacilityMohammad Hisham Ismail, Manuel Chiachío, Juan Chiachío, Fernando Arranz. 137-143 [doi]
• Importance Analysis Method Application for Feature Selection in a ClassificationElena Zaitseva, Vitaly G. Levashenko, Sergey A. Stankevich, Anargul Bekenova. 144-148 [doi]
• Improved Sensor Error Definitions for Reliability Analysis of Multi-Sensor SystemsMinhao Qiu, Peter Bazan, Tobias Antesberger, Reinhard German. 149-158 [doi]
• Quantifying Reliability in a Complex Safety-Critical System: A Copula and Distorted Distribution ApproachT. V. Rao, Sameen Naqvi. 159-163 [doi]
• Herds of Dumb Models: Deriving Assured Classification From Unbiased Weak ModelsNicholas McGuire, Imanol Allende, Markus Kreidl. 164-170 [doi]
• A New Active Learning Kriging Method for Structural Reliability Based on the Error Analysis of the Predicted Failure ProbabilityYu Shujun, Wenliang Fan, Zhisong Wang. 171-175 [doi]
• Cascades-Risk Informed Transmission Expansion Planning by Behavioural CloningAnna Varbella, Blazhe Gjorgiev, Giovanni Sansavini, Enrico Zio. 176-180 [doi]
• Verifiable Certificateless Signcryption Scheme for Smart GridsMohammed Ramadan, Ghada Elbez, Veit Hagenmeyer. 181-189 [doi]
• Performance of Distance Protection of a 132 kV Transmission Line in a Mountainous AreaMohammed Kashoob, Haitham Al-Habsi, Mohammed Al-Mahri, Salim Al-Zubaidi. 190-194 [doi]
• Safety 4.0: Model-Based Approach Toward Perpetual Flight with an Autonomous, Solar-Powered AircraftSamuel García Lorente, Daniel Ampudia Alonso, Travis K. Vetter. 195-205 [doi]
• Critical Events Forecasting in Power Grids Operating Close to MarginHamid Mirshekali, Hamid Reza Shaker, Athila Q. Santos. 206-212 [doi]
• Railway Infrastructure Resilience Analysis in Case of Flooding: Case Study in ItalyRiccardo Rosi, Fabio Borghetti, Michela Longo, Claudio Somaschini, Andrea Fiduccia, Mario Tartaglia. 213-220 [doi]
• Ensemble Reinforcement Learning in Collision Avoidance to Enhance Decision-Making ReliabilityRaphael Teitgen, Bruno Monsuez, Romain Kukla, Romain Pasquier, Gilles Foinet. 221-228 [doi]
• Road Safety: A Similarity Analysis of the GIDAS Data and the Overall Incidence of Car-to-Car Accidents on German RoadsJan Enno Maschke, Roman Putter, Stefan Schoenawa, Thorsten Gaas, André Leschke, Roland Lachmayer. 229-236 [doi]
• Refining SUMO Simulation Strategies for Realistic Traffic Patterns: Insights from Field ExperienceJean Tshibangu Muabila, Sebti Mouelhi, Patrick Leserf, Amar Ramdane-Cherif. 237-246 [doi]
• Data Management as a Service in Railway CommunicationsIvaylo Atanasov, Vasil Vatakov, Evelina Pencheva. 247-252 [doi]
• Construction and Application of Double Prevention Mechanism for Highway Operation SafetyLi Ran, Xiao Dian-Liang, Li Kai-Lun, Wu Shun-Yuan, Gao Kun, Chi Meng. 253-258 [doi]
• A Prognostic Approach to Improve System Reliability for Aircraft SystemShuai Fu, Nicolas P. Avdelidis, Ian K. Jennions. 259-264 [doi]
• A Conceptual Spacecraft Operational Survivability Estimation Based on Pre-Launch Test and EvaluationStephen K. Tullino, Andrew S. Keys, Robert A. Bettinger, Amy M. Cox, David R. Jacques. 265-271 [doi]
• Research on Reliability Evaluation of Emergency System for Operation of Long-Distance Tunnel Sections on FreewaysKailun Li, Dianliang Xiao, Ran Li. 272-276 [doi]
• Machine Learning Model for Predicting Failures in the Context of Autonomous VehiclesAbderrahim Krini, Aymen Ouertani, Josef Börcsök. 277-281 [doi]
• Targeted Symbolic Execution for UAF VulnerabilitiesZhen Huang. 282-289 [doi]
• Runtime Safety Assurance of Autonomous VehiclesA. Forrai, V. Neelgundmath, K. K. Unni, I. Barosan. 290-299 [doi]
• Drone Fleet Reliability Analysis Based on Uncertain Data Using Binary Decision DiagramElena Zaitseva, Vitaly G. Levashenko, Anna A. Kozlova, Zhanargul Abuova. 300-305 [doi]
• Timing Behavior Characterization of Critical Real-Time Systems through Hybrid Timing AnalysisSalvatore Barone, Valentina Casola, Salvatore Della Torca, Daniele Lombardi. 306-311 [doi]
• Controller Placement with Respect to Controller ReachabilityRan Xu, Fenghua Wang, Robert E. Kooij. 312-321 [doi]
• Evolutionary Behavior Tree Generation for Dynamic Scenario Creation in Testing of Automated Driving SystemsBarbara Schütt, Meng Zhang, Christian Steinhauser, Eric Sax. 322-330 [doi]
• Reliability, Availability, Maintainability and Inspectability (RAMI) Analysis Supporting the Design of ITER Ancillary Systems for Tritium BreedingLorenzo Zambelli, Stefano La Rovere, Giovanni Tenaglia, Carlos Ortiz Ferrer. 331-337 [doi]
• Optimal Component Maintenance Scheduling Based on Non-Parametric Piecewise Hazard Rate FunctionCamilo Herrera-Arcila, Ronald M. Martinod, Olivier Bistorin. 338-344 [doi]
• Energy-Efficient Scheduling of Flexible Manufacturing Systems Based on Petri NetMei Chen, Enrico Zio. 345-349 [doi]
• Thermal Risk Assessment with Mixed Uncertainty Propagation in $\gamma\text{-valerolactone}$ ProductionLujie Shi, Jose Delgado, Younes Aoues, Sébastien Leveneur. 350-354 [doi]
• Adopting the Specific Operations Risk Assessment Methodology for Drone Inspections at Industrial SitesElena Stefana, Giulio Di Gravio, Riccardo Patriarca. 355-361 [doi]
• Post-Processing Algorithm for Workplace Safety Risk Monitoring System Based on Deep-Learning ModelsGe Jin, Wenrui Yan, Chen Ma, Lei Guan. 362-370 [doi]
• From Signals to Insights: Uncovering Latent Degradation with Deep Learning as a Stepping Stone Towards Digital Twins of Failures (DTFs)Marko Orosnjak, Mitar Jocanovic, Marko Pencic, Dragana Oros. 371-375 [doi]
• Two formal methodologies of Model-Based Safety Assessment for Fault Tree AnalysisIsabella Lanzani, Riccardo Scattolini, Enrico Zio, Alessandro Cimatti, Marco Bozzano, Stefano Tonetta. 376-383 [doi]
• Permutation Entropy and Ordinal Patterns as a Resilience IndicatorOrlando Durán, Luca Fumagalli, Adolfo Arata. 384-388 [doi]
• Physics-Based Machine Learning Hydraulic Piston Pump Performance Degradation and PrognosticsYadong Zhang, Shaoping Wang, Chao Zhang 0027, Rentong Chen. 389-394 [doi]
• Predicting Endurance Limit in the Probabilistic Fatigue Design of Mechanical ComponentsWeihao Su, Xintian Liu, Shen Xu. 395-399 [doi]
• Cross-Load Generalization of Bearing Fault Recognition with Decision TreesGiovanni Briglia, Fabio Immovilli, Marco Cocconcelli, Marco Lippi 0001. 400-406 [doi]
• An Intelligent Dynamic Fault Diagnostic Model for Rotating MachineryNeda Gorjian Jolfaei, Leon van der Linden, Bo Jin, Nima Gorjian, Raufdeen Rameezdeen, Maryam Pourmajidian, Christopher W. K. Chow. 407-412 [doi]
• A Simulation-Based Approach to Assess Condition Monitoring-Enabled Maintenance in ManufacturingMehdi Dadfarnia, Michael Sharp, Serghei Drozdov, Jeffrey W. Herrmann. 413-422 [doi]
• Detection of Anomalous Behaviour of Aircraft Engines for Predictive MaintenanceSudipta Das, Debasis Sengupta, Rameshkumar Chandrasekharan, Srirup Mitra. 423-427 [doi]
• Knowledge-Based AI Model for the Detection of Pinion WearWiebke Zenn, Julia Butz, Jonathan Millitzer. 428-433 [doi]
• Investigating Lipschitz Constants in Neural Ensemble Models to Improve Adversarial RobustnessMinal Suresh Patil, Kary Främling. 434-438 [doi]
• Squashing Resource Exhaustion Bugs with Black-Box Fuzzing and Reinforcement LearningLeon Fernandez, Gunnar Karlsson. 439-448 [doi]
• Learning Temporal Truth Tables of Dynamic Fault Trees from Time Series Data on FaultsParisa Niloofar, Sanja Lazarova-Molnar. 449-453 [doi]
• Using Sensitivity Analysis and Search-Based Testing in the Verification of a Computer Vision FunctionChristoph Gladisch, Christian Heinzemann. 454-463 [doi]
• Fault Tree Analysis and Failure Modes and Effects Analysis for Systems with Artificial Intelligence: A Mapping StudyJabier Martinez, Alexander Eguia, Imanol Urretavizcaya, Estibaliz Amparan, Pablo López Negro. 464-473 [doi]
• Integrity Assessment of Maritime Object Detection Impacted by Partial Camera ObstructionFelipe A. Costa de Oliveira, Borja Carrillo-Perez, Alberto García Ortiz, Frank Sill Torres. 474-480 [doi]
• A Novel Method for Computing Minimal Cut Sets of Variant-Rich Systems in Fault Tree AnalysisMahdi Dibaei, Anna Arestova, Kai-Steffen Hielscher, Reinhard German. 481-487 [doi]
• Deadlock- and Starvation-free Formally Verified Client Library for RobotsYuuki Takano. 488-497 [doi]
• A Practical Approach for Reliability Prediction of Safety Critical Software Using Multi-Model Ensemble TechniquesAymen Ouertani, Ossmane Krini, Josef Börcsök. 498-506 [doi]
• Enhancing LoRa Communication: A Comprehensive Review of Improvement TechniquesAndres Felipe Robayo Lara, Edward Paul Guillén, Wilson Mauro Rojas Reales, Leonardo Juan Ramírez López. 507-512 [doi]
• Semi-supervised Learning for Source Code Function Classification Using Hierarchical Density-Based ClusteringZhi Sun, Ye Han, Da He, Bingwen Wang, Ling Zhang, Deming Mao. 513-517 [doi]
• ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical SystemsEun-Young Kang 0001. 518-522 [doi]
• High-Mobility 5G Communication Service: Availability and Reliability AnalysisRui Li, Bertr Decocq, Anne Barros, Yi-Ping Fang, Zhiguo Zeng. 523-528 [doi]
• Creation of Testing Processes for a Verification of Safety Relevant Vehicle SystemsHassan Noun, Christian Urban-Seelmann, Mohamed Abdelfattah, Guillaume Zeller, Roland Lachmayer. 529-533 [doi]
• Development of Automated Derating Tool for Robust DesignZhifeng Zhu, Biman Ghosh. 534-538 [doi]
• A Resilience Assessment Method for Equipment System-of-Systems (ESoS) Based on Network PercolationRenjie Xu, Jiahao Liu, Jiuyao Jiang, Jichao Li, Ke-Wei Yang 0001. 539-546 [doi]
• Functional Safety and Cybersecurity Improvement Areas in Automotive: An Empirical StudyGiuseppe Lami, Francesco Merola. 547-557 [doi]
• Study on the Application of Graph Theory Algorithms and Attack Graphs in Cybersecurity AssessmentJinghan Zhang, Wei Wang, Enrico Zio. 558-564 [doi]
• A Proposed MIMO Antenna Design for Ultra-Wideband THz ApplicationsAmin Al Ka'bi. 565-569 [doi]
• AIC Approach for Intelligent Systems Requirements ElicitationHaider Al-Shareefy, Michael J. Butler, Thai Son Hoang. 570-579 [doi]
• The Information Propagation Method for Efficient Network Reliability AnalysisTemitope Ohiani, Edoardo Patelli. 580-584 [doi]
• Resource-Efficient Network for Intelligent Fault Diagnosis Using Tree-Structured Parzen EstimatorJingkang Liang, Zhuyun Chen, Junbin Chen, Jipu Li, Ruyi Huang, Weihua Li 0004. 585-589 [doi]
• Run Time Memory Error Recovery Process in Networking SystemCarlo Vitucci, Daniel Sundmark, Jakob Danielsson, Marcus Jägemar, Alf Larsson, Thomas Nolte. 590-597 [doi]
• New Methods of an Assessment of the Integrated Performance IndicatorPawel Marcin Kozyra. 598-607 [doi]