Programming and Software Engineering
cover

Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Editors: Romanovsky, Alexander, Troubitsyna, Elena, Bitsch, Friedemann (Eds.)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-26601-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-26600-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.

The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. 

Table of contents (21 chapters)

Table of contents (21 chapters)
  • Towards Zero Alarms in Sound Static Analysis of Finite State Machines

    Pages 3-18

    Giet, Josselin (et al.)

  • Graceful Degradation Design Process for Autonomous Driving System

    Pages 19-34

    Ishigooka, Tasuku (et al.)

  • Formal Verification of Memory Preservation of x86-64 Binaries

    Pages 35-49

    Bockenek, Joshua A. (et al.)

  • Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits

    Pages 53-68

    Palanque, Philippe (et al.)

  • Fitness Functions for Testing Automated and Autonomous Driving Systems

    Pages 69-84

    Hauer, Florian (et al.)

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-26601-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-26600-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability, and Security
Book Subtitle
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Editors
  • Alexander Romanovsky
  • Elena Troubitsyna
  • Friedemann Bitsch
Series Title
Programming and Software Engineering
Series Volume
11698
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-26601-1
DOI
10.1007/978-3-030-26601-1
Softcover ISBN
978-3-030-26600-4
Edition Number
1
Number of Pages
XXI, 316
Number of Illustrations
228 b/w illustrations, 92 illustrations in colour
Topics