Skip to main content
SpringerLink
Log in

Dependable Software Engineering. Theories, Tools, and Applications

5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Nan Guan

    1. Hong Kong Polytechnic University, Kowloon, Hong Kong

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joost-Pieter Katoen

    1. RWTH Aachen University, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jun Sun

    1. Singapore Management University, Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11951)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SETTA 2019.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 papers)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. A Bounded Model Checking Technique for Higher-Order Programs

    • Yu-Yang Lin, Nikos Tzevelekos
    Pages 1-18

  3. Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm

    • Alexis Linard, Doina Bucur, Mariëlle Stoelinga
    Pages 19-37

  4. Simplifying the Analysis of Software Design Variants with a Colorful Alloy

    • Chong Liu, Nuno Macedo, Alcino Cunha
    Pages 38-55

  5. Response Time Analysis of Typed DAG Tasks for G-FP Scheduling

    • Xuemei Peng, Meiling Han, Qingxu Deng
    Pages 56-71

  6. A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms

    • Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang
    Pages 72-88

  7. Mixed Criticality Scheduling of Probabilistic Real-Time Systems

    • Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo
    Pages 89-105

  8. Improving the Analysis of GPC in Real-Time Calculus

    • Yue Tang, Yuming Jiang, Nan Guan
    Pages 106-121

  9. A Verified Specification of TLSF Memory Management Allocator Using State Monads

    • Yu Zhang, Yongwang Zhao, David Sanan, Lei Qiao, Jinkun Zhang
    Pages 122-138

  10. Back Matter

    Pages 139-139
    Download chapter PDF
Back to top

Other volumes

  1. Dependable Software Engineering. Theories, Tools, and Applications

Keywords

About this book

This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. 

The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the  field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. 






 

Editors and Affiliations

  • Hong Kong Polytechnic University, Kowloon, Hong Kong

    Nan Guan

  • RWTH Aachen University, Aachen, Germany

    Joost-Pieter Katoen

  • Singapore Management University, Singapore, Singapore

    Jun Sun

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation