Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319295091, 9783319295107

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic Analysis of a Calculus for Wireless Sensor Networks

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_9 ◽

2016 ◽

pp. 155-171

Author(s):

Xi Wu ◽

Huibiao Zhu

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Probabilistic Analysis ◽

Wireless Sensor

Download Full-text

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_6 ◽

2016 ◽

pp. 103-120 ◽

Cited By ~ 1

Author(s):

Phillip James ◽

Andrew Lawrence ◽

Markus Roggenbach ◽

Monika Seisenberger

Keyword(s):

Real Time ◽

Safety Analysis ◽

Level 2

Download Full-text

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_12 ◽

2016 ◽

pp. 206-221 ◽

Cited By ~ 2

Author(s):

Toshiaki Aoki ◽

Kriangkrai Traichaiyaporn ◽

Yuki Chiba ◽

Masahiro Matsubara ◽

Masataka Nishi ◽

...

Keyword(s):

Safety Requirements

Download Full-text

Statistical Model Checking of Simulink Models with Plasma Lab

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_15 ◽

2016 ◽

pp. 259-264 ◽

Cited By ~ 4

Author(s):

Axel Legay ◽

Louis-Marie Traonouez

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_11 ◽

2016 ◽

pp. 189-205 ◽

Cited By ~ 3

Author(s):

Majdi Ghadhab ◽

Matthias Kuntz ◽

Dmitrii Kuvaiskii ◽

Christof Fetzer

Keyword(s):

Fault Tolerance ◽

Automotive Applications ◽

Safety Concept

Download Full-text

Towards Verifying VDM Using SPIN

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_14 ◽

2016 ◽

pp. 241-256 ◽

Cited By ~ 1

Author(s):

Hsin-Hung Lin ◽

Yoichi Omori ◽

Shigeru Kusakabe ◽

Keijiro Araki

Download Full-text

An Approach to Static-Dynamic Software Analysis

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_13 ◽

2016 ◽

pp. 225-240 ◽

Cited By ~ 3

Author(s):

Pablo Gonzalez-de-Aledo ◽

Pablo Sanchez ◽

Ralf Huuck

Keyword(s):

Software Analysis ◽

Dynamic Software

Download Full-text

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_10 ◽

2016 ◽

pp. 172-186 ◽

Cited By ~ 1

Author(s):

Jackson R. Mayo ◽

Robert C. Armstrong ◽

Geoffrey C. Hulette

Keyword(s):

Safety Properties

Download Full-text

An Executable Semantics of Clock Constraint Specification Language and Its Applications

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_2 ◽

2016 ◽

pp. 37-51 ◽

Cited By ~ 5

Author(s):

Min Zhang ◽

Frédéric Mallet

Keyword(s):

Specification Language ◽

Constraint Specification ◽

Clock Constraint Specification Language

Download Full-text

g-HOL: A Graphical User Interface for the HOL Proof Assistant

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-29510-7_16 ◽

2016 ◽

pp. 265-269 ◽

Cited By ~ 1

Author(s):

Fahd Arshad ◽

Hassan Mehmood ◽

Fauzan Raza ◽

Osman Hasan

Keyword(s):

User Interface ◽

Graphical User Interface ◽

Proof Assistant

Download Full-text

Communications in Computer and Information Science - Formal Techniques for Safety-Critical SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Probabilistic Analysis of a Calculus for Wireless Sensor Networks

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns

Statistical Model Checking of Simulink Models with Plasma Lab

A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications

Towards Verifying VDM Using SPIN

An Approach to Static-Dynamic Software Analysis

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

An Executable Semantics of Clock Constraint Specification Language and Its Applications

g-HOL: A Graphical User Interface for the HOL Proof Assistant

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems
Latest Publications