Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319105055, 9783319105062

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Making Implicit Safety Requirements Explicit

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_6 ◽

2014 ◽

pp. 81-92 ◽

Cited By ~ 5

Author(s):

Thomas Arts ◽

Michele Dorigatti ◽

Stefano Tonetta

Keyword(s):

Safety Requirements

Download Full-text

Systematic Derivation of Functional Safety Requirements for Automotive Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_5 ◽

2014 ◽

pp. 65-80 ◽

Cited By ~ 8

Author(s):

Kristian Beckers ◽

Isabelle Côté ◽

Thomas Frese ◽

Denis Hatebur ◽

Maritta Heisel

Keyword(s):

Functional Safety ◽

Safety Requirements ◽

Automotive Systems ◽

Systematic Derivation

Download Full-text

Debugging with Timed Automata Mutations

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_4 ◽

2014 ◽

pp. 49-64 ◽

Cited By ~ 6

Author(s):

Bernhard K. Aichernig ◽

Klaus Hörmaier ◽

Florian Lorber

Keyword(s):

Timed Automata

Download Full-text

Rapid Fault-Space Exploration by Evolutionary Pruning

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_2 ◽

2014 ◽

pp. 17-32 ◽

Cited By ~ 2

Author(s):

Horst Schirmeier ◽

Christoph Borchert ◽

Olaf Spinczyk

Keyword(s):

Space Exploration

Download Full-text

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_16 ◽

2014 ◽

pp. 230-245 ◽

Cited By ~ 6

Author(s):

Francesco Flammini ◽

Ugo Gentile ◽

Stefano Marrone ◽

Roberto Nardone ◽

Valeria Vittorini

Keyword(s):

Petri Net ◽

Physical Protection ◽

Protection Systems ◽

Oriented Approach ◽

Physical Protection Systems

Download Full-text

Specifying Safety Monitors for Autonomous Systems Using Model-Checking

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_18 ◽

2014 ◽

pp. 262-277 ◽

Cited By ~ 10

Author(s):

Mathilde Machin ◽

Fanny Dufossé ◽

Jean-Paul Blanquart ◽

Jérémie Guiochet ◽

David Powell ◽

...

Keyword(s):

Model Checking ◽

Autonomous Systems

Download Full-text

Exploiting Narrow Data-Width to Mask Soft Errors in Register Files

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_9 ◽

2014 ◽

pp. 125-138 ◽

Cited By ~ 1

Author(s):

Jianjun Xu ◽

Qingping Tan ◽

Zeming Shao ◽

Hong Ning

Keyword(s):

Soft Errors ◽

Download Full-text

Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_19 ◽

2014 ◽

pp. 278-293 ◽

Cited By ~ 1

Author(s):

Raphael Fonte Boa Trindade ◽

Lukas Bulwahn ◽

Christoph Ainhauser

Keyword(s):

Software Safety ◽

Safety Requirements

Download Full-text

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_3 ◽

2014 ◽

pp. 33-48 ◽

Cited By ~ 7

Author(s):

Xueyi Zou ◽

Rob Alexander ◽

John McDermid

Keyword(s):

Evolutionary Search ◽

Sense And Avoid

Download Full-text

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-10506-2_13 ◽

2014 ◽

pp. 186-201

Author(s):

Peter Bishop ◽

Lorenzo Strigini

Keyword(s):

Partial Knowledge ◽

Worst Case

Download Full-text

Lecture Notes in Computer Science - Computer Safety, Reliability, and SecurityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Making Implicit Safety Requirements Explicit

Systematic Derivation of Functional Safety Requirements for Automotive Systems

Debugging with Timed Automata Mutations

Rapid Fault-Space Exploration by Evolutionary Pruning

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems

Specifying Safety Monitors for Autonomous Systems Using Model-Checking

Exploiting Narrow Data-Width to Mask Soft Errors in Register Files

Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications