Lecture Notes in Computer Science - Software Engineering for Resilient Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319659473, 9783319659480

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Predictive Analytics: A Shortcut to Dependable Computing

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_1 ◽

2017 ◽

pp. 3-17

Author(s):

Miroslaw Malek

Keyword(s):

Predictive Analytics ◽

Dependable Computing

Download Full-text

A Generated Property Specification Language for Resilient Multirobot Missions

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_4 ◽

2017 ◽

pp. 45-61 ◽

Cited By ~ 1

Author(s):

Swaib Dragule ◽

Bart Meyers ◽

Patrizio Pelliccione

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

Modelling for Systems with Holistic Fault Tolerance

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_11 ◽

2017 ◽

pp. 169-183

Author(s):

Rem Gensh ◽

Ashur Rafiev ◽

Fei Xia ◽

Alexander Romanovsky ◽

Alex Yakovlev

Keyword(s):

Fault Tolerance

Download Full-text

Evaluation of Open Source Operating Systems for Safety-Critical Applications

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_8 ◽

2017 ◽

pp. 117-132 ◽

Cited By ~ 1

Author(s):

Petter Sainio Berntsson ◽

Lars Strandén ◽

Fredrik Warg

Keyword(s):

Open Source ◽

Operating Systems ◽

Safety Critical

Download Full-text

Holistic Processing and Exploring Event Logs

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_12 ◽

2017 ◽

pp. 184-200 ◽

Cited By ~ 1

Author(s):

Marcin Kubacki ◽

Janusz Sosnowski

Keyword(s):

Holistic Processing ◽

Event Logs

Download Full-text

A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_6 ◽

2017 ◽

pp. 81-95 ◽

Cited By ~ 2

Author(s):

Henry Muccini ◽

Mahyar Tourchi Moghaddam

Keyword(s):

Physical Space ◽

Operational Approach ◽

Crowd Evacuation

Download Full-text

100 Years of Software - Adapting Cyber-Physical Systems to the Changing World

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_9 ◽

2017 ◽

pp. 133-148

Author(s):

Hayley Borck ◽

Paul Kline ◽

Hazel Shackleton ◽

John Gohde ◽

Steven Johnston ◽

...

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Changing World

Download Full-text

Towards a Model-Driven Security Assurance of Open Source Components

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_5 ◽

2017 ◽

pp. 65-80 ◽

Cited By ~ 2

Author(s):

Irum Rauf ◽

Elena Troubitsyna

Keyword(s):

Open Source ◽

Security Assurance ◽

Model Driven

Download Full-text

Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_10 ◽

2017 ◽

pp. 151-168

Author(s):

Yulai Zhou ◽

Patrizio Pelliccione ◽

Johan Haraldsson ◽

Mafjiul Islam

Keyword(s):

Software Components ◽

Design By Contract

Download Full-text

Stochastic Activity Networks for the Verification of Knowledge Bases

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_3 ◽

2017 ◽

pp. 37-44

Author(s):

Luke Martin ◽

Alexander Romanovsky

Keyword(s):

Knowledge Bases ◽

Stochastic Activity Networks ◽

Activity Networks ◽

Stochastic Activity

Download Full-text

Lecture Notes in Computer Science - Software Engineering for Resilient SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Predictive Analytics: A Shortcut to Dependable Computing

A Generated Property Specification Language for Resilient Multirobot Missions

Modelling for Systems with Holistic Fault Tolerance

Evaluation of Open Source Operating Systems for Safety-Critical Applications

Holistic Processing and Exploring Event Logs

A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling

100 Years of Software - Adapting Cyber-Physical Systems to the Changing World

Towards a Model-Driven Security Assurance of Open Source Components

Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB

Stochastic Activity Networks for the Verification of Knowledge Bases

Lecture Notes in Computer Science - Software Engineering for Resilient Systems
Latest Publications