Elena Troubitsyna – författare
Visar alla böcker från författaren Elena Troubitsyna. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Dependability and Computer Engineering
Concepts for Software-Intensive Systems
Inbunden, Engelska, 2011
2 504 kr
Skickas inom 5-8 vardagar
Del 11699 - Lecture Notes in Computer Science
Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
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-Intensive SystemsDECSoS 2019:14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019:8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical SystemsSTRIVE 2019:Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEmsWAISE 2019:Second International Workshop on Artificial Intelligence Safety Engineering
Del 11698 - Lecture Notes in Computer Science
Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Häftad, Engelska, 2019
642 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions.
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Häftad, Engelska, 2020
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.
Del 15955 - Lecture Notes in Computer Science
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings
Häftad, Engelska, 2025
789 kr
Skickas inom 7-10 vardagar
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.
Del 9823 - Lecture Notes in Computer Science
Software Engineering for Resilient Systems
8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Häftad, Engelska, 2016
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. resilience and dependability (resilience vs.
554 kr
Skickas inom 10-15 vardagar
Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.
554 kr
Skickas inom 10-15 vardagar
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: – Veri?cation and re?nement of fault-tolerant systems – Integrated approaches to developing fault-tolerant systems – Formal foundations for error detection, error recovery, exception and fault handling – Abstractions, styles and patterns for rigorousdevelopment of fault tolerance – Fault-tolerant software architectures – Development and application of tools supporting rigorous design of depe- able systems – Integrated platforms for developing dependable systems – Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with theIntegrated Formal Methods 2007 Conference at Oxford University.