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

TOTAL DOCUMENTS

10

(FIVE YEARS 10)

H-INDEX

2

(FIVE YEARS 2)

Published By Springer International Publishing

9783030129873, 9783030129880

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

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

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 ◽

Author(s):

Maryam Kamali ◽

Sven Linker ◽

Michael Fisher

Keyword(s):

Space And Time ◽

Modular Verification ◽

Vehicle Platooning

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Étienne André

Keyword(s):

Model Checking ◽

Timed Model Checking

Download Full-text