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

9783642408939, 9783642408946

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors

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

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

2013 ◽

pp. 33-47 ◽

Cited By ~ 5

Author(s):

Davide Di Ruscio ◽

Ivano Malavolta ◽

Patrizio Pelliccione

Keyword(s):

Mission Planning

Download Full-text

Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs

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

10.1007/978-3-642-40894-6_14 ◽

2013 ◽

pp. 169-183 ◽

Cited By ~ 1

Author(s):

Mikhail Moiseev

Keyword(s):

Static Analysis ◽

Defect Detection ◽

Analysis Approach ◽

C Programs

Download Full-text

Security-Informed Safety: If It’s Not Secure, It’s Not Safe

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

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

2013 ◽

pp. 17-32 ◽

Cited By ~ 24

Author(s):

Robin Bloomfield ◽

Kateryna Netkachova ◽

Robert Stroud

Download Full-text

Towards Agile Development of Critical Software

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

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

2013 ◽

pp. 48-55 ◽

Cited By ~ 2

Author(s):

Janusz Górski ◽

Katarzyna Łukasiewicz

Keyword(s):

Agile Development

Download Full-text

Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning

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

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

2013 ◽

pp. 184-198 ◽

Cited By ~ 4

Author(s):

Felicita Di Giandomenico ◽

Alessandro Fantechi ◽

Stefania Gnesi ◽

Massimiliano Leone Itria

Keyword(s):

Stochastic Model ◽

Traffic Planning ◽

Model Based ◽

Railway Operation ◽

Model Based Analysis

Download Full-text

Optimizing Verification of Structurally Evolving Algebraic Petri Nets

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

10.1007/978-3-642-40894-6_6 ◽

2013 ◽

pp. 64-78 ◽

Cited By ~ 1

Author(s):

Yasir Imtiaz Khan

Keyword(s):

Petri Nets

Download Full-text

Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems

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

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

2013 ◽

pp. 133-140 ◽

Cited By ~ 4

Author(s):

Mark Woodard ◽

Sahra Sedigh

Keyword(s):

Intelligent Transportation Systems ◽

Autonomous Vehicle ◽

Intelligent Transportation ◽

Transportation Systems ◽

Vehicle Operation

Download Full-text

Supporting the Evolution of Free and Open Source Software Distributions

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

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

2013 ◽

pp. 56-63

Author(s):

Davide Di Ruscio ◽

Patrizio Pelliccione

Keyword(s):

Open Source ◽

Open Source Software

Download Full-text

Synthesis of Resilient Choreographies

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

10.1007/978-3-642-40894-6_8 ◽

2013 ◽

pp. 94-108 ◽

Cited By ~ 12

Author(s):

Marco Autili ◽

Amleto Di Salle ◽

Massimo Tivoli

Download Full-text

A Case Study in Refinement-Based Modelling of a Resilient Control System

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

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

2013 ◽

pp. 79-93 ◽

Cited By ~ 3

Author(s):

Yuliya Prokhorova ◽

Elena Troubitsyna ◽

Linas Laibinis

Keyword(s):

Control System ◽

Resilient Control

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors

Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs

Security-Informed Safety: If It’s Not Secure, It’s Not Safe

Towards Agile Development of Critical Software

Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning

Optimizing Verification of Structurally Evolving Algebraic Petri Nets

Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems

Supporting the Evolution of Free and Open Source Software Distributions

Synthesis of Resilient Choreographies

A Case Study in Refinement-Based Modelling of a Resilient Control System

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