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

9783030129873, 9783030129880

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

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

10.1007/978-3-030-12988-0_2 ◽

2019 ◽

pp. 18-36 ◽

Cited By ~ 5

Author(s):

Maryam Kamali ◽

Sven Linker ◽

Michael Fisher

Keyword(s):

Space And Time ◽

Modular Verification ◽

Vehicle Platooning

Download Full-text

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking

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

10.1007/978-3-030-12988-0_9 ◽

2019 ◽

pp. 139-157 ◽

Cited By ~ 1

Author(s):

Nils Timm ◽

Stefan Gruner

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Abstraction Refinement ◽

Path Constraints

Download Full-text

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

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

10.1007/978-3-030-12988-0_7 ◽

2019 ◽

pp. 101-118

Author(s):

Yuanrui Zhang ◽

Hengyang Wu ◽

Yixiang Chen ◽

Frédéric Mallet

Keyword(s):

Dynamic Logic ◽

Logical Approach

Download Full-text

Refinement of Statecharts with Run-to-Completion Semantics

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

10.1007/978-3-030-12988-0_8 ◽

2019 ◽

pp. 121-138 ◽

Cited By ~ 1

Author(s):

Karla Morris ◽

Colin Snook ◽

Thai Son Hoang ◽

Robert Armstrong ◽

Michael Butler

Download Full-text

Formal Verification of Random Forests in Safety-Critical Applications

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

10.1007/978-3-030-12988-0_4 ◽

2019 ◽

pp. 55-71 ◽

Cited By ~ 1

Author(s):

John Törnblom ◽

Simin Nadjm-Tehrani

Keyword(s):

Formal Verification ◽

Random Forests ◽

Safety Critical

Download Full-text

Formal Timing Analysis of Digital Circuits

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

10.1007/978-3-030-12988-0_6 ◽

2019 ◽

pp. 84-100

Author(s):

Qurat Ul Ain ◽

Osman Hasan

Keyword(s):

Digital Circuits ◽

Timing Analysis

Download Full-text

Model Transformation with Triple Graph Grammars and Non-terminal Symbols

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

10.1007/978-3-030-12988-0_10 ◽

2019 ◽

pp. 161-177

Author(s):

William da Silva ◽

Max Bureck ◽

Ina Schieferdecker ◽

Christian Hein

Keyword(s):

Model Transformation ◽

Graph Grammars ◽

Triple Graph Grammars

Download Full-text

Formal Stability Analysis of Control Systems

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

10.1007/978-3-030-12988-0_1 ◽

2019 ◽

pp. 3-17

Author(s):

Asad Ahmed ◽

Osman Hasan ◽

Falah Awwad

Keyword(s):

Stability Analysis ◽

Control Systems ◽

Formal Stability

Download Full-text

Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees

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

10.1007/978-3-030-12988-0_3 ◽

2019 ◽

pp. 37-54 ◽

Cited By ~ 1

Author(s):

Liana Mikaelyan ◽

Sascha Müller ◽

Andreas Gerndt ◽

Thomas Noll

Keyword(s):

Fault Trees ◽

Recovery Strategies

Download Full-text

A Benchmark Library for Parametric Timed Model Checking

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

10.1007/978-3-030-12988-0_5 ◽

2019 ◽

pp. 75-83 ◽

Cited By ~ 3

Author(s):

Étienne André

Keyword(s):

Model Checking ◽

Timed Model Checking

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

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

Refinement of Statecharts with Run-to-Completion Semantics

Formal Verification of Random Forests in Safety-Critical Applications

Formal Timing Analysis of Digital Circuits

Model Transformation with Triple Graph Grammars and Non-terminal Symbols

Formal Stability Analysis of Control Systems

Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees

A Benchmark Library for Parametric Timed Model Checking

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