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 Berlin Heidelberg

9783642241239, 9783642241246

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantitative Verification of System Safety in Event-B

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

10.1007/978-3-642-24124-6_3 ◽

2011 ◽

pp. 24-39 ◽

Cited By ~ 3

Author(s):

Anton Tarasyuk ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

System Safety ◽

Quantitative Verification

Download Full-text

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis

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

10.1007/978-3-642-24124-6_7 ◽

2011 ◽

pp. 78-92 ◽

Cited By ~ 3

Author(s):

Paolo Masci ◽

Nicola Nostro ◽

Felicita Di Giandomenico

Keyword(s):

Heterogeneous Networks ◽

Model Based ◽

Dependability Assurance ◽

Model Based Analysis

Download Full-text

Architecting Resilient Computing Systems: Overall Approach and Open Issues

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

10.1007/978-3-642-24124-6_5 ◽

2011 ◽

pp. 48-62 ◽

Cited By ~ 7

Author(s):

Miruna Stoicescu ◽

Jean-Charles Fabre ◽

Matthieu Roy

Keyword(s):

Computing Systems ◽

Resilient Computing ◽

Open Issues

Download Full-text

‘Known Secure Sensor Measurements’ for Critical Infrastructure Systems: Detecting Falsification of System State

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

10.1007/978-3-642-24124-6_15 ◽

2011 ◽

pp. 156-163 ◽

Cited By ~ 6

Author(s):

Miles McQueen ◽

Annarita Giani

Keyword(s):

Critical Infrastructure ◽

System State ◽

Infrastructure Systems ◽

Critical Infrastructure Systems

Download Full-text

Preliminary Interdependency Analysis (PIA): Method and Tool Support

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

10.1007/978-3-642-24124-6_1 ◽

2011 ◽

pp. 1-8

Author(s):

Peter Popov

Keyword(s):

Tool Support

Download Full-text

Predictability and Evolution in Resilient Systems

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

10.1007/978-3-642-24124-6_11 ◽

2011 ◽

pp. 113-114 ◽

Cited By ~ 1

Author(s):

Ivica Crnkovic

Download Full-text

Use Case Scenarios as Verification Conditions: Event-B/Flow Approach

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

10.1007/978-3-642-24124-6_2 ◽

2011 ◽

pp. 9-23 ◽

Cited By ~ 15

Author(s):

Alexei Iliasov

Keyword(s):

Use Case ◽

Verification Conditions

Download Full-text

Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem

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

10.1007/978-3-642-24124-6_9 ◽

2011 ◽

pp. 100-105 ◽

Cited By ~ 2

Author(s):

Maurice H. ter Beek ◽

Henry Muccini ◽

Patrizio Pelliccione

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

Experience-Based Model Refinement

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

10.1007/978-3-642-24124-6_4 ◽

2011 ◽

pp. 40-47

Author(s):

Didier Buchs ◽

Steve Hostettler ◽

Alexis Marechal

Keyword(s):

Model Refinement

Download Full-text

Idealized Fault-Tolerant Components in Requirements Engineering

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

10.1007/978-3-642-24124-6_10 ◽

2011 ◽

pp. 106-112 ◽

Cited By ~ 1

Author(s):

Sadaf Mustafiz ◽

Jörg Kienzle

Keyword(s):

Requirements Engineering ◽

Fault Tolerant

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Quantitative Verification of System Safety in Event-B

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis

Architecting Resilient Computing Systems: Overall Approach and Open Issues

‘Known Secure Sensor Measurements’ for Critical Infrastructure Systems: Detecting Falsification of System State

Preliminary Interdependency Analysis (PIA): Method and Tool Support

Predictability and Evolution in Resilient Systems

Use Case Scenarios as Verification Conditions: Event-B/Flow Approach

Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem

Experience-Based Model Refinement

Idealized Fault-Tolerant Components in Requirements Engineering

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