Computer safety, reliability, and security 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings /
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 wer...
Corporate Authors: | International Conference on Computer Safety, Reliability, and Security Turku, Finland) |
---|---|
Other Authors: | International Conference on Computer Safety, Reliability, and Security, Romanovsky, Alexander, 1954-, Troubitsyna, Elena 1970-, Bitsch, Friedemann,, SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer,
[2019]
|
Physical Description: |
1 online resource : illustrations (some color). |
Series: |
Lecture notes in computer science ;
11698. LNCS sublibrary. Programming and software engineering. |
Subjects: |
LEADER | 07412cam a2201093 i 4500 | ||
---|---|---|---|
001 | 1119666061 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 190916s2019 sz a o 101 0 eng d | ||
015 | |a GBB9G0561 |2 bnb | ||
016 | 7 | |a 019535741 |2 Uk | |
019 | |a 1125811892 |a 1129349575 |a 1136481811 |a 1138975542 | ||
020 | |a 9783030266011 |q (electronic bk.) | ||
020 | |a 303026601X |q (electronic bk.) | ||
020 | |a 3030266001 | ||
020 | |a 9783030266004 | ||
020 | |a 9783030266028 |q (print) | ||
020 | |a 3030266028 | ||
020 | |z 9783030266004 | ||
024 | 7 | |a 10.1007/978-3-030-26601-1 |2 doi | |
035 | |a (OCoLC)1119666061 |z (OCoLC)1125811892 |z (OCoLC)1129349575 |z (OCoLC)1136481811 |z (OCoLC)1138975542 | ||
037 | |a com.springer.onix.9783030266011 |b Springer Nature | ||
040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d UKMGB |d OCLCF |d EBLCP |d DKU |d OCLCQ |d SFB |d OCLCQ |d VT2 |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d BRX |d OCLCO |d OCLCL | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.9.A25 |b S34 2019eb | |
072 | 7 | |a UT |2 bicssc | |
072 | 7 | |a COM067000 |2 bisacsh | |
072 | 7 | |a UT |2 thema | |
082 | 0 | 4 | |a 005.8 |2 23 |
111 | 2 | |a International Conference on Computer Safety, Reliability, and Security |n (38th : |d 2019 : |c Turku, Finland) | |
245 | 1 | 0 | |a Computer safety, reliability, and security : |b 38th international conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, proceedings / |c Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch (eds.). |
264 | 1 | |a Cham : |b Springer, |c [2019] | |
264 | 4 | |c ©2019. | |
300 | |a 1 online resource : |b illustrations (some color). | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
347 | |a text file. | ||
347 | |b PDF. | ||
490 | 1 | |a Lecture notes in computer science ; |v 11698. | |
490 | 1 | |a LNCS sublibrary. SL2 - Programming and software engineering. | |
588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 16, 2019). | |
500 | |a Includes author index. | ||
505 | 0 | |a Formal Verification.- Towards Zero Alarms in Sound Static Analysis of Finite State Machines.- Graceful Degradation Design Process for Autonomous Driving System.- Formal Verification of Memory Preservation of x86-64 Binaries.- Autonomous Driving.- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits.- Fitness Functions for Testing Automated and Autonomous Driving Systems.- A SysML Profile for Fault Trees -- linking safety models to system design.- Safety and Reliability Modeling.- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models.- Forecast Horizon for Automated Safety Actions in Automated Driving Systems.- Digital Forensics in Industrial Control Systems.- Security Engineering and Risk Assessment.- Efficient Model-level Reliability Analysis of Simulink Models.- Increasing Trust in Data-Driven Model Validation -- A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics.- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.- Safety Argumentation.- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact.- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems.- Verification and Validation of Autonomous Systems.- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems.- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety.- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities.- Interactive Systems and Design Validation.- SafeDeML: On Integrating the Safety Design into the System Model.- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks.- Devil's in the detail: Through-life safety and security co-assurance using SSAF. | |
520 | |a 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. -- |c Provided by publisher. | ||
650 | 0 | |a Computer security |v Congresses. | |
650 | 0 | |a Computer organization |v Congresses. | |
650 | 0 | |a Software engineering |v Congresses. | |
650 | 0 | |a Programming languages (Electronic computers) |v Congresses. | |
650 | 0 | |a Computer logic |v Congresses. | |
650 | 0 | |a Application software |x Security measures |v Congresses. | |
650 | 6 | |a Sécurité informatique |v Congrès. | |
650 | 6 | |a Ordinateurs |x Conception et construction |v Congrès. | |
650 | 6 | |a Génie logiciel |v Congrès. | |
650 | 6 | |a Logique informatique |v Congrès. | |
650 | 6 | |a Logiciels d'application |x Sécurité |x Mesures |v Congrès. | |
650 | 7 | |a Computer logic. |2 fast. | |
650 | 7 | |a Computer organization. |2 fast. | |
650 | 7 | |a Computer security. |2 fast. | |
650 | 7 | |a Programming languages (Electronic computers) |2 fast. | |
650 | 7 | |a Software engineering. |2 fast. | |
655 | 0 | |a Electronic books. | |
655 | 2 | |a Congress. | |
655 | 7 | |a proceedings (reports) |2 aat. | |
655 | 7 | |a Conference papers and proceedings. |2 fast. | |
655 | 7 | |a Conference papers and proceedings. |2 lcgft. | |
655 | 7 | |a Actes de congrès. |2 rvmgf. | |
700 | 1 | |a Romanovsky, Alexander, |d 1954- |1 https://id.oclc.org/worldcat/entity/E39PCjCY499thWh6CHkxYMcjcq, |e editor. | |
700 | 1 | |a Troubitsyna, Elena |q (Elena A.), |d 1970- |1 https://id.oclc.org/worldcat/entity/E39PCjCCFgYKXCfywGTkgMvfv3, |e editor. | |
700 | 1 | |a Bitsch, Friedemann, |e editor. | |
710 | 2 | |a SpringerLink (Online service) | |
776 | 0 | 8 | |i Printed edition: |z 9783030266004. |
776 | 0 | 8 | |i Printed edition: |z 9783030266028. |
830 | 0 | |a Lecture notes in computer science ; |v 11698. | |
830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
907 | |a .b60362467 |b multi |c - |d 191104 |e 240321 | ||
998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g sz |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Overnight, in 2023.02 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Overnight 11/2019 | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.elec in 2024.02 | ||
995 | |a Loaded with m2btab.ltiac in 2023.02 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
995 | |a Loaded with m2btab.elec in 2019.11 | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150645168 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-030-26601-1 |3 SpringerLink |z Click here for access |