Skip to main content
  • Conference proceedings
  • © 2020

Theory and Applications of Dependable Computer Systems

Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland

  • Presents recent research in Complex Systems and Dependability
  • Gathers the Proceedings of the Fifteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), held on June 29–July 3, 2020, in Brunów, Poland
  • Discusses general aspects of the dependability of systems, networks theory and communication technology

Conference proceedings info: DepCoS-RELCOMEX 2020.

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (68 papers)

  1. Front Matter

    Pages i-xviii
  2. Sequence Mining and Property Verification for Fault-Localization in Simulink Models

    • Safa Aloui Dkhil, Mohamed Taha Bennani, Manel Tekaya, Houda Ben Attia Sethom
    Pages 1-10
  3. Handwritten Text Lines Segmentation Using Two Column Projection

    • Tomasz Babczyński, Roman Ptak
    Pages 11-20
  4. Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging

    • Adrian Banachowicz, Anna Lis-Nawara, Michał Jeleń, Łukasz Jeleń
    Pages 21-30
  5. Development of Methodology for Counteraction to Cyber-Attacks in Wireless Sensor Networks

    • Olexander Belej, Kamil Staniec, Tadeusz Więckowski, Mykhaylo Lobur, Oleh Matviykiv, Serhiy Shcherbovskykh
    Pages 41-50
  6. The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain

    • Olexander Belej, Kamil Staniec, Tadeusz Więckowski
    Pages 51-60
  7. CVE Based Classification of Vulnerable IoT Systems

    • Grzegorz J. Blinowski, Paweł Piotrowski
    Pages 82-93
  8. Influence of Component Dependency on System Reliability

    • Agnieszka Blokus, Krzysztof Kołowrocki
    Pages 105-114
  9. Tool for Metamorphic Testing

    • Ilona Bluemke, Paweł Kamiński
    Pages 115-124
  10. Dependability of Web Sites

    • Dariusz Caban
    Pages 125-132
  11. Dependability Analysis of Systems Based on the Microservice Architecture

    • Dariusz Caban, Tomasz Walkowiak
    Pages 133-142
  12. Using Domain Specific Languages and Domain Ontology in Workflow Design in Syndatis BPM4 Environment

    • Wiktor B. Daszczuk, Henryk Rybiński, Piotr Wilkin
    Pages 143-154
  13. Hydro-Meteorological Change Process Impact on Oil Spill Domain Movement at Sea

    • Ewa Dąbrowska, Krzysztof Kołowrocki
    Pages 165-175
  14. Subjective Quality Evaluation of Underground BPL-PLC Voice Communication System

    • Grzegorz Debita, Przemyslaw Falkowski-Gilski, Marcin Habrych, Bogdan Miedzinski, Bartosz Polnik, Jan Wandzio et al.
    Pages 176-186
  15. Evaluation and Improvement of Web Application Quality – A Case Study

    • Anna Derezińska, Krzysztof Kwaśnik
    Pages 187-196

Other Volumes

  1. Theory and Applications of Dependable Computer Systems

About this book

This book presents selected papers from the Fifteenth International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), which illustrate the diversity of theoretical problems in analysis of performability, reliability and security of contemporary computer systems. Covering also methodologies and practical tools involved in this field, it is a valuable reference resource for scientists, researchers, practitioners and students who are dealing with these subjects.


Established in 2006, DepCoS-RELCOMEX is an annual conference series organised by Wrocław University of Science and Technology. It focuses on the dependability and performability of contemporary computer systems – topics that can provide solutions to new challenges in evaluation of their reliability and efficiency. Since they are probably the most complex technical systems ever engineered by humans, the organization of modern computer systems cannot be modelled and analysed solelyas structures (however complex and distributed) built only on the basis of technical resources. Instead they should be considered as a unique blend of interacting people (their needs and behaviours), networks (together with mobile properties, iCloud organisation, Internet of Everything) and a large number of users dispersed geographically and producing an unimaginable number of applications. This new, interdisciplinary approach is developing a continually increasing range of methods which apply also the latest findings in artificial intelligence (AI) and computational intelligence (CI).



Editors and Affiliations

  • Wrocław University of Science and Technology, Wrocław, Poland

    Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak

  • Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Janusz Kacprzyk

Bibliographic Information

  • Book Title: Theory and Applications of Dependable Computer Systems

  • Book Subtitle: Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland

  • Editors: Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk

  • Series Title: Advances in Intelligent Systems and Computing

  • DOI: https://doi.org/10.1007/978-3-030-48256-5

  • Publisher: Springer Cham

  • eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2020

  • Softcover ISBN: 978-3-030-48255-8Published: 22 May 2020

  • eBook ISBN: 978-3-030-48256-5Published: 21 May 2020

  • Series ISSN: 2194-5357

  • Series E-ISSN: 2194-5365

  • Edition Number: 1

  • Number of Pages: XVIII, 713

  • Number of Illustrations: 73 b/w illustrations, 183 illustrations in colour

  • Topics: Computational Intelligence, Complexity, Artificial Intelligence

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access