This book constitutes the proceedings of the Workshops held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, which took place in Stockholm, Sweden, during September 2025.The 43 papers included in this book were carefully reviewed and selected from a total of 61 submissions to the following six workshops:**·**CoC3CPS 2025, Co-Design of Communication, Computing and Control in Cyber-Physical Systems

This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024.The 36 papers included in this book were carefully reviewed and selected from a total of 64 submissions to the following workshops:DECSoS 2024 – 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems...

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021.The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are:DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and...

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020.The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are:DECSoS 2020:15th Workshop on Dependable Smart Embedded and Cyber-Physical System...

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.· 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)· 3rd International Workshop on Dependable Development-Operation Continuum Methods...

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions.- 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)-...

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's workshops are: ASSURE 2018 – Assurance Cases for Software-Intensive Systems; DECSoS 2...

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMI...

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland.The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019:7th International Workshop on Assurance Cases for Software-Inte...

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analys...

This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's workshops are: ASSURE 2017 – Assurance Cases for Soft...

This book contains a collection of innovative chapters emanating from topics raised during the 5th KES International Conference on Intelligent Decision Technologies (IDT), held during 2013 at Sesimbra, Portugal. The authors were invited to expand their original papers into a plethora of innovative chapters espousing IDT methodologies and applications. This book documents leading-edge contributions, representing advances in Knowledge-Based and Intelligent Information and Engineering System....