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

9783319175805, 9783319175812

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Checking the Conformance of a Promela Design to its Formal Specification in Event-B

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

10.1007/978-3-319-17581-2_8 ◽

2015 ◽

pp. 110-126 ◽

Cited By ~ 1

Author(s):

Dieu-Huong Vu ◽

Yuki Chiba ◽

Kenro Yatake ◽

Toshiaki Aoki

Keyword(s):

Formal Specification

Download Full-text

Specifying and Verifying Concurrent C Programs with TLA+

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

10.1007/978-3-319-17581-2_14 ◽

2015 ◽

pp. 206-222 ◽

Cited By ~ 1

Author(s):

Amira Methni ◽

Matthieu Lemerre ◽

Belgacem Ben Hedia ◽

Serge Haddad ◽

Kamel Barkaoui

Keyword(s):

C Programs

Download Full-text

A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering

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

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

2015 ◽

pp. 127-141 ◽

Cited By ~ 4

Author(s):

Jaco Jacobs ◽

Andrew Simpson

Keyword(s):

Systems Engineering ◽

Formal Model

Download Full-text

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv

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

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

2015 ◽

pp. 32-46

Author(s):

Syed Ali Asadullah Bukhari ◽

Faiq Khalid Lodhi ◽

Osman Hasan ◽

Muhammad Shafique ◽

Jörg Henkel

Keyword(s):

Formal Verification ◽

Thermal Management ◽

Task Migration ◽

On Chip

Download Full-text

A Spin-Based Approach for Checking OSEK/VDX Applications

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

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

2015 ◽

pp. 239-255 ◽

Cited By ~ 5

Author(s):

Haitao Zhang ◽

Toshiaki Aoki ◽

Yuki Chiba

Download Full-text

Expression-Based Aliasing for OO–languages

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

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

2015 ◽

pp. 47-61

Author(s):

Georgiana Caltais

Download Full-text

Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems

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

10.1007/978-3-319-17581-2_10 ◽

2015 ◽

pp. 142-158 ◽

Cited By ~ 3

Author(s):

Timon Kelter ◽

Peter Marwedel

Download Full-text

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

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

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

2015 ◽

pp. 76-92

Author(s):

Mamoun Filali ◽

Meriem Ouederni ◽

Jean-Baptiste Raclet

Download Full-text

Checking Integral Real-Time Automata for Extended Linear Duration Invariants

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

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

2015 ◽

pp. 62-75

Author(s):

Changil Choe ◽

Univan Ahn ◽

Song Han

Keyword(s):

Real Time

Download Full-text

Safety, Dependability and Performance Analysis of Aerospace Systems

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

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

2015 ◽

pp. 17-31 ◽

Cited By ~ 7

Author(s):

Thomas Noll

Keyword(s):

Performance Analysis ◽

Aerospace Systems ◽

And Performance

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

Checking the Conformance of a Promela Design to its Formal Specification in Event-B

Specifying and Verifying Concurrent C Programs with TLA+

A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv

A Spin-Based Approach for Checking OSEK/VDX Applications

Expression-Based Aliasing for OO–languages

Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems

A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

Checking Integral Real-Time Automata for Extended Linear Duration Invariants

Safety, Dependability and Performance Analysis of Aerospace Systems

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