Dependable Computing – EDCC 2022 Workshops

Dependable Computing – EDCC 2022 Workshops PDF Author: Stefano Marrone
Publisher: Springer Nature
ISBN: 3031162455
Category : Computers
Languages : en
Pages : 161

Get Book Here

Book Description
This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: ​13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022. The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Dependable Computing – EDCC 2022 Workshops

Dependable Computing – EDCC 2022 Workshops PDF Author: Stefano Marrone
Publisher: Springer Nature
ISBN: 3031162455
Category : Computers
Languages : en
Pages : 161

Get Book Here

Book Description
This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: ​13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022. The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Dependable Computing – EDCC 2024 Workshops

Dependable Computing – EDCC 2024 Workshops PDF Author: Behrooz Sangchoolie
Publisher: Springer Nature
ISBN: 3031567765
Category :
Languages : en
Pages : 140

Get Book Here

Book Description


Dependable Computing - EDCC 2022 Workshops

Dependable Computing - EDCC 2022 Workshops PDF Author: Stefano Marrone
Publisher:
ISBN: 9783031162466
Category :
Languages : en
Pages : 0

Get Book Here

Book Description
This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022. The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops PDF Author: Jérémie Guiochet
Publisher: Springer Nature
ISBN: 3031409531
Category : Computers
Languages : en
Pages : 448

Get Book Here

Book Description
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) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

International Congress and Workshop on Industrial AI and eMaintenance 2023

International Congress and Workshop on Industrial AI and eMaintenance 2023 PDF Author: Uday Kumar
Publisher: Springer Nature
ISBN: 3031396197
Category : Technology & Engineering
Languages : en
Pages : 780

Get Book Here

Book Description
This proceedings brings together the papers presented at the International Congress and Workshop on Industrial AI and eMaintenance 2023 (IAI2023). The conference integrates the themes and topics of three conferences: Industrial AI & eMaintenance, Condition Monitoring and Diagnostic Engineering Management (COMADEM) and, Advances in Reliability, Maintainability and Supportability (ARMS) on a single platform. This proceedings serves both academy and industry in providing an excellent platform for collaboration by providing a forum for exchange of ideas and networking. The 21st century has seen remarkable progress in Artificial Intelligence, with application to a variety of fields (computer vision, automatic translation, sentiment analysis in social networks, robotics, etc.) The IAI2023 focuses on Industrial Artificial Intelligence, or IAI. The emergence of industrial AI applications holds tremendous promises in terms of achieving excellence and cost-effectiveness in the operation and maintenance of industrial assets. Opportunities in Industrial AI exist in many industries such as aerospace, railways, mining, construction, process industry, etc. Its development is powered by several trends: the Internet of Things (IoT); the increasing convergence between OT (operational technologies) and IT (information technologies); last but not least, the unabated fast-paced developments of advanced analytics. However, numerous technical and organizational challenges to the widespread development of industrial AI still exist. The IAI2023 conference and its proceedings foster fruitful discussions between AI creators and industrial practitioners.

Handbook on Artificial Intelligence and Transport

Handbook on Artificial Intelligence and Transport PDF Author: Hussein Dia
Publisher: Edward Elgar Publishing
ISBN: 1803929545
Category : Computers
Languages : en
Pages : 649

Get Book Here

Book Description
With AI advancements eliciting imminent changes to our transport systems, this enlightening Handbook presents essential research on this evolution of the transportation sector. It focuses on not only urban planning, but relevant themes in law and ethics to form a unified resource on the practicality of AI use.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification PDF Author: Birgit Milius
Publisher: Springer Nature
ISBN: 3031433661
Category : Computers
Languages : en
Pages : 237

Get Book Here

Book Description
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Applied Cryptography and Network Security Workshops

Applied Cryptography and Network Security Workshops PDF Author: Martin Andreoni
Publisher: Springer Nature
ISBN: 3031614860
Category :
Languages : en
Pages : 413

Get Book Here

Book Description


Software Architecture. ECSA 2022 Tracks and Workshops

Software Architecture. ECSA 2022 Tracks and Workshops PDF Author: Thais Batista
Publisher: Springer Nature
ISBN: 3031368894
Category : Computers
Languages : en
Pages : 492

Get Book Here

Book Description
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops PDF Author: Andrea Ceccarelli
Publisher: Springer Nature
ISBN: 3031687388
Category :
Languages : en
Pages : 474

Get Book Here

Book Description