10th International Conference
Dependable Systems, Services and Technologies
Leeds, United Kingdom, June 5-7, 2019

  • Information

  • Deadlines

    Paper submission: February 15, 2019 March 8, 2019

    Notification of paper acceptance: March 11, 2019 April 5, 2019

    Final manuscript: March 21, 2019 April 21, 2019

    Registration and payment: March 31, 2019 April 21, 2019

    Program draft publication: April 15, 2019 April 30, 2019

    Conference date: June 5-7, 2019

  • Contacts

  • Archive


Welcome to DESSERT’2019

The 10th International Conference on
Dependable Systems, Services and Technologies (DESSERT’2019)

2019 Theme:
IoT, Big Data and AI for a Smart and Safe Future

Leeds, United Kingdom
June 5-7, 2019


Leeds Beckett University, Leeds, United Kingdom
National Aerospace University KhAI, Kharkiv, Ukraine
IEEE United Kingdom and Ireland Section
IEEE Ukraine Section

Background & Key topics

The annual DESSERT conference began since 2006 and its primary focus has been on methodologies, techniques and tools for dependability, security and safety assessment and assurance of software and hardware components, computer systems, networks and infrastructures. DESSERT’2019 is responding to current major challenges relating to state-of-the-art information and communication technologies and paradigms such as cloud and fog computing, Internet of things and everything, big data, software defined applications, edge computing, cyberphysical systems and etc. Relevant areas of interest encompasses regulations, analysis, modeling, development, verification, operation and maintenance of hardware, software and human related components, computer systems, networks and infrastructures for safety-, mission- and business-critical applications.

DESSERT’2019 is addressing the main dependability challenges related to the IoT, Big Data and AI for a Smart and Safe Future. Authors are invited to submit original manuscripts demonstrating recent advances in in all areas relevant to these challenges, including, but not limited to

  • Methodology and trends of dependable and resilient computing
  • Methodologies and trends of smart and pervasive computing
  • Methodologies and trends in sustainable and green computing and communications
  • Safety and security of instrumentation and control systems (I&C) of critical infrastructures
  • Dependability, security and resilience of web, Internet-, cloud-, fog- and dew- computing
  • Dependability, safety and cyber security of IoT systems for human and industry domains
  • Formal methods for development and verification of safety-critical systems
  • Assurance case-based techniques for safety and security critical applications
  • AI and intelligent systems for safety and security
  • Reliability and safety of unmanned vehicles, drones and UAV fleets
  • Big data and data mining techniques for business and critical domains
  • Blockchain security and trustworthiness
Flag Counter