Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer

Application of Assumption Modes and Effects Analysis to XMECA.- Improving Effectiveness of the Risk Management Methodology in the Revitalization Domain.- Automated Music Generation Using Recurrent Neural Networks.- Non-exhaustive verification in Integrated Model of Distributed Systems (IMDS) using Vagabond algorithm.- Automatic multi-class classification of Polish complaint reports about municipal waste management.- Migration of Unit Tests of C# Programs.- Synchronization and scheduling of tasks in fault-tolerant computer systems with graceful degradation.- Comparison of selected algorithms of traffic modelling and prediction in Smart City - Rzesz闚.- Dependability Analysis using Temporal Fault Trees and Monte Carlo Simulation.- Hybrid parallel programming in high performance computing cluster.