Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance. *The conference was held virtually due to the COVID-19 pandemic. The chapter ‘Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware’ is available open access under an Open Government License 3.0 via link.springer.com.
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
Complex Systems Design & Management
This book contains all refereed papers that were accepted to the seventh edition of the international conference « Complex Systems Design & Management Paris» (CSD&M Paris 2016) which took place in Paris (France) on the December 13-14, 2016 These proceedings cover the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the main industrial domains (aeronautic & aerospace, defense & security, electronics & robotics, energy & environment, healthcare & welfare services, software & e-services, transportation), scientific & technical topics (systems fundamentals, systems architecture & engineering, systems metrics & quality, system is modeling tools) and system types (artificial ecosystems, embedded systems, software & information systems, systems of systems, transportation systems). The CSD&M Paris 2016 conference is organized under the guidance of the CESAMES non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France.
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer 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 Software-Intensive Systems; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
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 for Dependable Cyber-Physical System (DepDevOps 2022) · 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022) · 1st International Workshop on Security and Safety Interaction (SENSEI 2022) · 3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022) · 5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops
description not available right now.
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
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 Systems-of-Systems WAISE 2021: Fourth International Workshop on Artificial Intelligence Safety Engineering DepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems USDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design
