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

TOTAL DOCUMENTS

(FIVE YEARS 9)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030469016, 9783030469023

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations

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

10.1007/978-3-030-46902-3_5 ◽

2020 ◽

pp. 77-94

Author(s):

Dorra Ben Khalifa ◽

Matthieu Martel ◽

Assalé Adjé

Keyword(s):

Floating Point ◽

Mixed Precision

Download Full-text

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

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

10.1007/978-3-030-46902-3_2 ◽

2020 ◽

pp. 21-39

Author(s):

Neeraj Kumar Singh ◽

Yamine Aït-Ameur ◽

Dominique Méry ◽

David Navarre ◽

Philippe Palanque ◽

...

Keyword(s):

Formal Development ◽

Interactive Application

Download Full-text

Probabilistic Activity Recognition for Serious Games with Applications in Medicine

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

10.1007/978-3-030-46902-3_7 ◽

2020 ◽

pp. 106-124

Author(s):

Elisabetta De Maria ◽

Thibaud L’Yvonnet ◽

Sabine Moisan ◽

Jean-Paul Rigault

Keyword(s):

Activity Recognition ◽

Serious Games

Download Full-text

A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas

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

10.1007/978-3-030-46902-3_8 ◽

2020 ◽

pp. 127-132

Author(s):

Emily Yu ◽

Martina Seidl ◽

Armin Biere

Keyword(s):

Model Checking ◽

Quantified Boolean Formulas ◽

Boolean Formulas

Download Full-text

Formal Verification of Cyber-Physical Systems Using Theorem Proving

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

10.1007/978-3-030-46902-3_1 ◽

2020 ◽

pp. 3-18 ◽

Cited By ~ 1

Author(s):

Adnan Rashid ◽

Umair Siddique ◽

Sofiène Tahar

Keyword(s):

Formal Verification ◽

Theorem Proving ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Formal Semantics Extraction from MIPS Instruction Manual

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

10.1007/978-3-030-46902-3_9 ◽

2020 ◽

pp. 133-140

Author(s):

Quang Thinh Trac ◽

Mizuhito Ogawa

Keyword(s):

Formal Semantics ◽

Instruction Manual

Download Full-text

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study

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

10.1007/978-3-030-46902-3_4 ◽

2020 ◽

pp. 57-73

Author(s):

Shenghao Yuan ◽

Zhibin Yang ◽

Jean-Paul Bodeveix ◽

Mamoun Filali ◽

Tiexin Wang ◽

...

Keyword(s):

Code Generation ◽

Synchronous Dataflow

Download Full-text

Visualising Railway Safety Verification

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

10.1007/978-3-030-46902-3_6 ◽

2020 ◽

pp. 95-105

Author(s):

Filippos Pantekis ◽

Phillip James ◽

Liam O’Reilly ◽

Daniel Archambault ◽

Faron Moller

Keyword(s):

Safety Verification ◽

Railway Safety

Download Full-text

Verifying Resource Adequacy of Networked IMA Systems at Concept Level

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

10.1007/978-3-030-46902-3_3 ◽

2020 ◽

pp. 40-56

Author(s):

Rodrigo Saar de Moraes ◽

Simin Nadjm-Tehrani

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

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Probabilistic Activity Recognition for Serious Games with Applications in Medicine

A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas

Formal Verification of Cyber-Physical Systems Using Theorem Proving

Formal Semantics Extraction from MIPS Instruction Manual

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study

Visualising Railway Safety Verification

Verifying Resource Adequacy of Networked IMA Systems at Concept Level

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