Communications in Computer and Information Science - Software Technologies
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 12)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030830069, 9783030830076
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States

2021 ◽  
pp. 242-261
Author(s):  
Patrick Kubiak ◽  
Stefan Rass ◽  
Martin Pinzger ◽  
Stephan Schneider
Keyword(s):  
Joint Analysis ◽  
Critical System ◽  
System Data ◽  
System States

Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints

2021 ◽  
pp. 25-43
Author(s):  
Aicha Goubaa ◽  
Mohamed Kahlgui ◽  
Frey Georg ◽  
Zhiwu Li
Keyword(s):  
Real Time ◽  
Deadline Constraints

Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach

2021 ◽  
pp. 203-226
Author(s):  
Thomas Karanikiotis ◽  
Michail D. Papamichail ◽  
Andreas L. Symeonidis

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture

2021 ◽  
pp. 44-69
Author(s):  
Chams Eddine Choucha ◽  
Mohamed Oussama Ben Salem ◽  
Moahmed Khalgui ◽  
Laid Kahloul ◽  
Naima Souad Ougouti
Keyword(s):  
State Space ◽  
State Space Generation ◽  
Distributed Cloud

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

2021 ◽  
pp. 227-241
Author(s):  
Sohaib Soualah ◽  
Yousra Hafidi ◽  
Mohamed Khalgui ◽  
Allaoua Chaoui ◽  
Laid Kahloul
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
Theorem Prover ◽  
Event System ◽  
Hol Theorem Prover ◽  
Efficient Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document