International Journal of Critical Computer-Based Systems
Latest Publications

TOTAL DOCUMENTS

202
(FIVE YEARS 13)

H-INDEX

9
(FIVE YEARS 0)

Published By Inderscience Enterprises Ltd.

1757-8787, 1757-8779
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deep learning models for multi-class malware classification using Windows exe API Calls

2022 ◽  
Vol 10 (3) ◽  
pp. 1
Author(s):  
Nag Lohith Chiluka ◽  
Kakelli Anil Kumar ◽  
Kaustubh Kumar
Keyword(s):  
Deep Learning ◽  
Learning Models ◽  
Malware Classification

An SMT-based approach for generating trace examples and counter-examples of parametric properties

2021 ◽  
Vol 10 (2) ◽  
pp. 143
Author(s):  
German Vega ◽  
Yoann Blein ◽  
Salim Chehida ◽  
Yves Ledru

Towards Compositional Verification of Synchronous Reactive Systems

2021 ◽  
Vol 10 (2) ◽  
pp. 1
Author(s):  
Mohamed Mezghiche ◽  
Rabéa Ameur Boulifa ◽  
Sarah Chabane
Keyword(s):  
Reactive Systems ◽  
Compositional Verification

Towards a hybrid formal analysis technique for safety-critical software architectures

2021 ◽  
Vol 10 (2) ◽  
pp. 95
Author(s):  
Ammar Boucherit ◽  
Laura M. Castro ◽  
Osman Hasan ◽  
Abdallah Khababa
Keyword(s):  
Formal Analysis ◽  
Software Architectures ◽  
Safety Critical ◽  
Analysis Technique

Towards compositional verification of synchronous reactive systems

2021 ◽  
Vol 10 (2) ◽  
pp. 120
Author(s):  
Sarah Chabane ◽  
Rabéa Ameur Boulifa ◽  
Mezghiche Mohamed
Keyword(s):  
Reactive Systems ◽  
Compositional Verification

Towards a hybrid formal analysis technique for safety-critical software architectures

2021 ◽  
Vol 10 (2) ◽  
pp. 95
Author(s):  
Laura M. Castro ◽  
Osman Hasan ◽  
Ammar Boucherit ◽  
Abdallah Khababa
Keyword(s):  
Formal Analysis ◽  
Software Architectures ◽  
Safety Critical ◽  
Analysis Technique

An SMT-based approach for generating trace examples and counter-examples of parametric properties

2021 ◽  
Vol 10 (2) ◽  
pp. 143
Author(s):  
Salim Chehida ◽  
Yves Ledru ◽  
Yoann Blein ◽  
German Vega

Applying guidelines for system modelling in Event-B - a systematic literature review

2020 ◽  
Vol 10 (1) ◽  
pp. 1
Author(s):  
Marta Olszewska ◽  
Fatima Shokri Manninen ◽  
Andrew Edmunds ◽  
Marina Waldén
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
System Modelling

Applying guidelines for system modelling in Event-B - a systematic literature review

2020 ◽  
Vol 10 (1) ◽  
pp. 1
Author(s):  
Marina Waldén ◽  
Andrew Edmunds ◽  
Fatima Shokri Manninen ◽  
Marta Olszewska
Keyword(s):  
Literature Review ◽  
Systematic Literature Review ◽  
System Modelling

scholarly journals A security metric for assessing the security level of critical infrastructures

2020 ◽  
Vol 10 (1) ◽  
pp. 74
Author(s):  
Francesco Delli Priscoli ◽  
Vincenzo Suraci ◽  
Roberto Germanà ◽  
Alessandro Giuseppi ◽  
Andrea Tortorelli ◽  
...  
Keyword(s):  
Critical Infrastructures ◽  
Security Level
Load More ...
Sign in / Sign up

Export Citation Format

Share Document